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

From Disjunctive Programs to Abduction., and . NMELP, volume 927 of Lecture Notes in Computer Science, page 23-42. Springer, (1994)One More Decidable Class of Finitely Ground Programs., and . ICLP, volume 5649 of Lecture Notes in Computer Science, page 489-493. Springer, (2009)Datalog Programs and Their Stable Models.. Datalog, volume 6702 of Lecture Notes in Computer Science, page 78-87. Springer, (2010)Computing Circumscription.. IJCAI, page 121-127. Morgan Kaufmann, (1985)In Memoriam: Grigori E. Mints, 1939-2014., and . FLAP, (2017)Preface to the Special Issue on Commonsense and Nonmonotonic Reasoning.. J. Autom. Reason., 14 (1): 1 (1995)Mathematical Foundations of Answer Set Programming., and . We Will Show Them! (1), page 615-664. College Publications, (2005)Towards Verifying Logic Programs in the Input Language of clingo., , and . Fields of Logic and Computation III, volume 12180 of Lecture Notes in Computer Science, page 190-209. Springer, (2020)A generalization of the Lin-Zhao theorem., , and . Ann. Math. Artif. Intell., 47 (1-2): 79-101 (2006)Translating Definitions into the Language of Logic Programming: A Case Study.. ICLP Workshops, volume 3193 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)