The Stable Models of a Predicate Logic Program
From MaRDI portal
Publication:4318872
DOI10.1016/S0743-1066(14)80008-3zbMath0836.68013OpenAlexW2047885920MaRDI QIDQ4318872
Victor W. Marek, Anil Nerode, Jeffery B. Remmel
Publication date: 6 February 1995
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0743-1066(14)80008-3
Related Items
Index Sets for Finite Normal Predicate Logic Programs with Function Symbols, Complexity and undecidability results for logic programming, A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs, Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics, Automata and Answer Set Programming, My work with Victor Marek: a mathematician looks at answer set programming, Logic programs, well-orderings, and forward chaining, On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP, Composing Normal Programs with Function Symbols, Logic programming with infinite sets