Author of the publication

A Meta-Data Approach to Querying Multiple Biomedical Ontologies.

, , , and . ICBO, volume 833 of CEUR Workshop Proceedings, CEUR-WS.org, (2011)

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

Concept-Level Rules for Capturing Domain Knowledge., , and . ICSC, page 260-264. IEEE Computer Society, (2018)Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming., and . CoRR, (2014)DICR: AI Assisted, Adaptive Platform for Contract Review., , , , , , and . AAAI, page 13638-13639. AAAI Press, (2020)Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs., and . CENT, volume 265 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)Situation Calculus as Answer Set Programming., and . AAAI, page 309-314. AAAI Press, (2010)System f2lp - Computing Answer Sets of First-Order Formulas., and . LPNMR, volume 5753 of Lecture Notes in Computer Science, page 515-521. Springer, (2009)Symmetric Splitting in the General Theory of Stable Models., , , and . IJCAI, page 797-803. (2009)Circumscriptive Event Calculus as Answer Set Programming., , and . IJCAI, page 823-829. (2009)Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report)., and . LPNMR, volume 6645 of Lecture Notes in Computer Science, page 248-253. Springer, (2011)A Reductive Semantics for Counting and Choice in Answer Set Programming., , and . AAAI, page 472-479. AAAI Press, (2008)