Implementing prioritized reasoning in logic programming

ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings

Volumn AIDSS, Issue , 2007, Pages 94-100

  Caroprese, Luciano ^a   Trubitsyna, Irina ^a   Zumpano, Ester ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

Answer Set Optimization; Choice Optimization; Prioritized Logic Programming

Indexed keywords

ANSWER SET OPTIMIZATION; CHOICE OPTIMIZATION; IDENTIFICATION STRATEGIES; IMPLEMENTATION APPROACH; PREFERENCE RELATION; PRIORITIZED LOGIC PROGRAMMING;

INFORMATION SYSTEMS; LOGIC PROGRAMMING; OPTIMIZATION; SEMANTICS;

SET THEORY;

EID: 38349170629     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Brewka, G. (2002). Logic programming with ordered disjunction. In Proc. of the 18th Nat. Conf. on Artificial Intelligence (AAAI/IAAA), pages 100-105. AAAI Press.
2. Brewka, G. and Eiter, T. (1999). Preferred answer sets for extended logic programs. Artificial Intelligence, 109(l-2):297-356.
3. Brewka, G., Niemela, I., andTruszczynski, M. (2003). Answer set optimization. In Pmc. of the 18th Int. Joint Conf. on Artificial Intelligence, pages 867-872. Morgan Kaufmann.
4. Caroprese, L., Trubitsyna, I., and Zumpano, E. (2007). A framework for prioritized reasoning based on the choice evaluation. In Pmc. of the 22nd Annual ACM Symposium on Applied Computing.
5. Cholewinski, P., Marek, V. W., and Truszczynski, M. (1996). Default reasoning system deres. In Proc. of the 5th Int. Conf. KR'97, pages 518-528. Morgan Kaufmann.
6. Delgrande, J. P., Schaub, T., and Tompits, H. (2000). Logic programs with compiled preferences. In Proc. of the 14th Eur. Conf. on Artificial Intelligence, pages 464- 468. IOS Press.
7. Delgrande, J. P., Schaub, T., and Tompits, H. (2003). A framework for compiling preferences in logic programs. TPLP, 3(2):129-187.
8. Delgrande, J. P., Schaub, T., Tompits, H., and K., W. (2004). A classification and survey of preference handling approaches in nonmonotonic reasoning. Computational Intelligence, 20(2):308-334.
9. Gelfond, M. and Son, T. (1997). Reasoning with prioritized defaults. In Proc. of the 3d Int. Workshop LPKR'97, pages 164-223. Springer.
10. Janhunen, X, Niemela, I., Simons, P., and You, J.-H. (2000). Unfolding partiality and disjunctions in stable model semantics. In Proc. of the 7th Int. Conf. KR'00, pages 411-419. Morgan Kaufmann.
11. Leone, N., Pfeifer, G., Faber, W., Calimeri, R, Dell'Armi, T., Eiter, T, Gottlob, G., Ianni, G., Ielpa, G., Koch, K., Perri, S., and Polleres, A. (2002). The dlv system. In Proc. of Eur. Conf. JELIA'02, pages 537-540. Springer.
12. Sakama, C. and Inoue, K. (2000). Priorized logic programming and its application to commonsense reasoning. Artificial Intelligence, 123:185-222.
13. Syrjanen, T. and Niemela, I. (2001). The smodels system. In Proc. of the 6th Int. Conf. LPNMR'01, pages 434-438. Springer.
14. Wakaki, T, Inoue, K. nd Sakama, C, and Nitta, K. (2003). Computing preferred answer sets in answer set programming. In Proc. of the 10th Int. Conf. LPAR'03, pages 259-273. Springer.