From disjunctive programs to abduction
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- On Positive Occurrences of Negation as FailurePublished by Elsevier ,1994
- Representing action and change by logic programsThe Journal of Logic Programming, 1993
- Classical negation in logic programs and disjunctive databasesNew Generation Computing, 1991
- On the Declarative Semantics of Deductive Databases and Logic ProgramsPublished by Elsevier ,1988
- Towards a Theory of Declarative KnowledgePublished by Elsevier ,1988
- Nonmonotonic logic and temporal projectionArtificial Intelligence, 1987