A new logical characterisation of stable models and answer sets
Author:
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 57-70
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- On Extensions of Intermediate Logics by Strong NegationJournal of Philosophical Logic, 1998
- Minimal belief and negation as failureArtificial Intelligence, 1994
- Logic programming and reasoning with incomplete informationAnnals of Mathematics and Artificial Intelligence, 1994
- Logic programming and nonmonotonic reasoning1993
- A logic of knowledge and justified assumptionsArtificial Intelligence, 1992
- Classical negation in logic programs and disjunctive databasesNew Generation Computing, 1991
- On the Proof Method for Constructive FalsityMathematical Logic Quarterly, 1988
- Constructive predicate logic with strong negation and model theory.Notre Dame Journal of Formal Logic, 1987
- Intuitionistic logic with strong negationStudia Logica, 1977
- A semantical study of constructible falsityMathematical Logic Quarterly, 1969