Revision by expansion in logic programs
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 333-355
- https://doi.org/10.1007/3-540-58107-3_19
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Removing redundancy from a clauseArtificial Intelligence, 1993
- Skeptical reason maintenance and belief revisionArtificial Intelligence, 1993
- The well-founded semantics for general logic programsJournal of the ACM, 1991
- Three-valued nonmonotonic formalisms and semantics of logic programsArtificial Intelligence, 1991
- Bounded Query ClassesSIAM Journal on Computing, 1990
- Well-Founded Semantics Coincides with Three-Valued Stable Semantics1Fundamenta Informaticae, 1990
- Logical foundations of nonmonotonic truth maintenancePublished by Springer Nature ,1989
- On the logic of theory change: Partial meet contraction and revision functionsThe Journal of Symbolic Logic, 1985
- A truth maintenance systemArtificial Intelligence, 1979