A compilation of updates plus preferences

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2424, Issue , 2002, Pages 62-74

  Alferes, José Júlio ^a   Dell’Acqua, Pierangelo ^a,b   Pereira, Luís Moniz ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b LINKÖPING UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

GENERALIZED LOGIC PROGRAM; PREFERENCE REASONING;

LOGIC PROGRAMMING;

EID: 77952062546     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (14)

1. J. J. Alferes, P. Dell'Acqua, and L. M. Pereira. A compilation of updates plus preferences. Technical report, LiTH-ITN-R-2002-7, Dept. of Science and Technology, Linköping University, Sweden, 2002. Available at: http://www.itn.liu.se/english/research/.
2. J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. C. Przymusinski. Dynamic updates of non-monotonic knowledge bases. The J. of Logic Programming, 45(1-3):43-70, 2000.
3. J. J. Alferes and L. M. Pereira. Updates plus preferences. In M. O. Aciego, I. P. de Guzman, G. Brewka, and L. M. Pereira (eds.) Logics in AI, Procs. JELIA'00, LNAI 1919, pp. 345-360, Berlin, 2000. Springer.
4. J. J. Alferes and L. M. Pereira. Logic Programming Updating-a guided approach-Essays in honour of Robert Kowalski. In A. Kakas and F. Sadri (eds.) Computational Logic: From Logic Programming into the Future. Springer, 2002. To appear. Available at: http://centria.di.fct.unl.pt/∼lmp/.
5. G. Brewka. Well-founded semantics for extended logic programs with dynamic preferences. Journal of Artificial Intelligence Research, 4, 1996.
6. G. Brewka and T. Eiter. Preferred answer sets for extended logic programs. Artificial Intelligence, 109, 1999.
7. G. Brewka and T. Eiter. Preferred answer sets for extended logic programs. Artificial Intelligence, 109:297-356, 1999.
8. B. Cui and T. Swift. Preference logic grammars: Fixed-point semantics and application to data standardization. Artificial Intelligence, 2002. To appear.
9. J. Delgrande, T. Schaub, and H. Tompits. A compilation of Brewka and Eiter's approach to prioritization. In M. O. Aciego, I. P. de Guzman, G. Brewka, and L. M. Pereira (eds.), Logics in AI, Procs. JELIA'00, LNAI 1919, pp. 376-390, 2000.
10. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. A. Kowalski and K. Bowen (eds.) Proceedings of the Fifth International Conference on Logic Programming, pp. 1070-1080, 1988. The MIT Press.
11. B. Grosof. Courteous logic programs: Prioritized conflict handling for rules. Research Report RC 20836, IBM, 1997.
12. K. Inoue and C. Sakama. Negation as failure in the head. Journal of Logic Programming, 35:39-78, 1998.
13. V. Lifschitz and T. Woo. Answer sets in general non-monotonic reasoning (preliminary report). In B. Nebel, C. Rich, and W. Swartout (eds.) KR'92. Morgan-Kaufmann, 1992.
14. H. Prakken. Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law, volume 32 of Law and Philosophy Library. Kluwer academic publishers, 1997.