On preferring and inspecting abductive models

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

Volumn 5418 LNCS, Issue , 2009, Pages 1-15

  Pereira, Luís Moniz ^a   Dell'Acqua, Pierangelo ^b   Lopes, Gonçalo ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b LINKÖPING UNIVERSITY   (Sweden)

Author keywords

Abduction; Logic Programming; Preferences; Smodels; XSB Prolog

Indexed keywords

APPLICATION PROGRAMS; COMPUTER CIRCUITS; DECISION THEORY; LOGIC PROGRAMMING; PROLOG (PROGRAMMING LANGUAGE);

ABDUCTION; ABDUCTIVE LOGIC PROGRAMS; ABDUCTIVE REASONING; ECONOMIC DECISION THEORY; MODEL CHOICE; PREFERENCES; SMODELS; XSB-PROLOG;

DECISION MAKING;

EID: 70350625264     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-92995-6_1     Document Type: Conference Paper

References (15)

1. Brewka, G.: Logic programming with ordered disjunction. In: Kaufmann, M. (ed.) Proc. 18th National Conference on Artificial Intelligence, AAAI 2002 (2002)
2. Brewka, G., Niemelä, I., Truszczynski, M.: Answer set optimization. In: Proc. IJCAI 2003, pp. 867-872 (2003)
3. Castro, L.F., Warren, D.S.: An environment for the exploration of non monotonic logic programs. In: Kusalik, A. (ed.) Proc. of the 11th Intl. Workshop on Logic Programming Environments (WLPE 2001) (2001)
4. Dell'Acqua, P., Pereira, L.M.: Preferential theory revision. J. of Applied Logic 5(4), 586-601 (2007)
5. Doyle, J.: Prospects for preferences. Computational Intelligence 20(3), 111-136 (2004)
6. Fung, T.H., Kowalski, R.: The IFF Proof Procedure for Abductive Logic Programming. The J. of Logic Programming 33(2), 151-165 (1997)
7. Neg-Abdual. Constructive Negation with Abduction, http://centria.di.fct. unl.pt/̃lmp/software/contrNeg.rar
8. Niemelä, I., Simons, P.: Smodels: An implementation of the stable model and well-founded semantics for normal logic programs. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS (LNAI), vol. 1265, pp. 420-429. Springer, Heidelberg (1997)
9. Pereira, L.M., Lopes, G.: Prospective logic agents. In: Neves, J., Santos, M.F., Machado, J.M. (eds.) EPIA 2007. LNCS, vol. 4874, pp. 73-86. Springer, Heidelberg (2007)
10. Pereira, L.M., Pinto, A.M.: Notes on Inspection Points and Meta-Abduction in Logic Programs. Work in progress (2008), http://centria.di.fct.unl.pt/ ̃lmp/publications/online-papers/IP08.pdf
11. Pereira, L.M., Saptawijaya, A.:Modelling morality with prospective logic. In: Neves, J., Santos, M.F., Machado, J.M. (eds.) EPIA 2007. LNCS (LNAI), vol. 4874, pp. 99-111. Springer, Heidelberg (2007)
12. Rott, H.: Change, Choice and Inference. Oxford University Press, Oxford (2001)
13. Sadri, F., Toni, F.: Abduction with Negation as Failure for Active and Reactive Rules. In: Lamma, E., Mello, P. (eds.) AI*IA 1999. LNCS (LNAI), vol. 1792, pp. 49-60. Springer, Heidelberg (2000)
14. Santana, P., Moniz Pereira, L.: Emergence of cooperation through mutual preference revision. In: Ali, M., Dapoigny, R. (eds.) IEA/AIE 2006. LNCS (LNAI), vol. 4031, pp. 81-90. Springer, Heidelberg (2006)
15. Swift, T.: Tabling for non-monotonic programming. Annals of Mathematics and Artificial Intelligence 25(3-4), 201-240 (1999)