Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

InteGrade: object-oriented Grid middleware leveraging the idle computing power of desktop machines., , , , and . Concurrency - Practice and Experience, 16 (5): 449-459 (2004)Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms.. CoRR, (2019)DAG Sequents with Substitution.. We Will Show Them! (1), page 671-686. College Publications, (2005)Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs., and . Logic Journal of the IGPL, 15 (5-6): 553-575 (2007)Labelled Natural Deduction for Substructural Logics., , and . Logic Journal of the IGPL, 7 (3): 283-318 (1999)Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases., and . TIME, page 112-118. IEEE Computer Society, (1997)Consolidating Probabilistic Knowledge Bases via Belief Contraction., , , , and . KR, page 125-134. AAAI Press, (2016)Intelligent mobile multi-robotic systems: some challenges and possible solutions., , , , and . ICINCO, page 479-485. INSTICC Press, (2005)Sharing Resource-Sensitive Knowledge Using Combinator Logics., and . IBERAMIA-SBIA, volume 1952 of Lecture Notes in Computer Science, page 196-206. Springer, (2000)A Refuted Conjecture on Probabilistic Satisfiability., and . SBIA, volume 6404 of Lecture Notes in Computer Science, page 293-302. Springer, (2010)