Preference revision via declarative debugging

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

Volumn 3808 LNCS, Issue , 2005, Pages 18-28

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

^a LINKÖPING UNIVERSITY   (Sweden)

^b UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER OPERATING PROCEDURES; COMPUTER PROGRAMMING; COMPUTER SCIENCE; INFORMATION TECHNOLOGY; PROBLEM SOLVING;

DEBUGGING TECHNIQUES; DECLARATIVE DEBUGGING; PREFERENCE CRITERIA;

PROGRAM DEBUGGING;

EID: 33744785667     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11595014_3     Document Type: Conference Paper

References (13)

1. J. J. Alferes, L. M. Pereira, and T. Swift. Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs. Theory and Practice of Logic Programming, 4(4):383-428, 2004.
2. K. Arrow. Social Choice and Individual Values. John Wiley and Sons, 1951.
3. Jan Chomicki. Preference Formulas in Relational Queries. ACM Transactions on Database Systems, 28(4):427-466, 2003.
4. Jan Chomicki and Joyce Song. On Preference Refinement. Paper in progress, 2004.
5. P. Dell'Acqua and L. M. Pereira. Preferring and updating in logic-based agents. In O. Bartenstein, U. Geske, M. Hannebauer, and O. Yoshie (eds.), Web-Knowledge Management and Decision Support. Selected Papers from the 14th Int. Conf. on Applications of Prolog (INAP), LNAI 2543, pp. 70-85, 2003.
6. P. Gärdenfors and H. Rott. Belief Revision. In D. M Gabbay, C. J. Hogger, and J. A. Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, volume 4, pp. 35-132. Oxford University Press, 1995.
7. A. V. Gelder, K. A. Ross, and J. S. Schlipf. The Well-Founded Semantics for General Logic Programs. J. ACM, 38(3):620-650, 1991.
8. B. N. Grosof. New Prioritization Methods for Conflict Management. In M. Klein (ed.), Proc. IJCAI-93 W. on Computational Models of Conflict Management in Cooperative Problem-Solving. Int. Joint Conf. on Artificial Intelligence, 1993.
9. Andréka H., M. Ryan, and P. Y. Schobbens. Operators and Laws for Combining Preference Relations. J. of Logic and Computation, 12(1):13-53, 2002.
10. L. M. Pereira, C. Damásio, and J. J. Alferes. Debugging by Diagnosing Assumptions. In P. Fritzson (ed.), 1st Int. Ws. on Automatic Algorithmic Debugging, AADEBUG'93, LNCS 749, pp. 58-74. Preproceedings by Linköping Univ., 1993.
11. F. Rossi, K. B. Venable, and T. Walsh. Aggregating Preference Cannot be Fair. Preprint n. 12-2004, Dept. of Pure and Applied Mathematics, Univ. of Padova, Italy, 2004.
12. F. Rossi, K. B. Venable, and T. Walsh. mCP nets: Representing and Reasoning with Preferences of Multiple Agents. In D. L. McGuinness and G. Ferguson (eds.), Proc. 19th Conf. on Artificial Intelligence, 16th Conf. on Innovative Applications of Artificial Intelligence, LNCS 749, pp. 729-734. AAAI Press, 2004.
13. Ronald R. Yager. Fusion of Multi-Agent Preference Ordering. Fuzzy Sets and Systems, 117:1-12, 2001.