Author of the publication

Integrating Ontology Languages and Answer Set Programming.

, and . DEXA Workshops, page 584-588. IEEE Computer Society, (2003)

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

KB_Bio_101: A Challenge for TPTP First-Order Reasoners, , and . In KInAR - Knowledge Intensive Automated Reasoning Workshop at CADE-24, the 24th International Conference on Automated Deduction, Lake Placid, New York, USA, (June 2013)Guarded Hybrid Knowledge Bases, , , , and . CoRR, (2007)Guarded Open Answer Set Programming., , and . LPNMR, volume 3662 of Lecture Notes in Computer Science, page 92-104. Springer, (2005)Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming., , , and . CLIMA, volume 4371 of Lecture Notes in Computer Science, page 20-40. Springer, (2006)Guarded Open Answer Set Programming with Generalized Literals., , and . FoIKS, volume 3861 of Lecture Notes in Computer Science, page 179-200. Springer, (2006)Reasoning with Forest Logic Programs and f-hybrid knowledge bases., and . Theory Pract. Log. Program., 13 (3): 395-463 (2013)Semantic validation of the use of SNOMED CT in HL7 clinical documents., , and . J. Biomed. Semant., (2011)Large-Scale Analogical Reasoning., , , , and . AAAI, page 359-365. AAAI Press, (2014)Extending Conceptual Logic Programs with Arbitrary Rules., , and . Answer Set Programming, volume 142 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)Intelligence Analysis Using Quantitative Preferences., , and . Answer Set Programming, volume 142 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)