Compiling answer set programs into event-driven action rules

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

Volumn 6645 LNAI, Issue , 2011, Pages 376-381

  Zhou, Neng Fa ^a   Shen, Yi Dong ^b   You, Jia Huai ^c  

^a CITY UNIVERSITY OF NEW YORK   (United States)

^b INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

^c UNIVERSITY OF ALBERTA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ACTION RULES; ANSWER SET; FINITE-DOMAIN VARIABLES; EVENT-DRIVEN;

LOGIC PROGRAMMING;

PROGRAM TRANSLATORS; COMPUTER CIRCUITS;

EID: 79955773537     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-20895-9_44     Document Type: Conference Paper

References (6)

1. Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: A User's Guide to gringo, clasp, clingo and iclingo. Technical report, University of Potsdam (2008)
2. Greco, S., Molinaro, C., Trubitsyna, I., Zumpano, E.: NP Datalog: A logic language for expressing search and optimization problems. TPLP 10(2), 125-166 (2010)
3. Lefèvre, C., Nicolas, P.: A first order forward chaining approach for answer set computing. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 196-208. Springer, Heidelberg (2009)
4. Liu, L., Pontelli, E., Son, T.C., Truszczyński, M.: Logic programs with abstract constraint atoms: The role of computations. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 286-301. Springer, Heidelberg (2007)
5. Dal Palù, A., Dovier, A., Pontelli, E., Rossi, G.: Answer set programming with constraints using lazy grounding. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 115-129. Springer, Heidelberg (2009)
6. Zhou, N.-F.: Programming finite-domain constraint propagators in action rules. TPLP 6(5), 483-508 (2006)