Default negated conclusions: Why not?
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 103-117
- https://doi.org/10.1007/3-540-60983-0_7
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Strong and explicit negation in non-monotonic reasoning and logic programmingLecture Notes in Computer Science, 1996
- Reasoning with Logic ProgrammingPublished by Springer Nature ,1996
- Belief revision in non-monotonic reasoningLecture Notes in Computer Science, 1995
- A logic programming system for nonmonotonic reasoningJournal of Automated Reasoning, 1995
- Belief, provability, and logic programsJournal of Applied Non-Classical Logics, 1995
- A CLASSIFICATION THEORY OF SEMANTICS OF NORMAL LOGIC PROGRAMS: II. WEAK PROPERTIESFundamenta Informaticae, 1995
- A CLASSIFICATION THEORY OF SEMANTICS OF NORMAL LOGIC PROGRAMS: I. STRONG PROPERTIESFundamenta Informaticae, 1995
- On Positive Occurrences of Negation as FailurePublished by Elsevier ,1994
- Classical negation in logic programs and disjunctive databasesNew Generation Computing, 1991
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976