Relational theories with null values and non-herbrand stable models
From MaRDI portal
Publication:4911135
DOI10.1017/S147106841200018XzbMath1260.68064arXiv1210.4130OpenAlexW2963745239MaRDI QIDQ4911135
Vladimir Lifschitz, Fangkai Yang, Karl Pichotta
Publication date: 13 March 2013
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1210.4130
Related Items
Cites Work
- Stable models and circumscription
- Addendum: Circumscription and other non-monotonic formalisms
- An alternative approach to the semantics of disjunctive logic programs and deductive databases
- Logic programs with stable model semantics as a constraint programming paradigm
- Introduction to model theory and to the metamathematics of algebra
- A logic of nonmonotone inductive definitions
- Strongly equivalent logic programs