Commonsense axiomatizations for logic programs
From MaRDI portal
Publication:4275257
DOI10.1016/0743-1066(93)90030-KzbMath0798.68030OpenAlexW1984576222MaRDI QIDQ4275257
John S. Schlipf, Allen van Gelder
Publication date: 13 January 1994
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0743-1066(93)90030-k
Related Items (4)
First-order theories for pure Prolog programs with negation ⋮ Conceptual logic programs ⋮ Complexity and undecidability results for logic programming ⋮ A transformation of propositional Prolog programs into classical logic
This page was built for publication: Commonsense axiomatizations for logic programs