Author of the publication

Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract).

, and . IJCAI, page 5040-5044. ijcai.org, (2020)Journal track.

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

Computing discrete Fréchet distance, , , , and . (1994)Preference-Based Inconsistency Management in Multi-Context Systems., and . J. Artif. Intell. Res., (2017)Complexity Results for Logic-Based Abduction., and . Structural Complexity and Recursion-theoretic methods in Logic-Programming, page 29-44. Mathematical Sciences Institute, Cornell University, (1992)The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems., , , and . INAP/WLP, volume 7773 of Lecture Notes in Computer Science, page 3-26. Springer, (2011)Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract)., and . IJCAI, page 5593-5597. ijcai.org, (2018)Efficient Evaluation of Logic Programs for Querying Data Integration Systems., , , and . ICLP, volume 2916 of Lecture Notes in Computer Science, page 163-177. Springer, (2003)Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information., , and . IJCAI, page 634-639. Morgan Kaufmann, (1993)Decomposition of Declarative Knowledge Bases with External Functions., , and . IJCAI, page 752-758. (2009)Updating Action Domain Descriptions., , , and . IJCAI, page 418-423. Professional Book Center, (2005)Using the dlv System for Planning and Diagnostic Reasoning., , , , and . WLP, volume 90 of GMD Report, page 125-134. (2000)