Dynamic updates of non-monotonic knowledge bases

This publication has 9 references indexed in Scilit:

• Revision specifications by means of programs
  Published by Springer Nature ,2005
• LUPS — A Language for Updating Logic Programs
  Published by Springer Nature ,1999
• Generalizing updates: From models to programs
  Published by Springer Nature ,1998
• 'Classical' Negation in Nonmonotonic Reasoning and Logic Programming
  Journal of Automated Reasoning, 1998
• Update by means of inference rules
  The Journal of Logic Programming, 1997
• Update-programms can update programs
  Published by Springer Nature ,1997
• Strong and explicit negation in non-monotonic reasoning and logic programming
  Lecture Notes in Computer Science, 1996
• Update by means of inference rules
  Lecture Notes in Computer Science, 1995
• 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