Revision programming, database updates and integrity constraints
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 368-382
- https://doi.org/10.1007/3-540-58907-4_28
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- On the complexity of propositional knowledge base revision, updates, and counterfactualsPublished by Association for Computing Machinery (ACM) ,1992
- Datalog extensions for database queries and updatesJournal of Computer and System Sciences, 1991
- Autoepistemic logicJournal of the ACM, 1991
- Procedural languages for database queries and updatesJournal of Computer and System Sciences, 1990
- A Logic-based Language for Database UpdatesPublished by Elsevier ,1988
- Towards a Theory of Declarative KnowledgePublished by Elsevier ,1988
- A deterministic prolog fixpoint semanticsThe Journal of Logic Programming, 1985
- Linear-time algorithms for testing the satisfiability of propositional horn formulaeThe Journal of Logic Programming, 1984
- A logic for default reasoningArtificial Intelligence, 1980
- Negation as FailurePublished by Springer Nature ,1978