A language for updating logic programs and its implementation

Abiteboul, 1988, Updates, A New Frontier, 326, 1 Abiteboul, 1985, Update Semantics for Incomplete Databases, 1 Abiteboul, 1987, A Transaction Language Complete for Database Update and Specification, 260 Abiteboul, 1991, Datalog Extensions for Database Queries and Updates, JCSS, 43, 62 Apt, 1988, Towards a Theory of Declarative Knowledge, 89 Apt, 1987, Maintenance of Stratified Databases Viewed as a Belief Revision System, 136 Atzeni, 1992, Updating Intensional Predicates in Datalog, Data and Knowledge Engineering, 7, 1, 10.1016/0169-023X(92)90002-S Bancilhon, 1986, Naive Evaluation of Recursively Defined Relations, 165 Bonner, 1993, Transaction Logic Programming, 257 Bancilhon, 1986, Magic Sets and Other Strange Ways to Implement Logic Programs, 1 Beeri, 1987, On the Power of Magic, 269 Balbin, 1987, A Generalization of the Differential Approach to Recursive Query Evaluation, Journal of Logic Programming, 4, 259, 10.1016/0743-1066(87)90004-5 Bancilhon, 1981, Update Semantics of Relational Views, ACM Trans. on Database Systems, 6 Bonner, 1990, Hypothetical Datalog: Complexity and Expressibility, Theoretical Computer Science, 76, 3, 10.1016/0304-3975(90)90011-6 Brosda, 1988, Update and Retrieval in a Relational Database through a Universal Schema Interface, ACM Trans. on Database Systems, 13, 449, 10.1145/49346.49884 Bry, 1990, Intensional Updates: Abduction via Deduction, 561 Chang, 1973 Cholvy, 1986, Update Semantics under the Domain Closure Assumption, 123 Chimenti, 1990, The LDL System Prototype, IEEE Transactions on Knowledge and Data Engineering, 2, 10.1109/69.50907 Cosmadakis, 1984, Updates of Relational Views, JACM, 31, 742, 10.1145/1634.1887 Dayal, 1978, On the Updatability of Relational Views, 368 Decker, 1990, Drawing Updates from Derivations, 460 Eiter, 1992, On the Complexity of Propositional Knowledge Base Revision Updates and Counterfactuals, 261 Fagin, 1986, Updating Logical Databases, 3, 1 Fagin, 1983, On the Semantics of Updates in Databases, 352 Gabbay, 1984, N-Prolog: An Extension of Prolog with Hypothetical Implications. I, Journal of Logic Programming, 1, 319, 10.1016/0743-1066(84)90029-3 Gottlob, 1988, Properties and Update Semantics of Consistent Views, ACM TODS, 13, 486, 10.1145/49346.50068 Grahne, 1992, Knowledgebase Transformations, 246 Guessoum, 1990, Updating Knowledge Bases, New Generation Computing, 8, 71, 10.1007/BF03037514 Guessoum, 1991, Updating Knowledge Bases II, New Generation Computing, 10, 73, 10.1007/BF03037523 Greco, 1992, COMPLEX: An Object-Oriented Logic Programming System, IEEE Transactions on Knowledge and Data Engineering, 4, 10.1109/69.149930 Halpern, 1991, Model Checking vs. Theorem Proving: A Manifesto, 325 Harel, 1979, First-Order Dynamic Logic Imielinski, 1984, Incomplete Information in Relational Databases, JACM, 4 Kakas, 1990, Database Updates Through Abduction, 650 Katzuno, 1991, On the Difference Between Updating a Knowledge Base and Revising it, 387 Katzuno, 1991, Proportional Knowledgebase Revision and Minimal Change, Artificial Intelligence, 52, 263, 10.1016/0004-3702(91)90069-V Krishnamurthy, 1988, Non-Deterministic Choice in Datalog, 1070 Kemp, 1991, Magic Sets and Bottom-Up Evaluation of Well-Founded Models, 337 Kowalski, 1990, Logic Programs with Exceptions, 598 Langerak, 1990, View Updates in Relational Databases with an Independent Schema, ACM Trans. on Database Systems, 15, 40, 10.1145/77643.77645 Lloyd, 1987 Leone, 1992, A Deductive Environment for Dealing with Objects and Non-Monotonic Reasoning, CRAI, Technical Report, 92 Leone, 1992, An Efficient Strategy for the Bottom-Up Evaluation of Datalog Queries, The Computer Journal, 35, 519, 10.1093/comjnl/35.6.a519 McCarthy, 1969, Some Philosophical Problems from the Standpoint of Artificial Intelligence, Vol. 4, 463 Marek, 1991, Autoepistemic Logic, Journal of the ACM, 38, 10.1145/116825.116836 Manchanda, 1988, Towards a Logical Theory of Database View Updates, 363 Naqvi, 1988, Database Updates in Logic Programming, 251 Naqvi, 1989 Przymusinski, 1989, Every Logic Program has a Natural Stratification and an Iterated Fixed Point Model, 11 Ramakrishnan, 1987, Safety of Recursive Horn Clauses with Infinite Relations, 328 Reiter, 1992, On Formalizing Database Updates: Preliminary Report, 10 Roussel, 1975 Ross, 1990, Modular Stratification and Magic Sets for Datalog Programs with Negation Rossi, 1989, Contribution to the View Update Problem, 388 Sadri, 1988, A Theorem-Proving Approach to Database Integrity, 313 Spyratos, 1980, Translation Structures of Relational Views, 411 Sterling, 1986 Saccà, 1987, Implementation of Recursive Queries for a Data Language Based on Pure Horn Clauses, 104 Saccà, 1990, Partial Model Stable Models and Non-Determinism in Logic Programs with Negation, 205 Tomasic, 1988, View Update Translation Via Deduction and Annotation, 326, 338 Topor, 1988, On Domain Independent Databases, 193 Ullman, 1988 Vianu, V., Personal Communication. Van Gelder, 1991, The Well-Founded Semantics for General Logic Programs, JACM, 38, 620, 10.1145/116825.116838 Warren, 1985, Database Update in Pure Prolog, 244 Weber, 1987, Updating Propositional Formulas, 487 Winslett, 1986, A Model-Theoretic Approach to Updating Logical Databases, 224 Winslett, 1988, A Model-Based Approach to Updating Databases with Incomplete Information, ACM Trans. on Database Systems, 13, 167, 10.1145/42338.42386 Zaniolo, 1986, Safety and Compilation of Nonrecursive Horn Clauses, 167