Belief base change operations for answer set programming

In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 294--306 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Basic infobase change.Thomas Meyer - 2001 - Studia Logica 67 (2):215-242.
Infinitary belief revision.Dongmo Zhang & Norman Foo - 2001 - Journal of Philosophical Logic 30 (6):525-570.
Local change.Sven Ove Hansson & Renata Wassermann - 2002 - Studia Logica 70 (1):49 - 76.
Coherentist Contraction.Sven Ove Hansson - 2000 - Journal of Philosophical Logic 29 (3):315 - 330.
A power algebra for theory change.K. Britz - 1999 - Journal of Logic, Language and Information 8 (4):429-443.
Coherentist contraction.SvenOve Hansson - 2000 - Journal of Philosophical Logic 29 (3):315-330.
Using criticalities as a heuristic for answer set programming.Orkunt Sabuncu, Ferda N. Alpaslan & Varol Akman - 2003 - In Vladimir Lifschitz & Ilkka Niemela (eds.), Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Artificial Intelligence 2923 (7th International Conference, LPNMR 2004, Fort Lauderdale, FL, January 6-8, 2004 Proceedings). Berlin, Heidelberg: Springer. pp. 234-246.
Reversing the Levi identity.Sven Ove Hansson - 1993 - Journal of Philosophical Logic 22 (6):637 - 669.
Resource bounded belief revision.Renata Wassermann - 1999 - Erkenntnis 50 (2-3):429-446.
Foundational belief change.Abhaya C. Nayak - 1994 - Journal of Philosophical Logic 23 (5):495 - 533.

Analytics

Added to PP
2014-01-28

Downloads
8 (#1,243,760)

6 months
3 (#880,460)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references