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

Probabilistic Ontologies in Datalog+/-., , and . CILC, volume 857 of CEUR Workshop Proceedings, page 221-235. CEUR-WS.org, (2012)Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties., , , , and . Il Milione, volume 487 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)An Algorithm for Learning Abductive Rules., , , and . APPIA-GULP-PRODE, page 295-306. (1997)Learning hierarchical probabilistic logic programs., , and . Mach. Learn., 110 (7): 1637-1693 (2021)A fully 3D work context for oral implant planning and simulation., , and . Int. J. Comput. Assist. Radiol. Surg., 5 (1): 57-67 (2010)CT dataset anisotropy management for oral implantology planning software., , and . Int. J. Comput. Assist. Radiol. Surg., 8 (2): 247-257 (2013)Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture., , , and . ELP, volume 798 of Lecture Notes in Computer Science, page 62-76. Springer, (1993)Abductive Reasoning in a Multi-Theory Framework., , , and . AI*IA, volume 549 of Lecture Notes in Computer Science, page 137-146. Springer, (1991)Coordinating the safe execution of tasks in a constrained multi-agent system., , , and . AAMAS, page 940-941. ACM, (2002)A Rationalisation of the ATMS in Terms of Partial Evaluation., and . LOPSTR, page 118-131. Springer, (1992)