Preferential theory revision

Journal of Applied Logic

Volumn 5, Issue 4 SPEC. ISS., 2007, Pages 586-601

  Dell'Acqua, Pierangelo ^a,b   Pereira, Luís Moniz ^b  

^a LINKÖPING UNIVERSITY   (Sweden)

^b UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

Abduction; Diagnosis; Logic programs; Preferences; Theory revision

Indexed keywords

AUTOMATA THEORY; MATHEMATICAL PROGRAMMING;

LOGIC PROGRAM APPROACH; PREFERENTIAL REASONING; THEORY REVISION;

FORMAL LOGIC;

EID: 35348874262     PISSN: 15708683     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jal.2006.03.010     Document Type: Article

References (20)

1. Alchourrón C.E., Gärdenfors P., and Makinson D. On the logic of theory change: Partial meet contraction and revision functions. J. Symbolic Logic 50 2 (1985) 510-530
2. Alferes J.J., Dell'Acqua P., and Pereira L.M. A compilation of updates plus preferences. In: Flesca S., Greco S., Leone N., and Ianni G. (Eds). Logics in Artificial Intelligence. Lecture Notes in Artificial Intelligence vol. 2424 (2002), Springer, Berlin 62-74
3. Alferes J.J., and Pereira L.M. Reasoning with Logic Programming. Lecture Notes in Artificial Intelligence vol. 1111 (1996), Springer, Berlin
4. Alferes J.J., and Pereira L.M. Updates plus preferences. In: Aciego M.O., de Guzmán I.P., Brewka G., and Pereira L.M. (Eds). Logics in AI, Procs. JELIA'00. Lecture Notes in Artificial Intelligence vol. 1919 (2000), Springer, Berlin 345-360
5. Brewka G., and Eiter T. Preferred answer sets for extended logic programs. Artificial Intelligence 109 (1999) 297-356
6. Doyle J. Prospects for preferences. Computational Intelligence 20 2 (2004) 111-136
7. Duhem P. The Aim and Structure of Physical Theory. second ed. (1954), Princeton University Press
8. Gärdenfors P. The role of expectations in reasoning. In: Masuch M., and Polos L. (Eds). Knowledge Representation and Reasoning under Uncertainty. Lecture Notes in Computer Science vol. 808 (1994), Springer, Berlin 1-16
9. Gelder A.V., Ross K.A., and Schlipf J.S. The well-founded semantics for general logic programs. J. ACM 38 3 (1991) 620-650
10. Gelfond M., and Lifschitz V. The stable model semantics for logic programming. In: Kowalski R., and Bowen K.A. (Eds). ICLP'88 (1988), MIT Press 1070-1080
11. Hansson S. Ten philosophical problems in belief revision. Journal of Logic and Computation 13 (2003) 37-49
12. XSB-Prolog, XSB is available at http://xsb.sourceforge.net
13. Kowalski R.A. Logic for Problem Solving (1979), North-Holland, New York
14. Levi I. Mild Contraction (2004), Clarendon Press, Oxford
15. Nayak A.C. Iterated belief change based on epistemic entrenchment. Erkenntnis 41 (1994) 353-390
16. Pereira L.M. Philosophical incidence of logic programming. In: Gabbay D., et al. (Ed). Handbook of the Logic of Argument and Inference. Studies in Logic and Practical Reasoning Series vol. 1 (2002), Elsevier Science, Amsterdam 425-448
17. Pereira L.M., Damásio C., and Alferes J.J. Debugging by diagnosing assumptions. In: Fritzson P. (Ed). 1st Int. Ws. on Automatic Algorithmic Debugging, AADEBUG'93. Lecture Notes in Computer Science vol. 749 (1993), Springer, Berlin 58-74 preproceedings by Linköping Univ
18. Pereira L.M., and Pinto A.M. Revised stable models-a semantics for logic programs. In: Cardoso A., Bento C., and Dias G. (Eds). Progress in Artificial Intelligence, Proc. 12th Portuguese Intl. Conf. on Artificial Intelligence (EPIA'05), Covilhã, Portugal. Lecture Notes in Computer Science vol. 3808 (2005), Springer, Berlin 29-42
19. Rott H. Change, Choice and Inference (2001), Oxford University Press, Oxford
20. Spohn W. Ordinal conditional functions: A dynamic theory of epistemic states. In: Harper W.L., and Skyrms B. (Eds). Causation in Decision, Belief Change and Statistics, vol. 2 (1987), Reidel 105-134