Author of the publication

Support Ordered Resolution.

, and . CADE, volume 1831 of Lecture Notes in Computer Science, page 385-400. Springer, (2000)

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

Access Clause Trees in Disjunctive Deductive Databases., and . DDLP, volume 295 of GMD-Studien, page 15-28. GMD, Sankt Augustin, Germany, (1996)Merge Path Improvements for Minimal Model Hyper Tableaux., , and . TABLEAUX, volume 1617 of Lecture Notes in Computer Science, page 51-65. Springer, (1999)Towards an open collaboration service framework., , , and . CTS, page 77-85. IEEE, (2011)Complete Classification of Complex ALCHO Ontologies Using a Hybrid Reasoning Approach., , and . Description Logics, volume 1014 of CEUR Workshop Proceedings, page 942-961. CEUR-WS.org, (2013)Hybrid Reasoning for Ontology Classification., , and . Canadian AI, volume 6657 of Lecture Notes in Computer Science, page 372-376. Springer, (2011)Learning opponents' preferences in multi-object automated negotiation., and . ICEC, volume 113 of ACM International Conference Proceeding Series, page 300-305. ACM, (2005)Designing a Tool to Allow Updates during Plan Recognition - Challenges and Applications., , and . ICTAI, page 63-70. IEEE Computer Society, (1994)Identifying Major Tasks from On-line Reviews., and . EUSPN/ICTH, volume 113 of Procedia Computer Science, page 217-222. Elsevier, (2017)Temperature Forecasts with Stable Accuracy in a Smart Home., and . ANT/SEIT, volume 83 of Procedia Computer Science, page 726-733. Elsevier, (2016)MONOLOGUE: A Tool for Negotiating Exchanges of Private Information in E-Commerce., , , and . PST, (2005)