An implementation of extended P-log using XASP

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

Volumn 5366 LNCS, Issue , 2008, Pages 739-743

  Anh, Han The ^a   Kencana Ramli, Carroline D P ^a   Damásio, Carlos Viegas ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING; ARTIFICIAL INTELLIGENCE; COMPUTERS;

NEW APPROACHES; SET OPERATION; SMODELS;

COMPUTER CIRCUITS; LOGIC PROGRAMMING;

EID: 58549087996     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89982-2_68     Document Type: Conference Paper

References (8)

1. Baral, C., Gelfond, M., Rushton, N.: Probabilistic reasoning with answer sets. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS, vol. 2923, pp. 21-33. Springer, Heidelberg (2003)
2. Castro, L., Swift, T., Warren, D.S.: Xasp: Answer set programming with xsb and smodels, http://xsb.sourceforge.net/packages/xasp.pdf
3. The xsb system version 3.0 volume 2: Libraries, interfaces and packages (2006)
4. Urgen Dix, J.: A classification theory of semantics of normal logic programs. Fundamenta Informaticae 22, 257-288 (1995)
5. Swift, T.: Tabling for non-monotonic programming. Annals of Mathematics and Artificial Intelligence 25(3-4), 201-240 (1999)
6. Niemelä, I., Simons, P.: Smodels - an implementation of the stable model and well-founded semantics for normal lp. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 421-430. Springer, Heidelberg (1997)
7. Michael Shackleford, A.S.A.: Problem 62 solution - probabilities in poker (Last accessed June 10 2008), http://mathproblems.info/prob62s.htm
8. Gelfond, M., Rushton, N., Zhu, W.: Combining logical and probabilistic reasoning. In: AAAI Spring Symposium (2006)