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

A Decidable First-Order Logic for Knowldge Representation.. J. Autom. Reasoning, 6 (4): 361-388 (1990)Performance of DLP on Random Modal Formulae., and . Description Logics, volume 22 of CEUR Workshop Proceedings, CEUR-WS.org, (1999)Device Representation and Reasoning with Affective Relations., , , , and . IJCAI, page 1814-1820. Morgan Kaufmann, (1995)Next Steps for OWL., , , , and . OWLED, volume 216 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners., , , , , , , and . OWLED, volume 216 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)TANCS-2000 Results for DLP.. TABLEAUX, volume 1847 of Lecture Notes in Computer Science, page 72-76. Springer, (2000)OWL 2: The next step for OWL., , , , , and . J. Web Semant., 6 (4): 309-322 (2008)Reasoning in RDFS is Inherently Serial, At Least in The Worst Case.. International Semantic Web Conference (Posters & Demos), volume 914 of CEUR Workshop Proceedings, CEUR-WS.org, (2012)Rule-based Service Customization via Houdini., , , , , , and . WWW (Posters), (2003)Path-Based Rules in Object-Oriented Programming., , , , and . AAAI/IAAI, Vol. 1, page 490-497. AAAI Press / The MIT Press, (1996)