Revision specifications by means of programs
- 9 June 2005
- book chapter
- Published by Springer Nature
- p. 122-136
- https://doi.org/10.1007/bfb0021968
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Classical negation in logic programs and disjunctive databasesNew Generation Computing, 1991
- Datalog extensions for database queries and updatesJournal of Computer and System Sciences, 1991
- Procedural languages for database queries and updatesJournal of Computer and System Sciences, 1990
- Updating Logical DatabasesPublished by Cambridge University Press (CUP) ,1990
- A theory of nonmonotonic rule systems IAnnals of Mathematics and Artificial Intelligence, 1990
- A Logic-based Language for Database UpdatesPublished by Elsevier ,1988
- On the logic of theory change: Partial meet contraction and revision functionsThe Journal of Symbolic Logic, 1985
- A logic for default reasoningArtificial Intelligence, 1980
- A truth maintenance systemArtificial Intelligence, 1979