Update by means of inference rules

This publication has 8 references indexed in Scilit:

• Revision specifications by means of programs
  Published by Springer Nature ,2005
• Revision programming
  Theoretical Computer Science, 1998
• Static semantics for normal and disjunctive logic programs
  Annals of Mathematics and Artificial Intelligence, 1995
• Revision programming, database updates and integrity constraints
  Published by Springer Nature ,1995
• On the difference between updating a knowledge base and revising it
  Published by Cambridge University Press (CUP) ,1992
• Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. Logic programming, Proceedings of the fifth international conference and symposium, Volume 2, edited by Robert A. Kowalski and Kenneth A. Bowen, Series in logic programming, The MIT Press, Cambridge, Mass., and London, 1988, pp. 1070–1080. - Kit Fine. The justification of negation as failure. Logic, methodology and philosophy of science VIII, Proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987, edited by Jens Erik Fenstad, Ivan T. Frolov, and Risto Hilpinen, Studies in logic and the foundations of mathematics, vol. 126, North-Holland, Amsterdam etc. 1989, pp. 263–301.
  The Journal of Symbolic Logic, 1992
• Stable semantics for disjunctive programs
  New Generation Computing, 1991
• A logic for default reasoning
  Artificial Intelligence, 1980