Logic programs with abstract constraint atoms: The role of computations

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

Volumn 4670 LNCS, Issue , 2007, Pages 286-301

  Liu, Lengning ^a   Pontelli, Enrico ^b   Son, Tran Cao ^b   Truszczyńki, Mirossław ^a  

^a UNIVERSITY OF KENTUCKY   (United States)

^b New Mexico State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; LOGIC PROGRAMMING; SEMANTICS;

ANSWER SET; ANSWER SET SEMANTICS; ARBITRARY CONSTRAINTS; DIFFERENT CLASS; LOGIC PROGRAMS;

COMPUTER CIRCUITS;

EID: 38149110023     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74610-2_20     Document Type: Conference Paper

References (22)

1. Balduccini, M., Gelfond, M., Nogueira, M.: Answer Set Based Design of Knowledge Systems. Annals of Mathematics and Artificial Intelligence (2006)
2. Dell'Armi, T., et al.: Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. In: IJCAI, pp. 847-852 (2003)
3. Denecker, M., Pelov, N., Bruynooghe, M.: Ultimate well-founded and stable semantics for logic programs with aggregates. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol. 2237, pp. 212-226. Springer, Heidelberg (2001)
4. Elkabani, I., Pontelli, E., Son, TC: Smodels with CLP and its applications. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol. 3132, pp. 73-89. Springer, Heidelberg (2004)
5. Erdem, E., Lifschitz, V. Ringe, D.: Temporal phylogenetic networks and logic programming. TPLP 6(5), 539-558 (2006)
6. Faber, W., Leone, N., Pfeifer, G.: Recursive aggregates in disjunctive logic programs: Semantics and complexity. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 200-212. Springer, Heidelberg (2004)
7. Ferraris, P.: Answer sets for propositional theories. In: Logic Programming and Nonmonotonic Reasoning, pp. 119-131. Springer, Heidelberg (2005)
8. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Joint Int. Conf. and Symp. on Logic Programming, pp. 1070-1080. MIT Press, Cambridge (1988)
9. Gelfond, M.: Representing Knowledge in A-Prolog. In: Computational Logic: Logic Programming and Beyond, pp. 413-451. Springer, Heidelberg (2002)
10. Heljanko, K., Niemelä, I.: Bounded LTL model checking with stable models. Theory and Practice of Logic Programming 3(4,5), 519-550 (2003)
11. Liu, L., Truszczyńki, M.: Properties of programs with monotone and convex constraints. In: National Conference on Artificial Intelligence, AAAI/MIT Press, pp. 701-706 (2005)
12. Marek, V.W., Nerode A., Remmel, J.: Logic Programs, Well-orderings, and Forward Chaining. Annals of Pure and Applied Logic 96, 231-276 (1999)
13. Marek, V.W., Truszczyńki, M.: Nonmonotonic Logic; Context-Dependent Reasoning. Springer, Heidelberg (1993)
14. Marek, V.W., Truszczyńki, M.: Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm, pp. 375-398. Springer, Heidelberg (1999)
15. Marek, V.W., Remmel, J.B.: Set constraints in logic programming. In: Logic Programming and Nonmonotonic Reasoning, pp. 167-179. Springer, Heidelberg (2004)
16. Marek, V.W., Truszczyńki, M.: Logic programs with abstract constraint atoms. In: National Conference on Artificial Intelligence (AAAI) AAAI Press / The MIT Press (2004)
17. Niemelä, I.: Logic programming with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence 25(3,4), 241-273 (1999)
18. Pelov, N.: Semantic of Logic Programs with Aggregates. PhD thesis, K.U. Leuven (2004)
19. Son, T.C, Pontelli, E.: A Constructive Semantic Characterization of Aggregates in Answer Set Programming. Theory and Practice of Logic Programming (2007)
20. Son, T.C, Pontelli, E., Elkabani, I.: An Unfolding-Based Semantics for Logic Programming with Aggregates. Computing Research Repository (2006) (cs.SE/0605038)
21. Son, T.C, Pontelli, E., Tu, P.H.: Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. Journal of Artificial Intelligence Research (Accepted 2007)
22. van Emden, M.H., Kowalski, R.A.: The Semantics of Predicate Logic as a Programming Language. Journal of the ACM 23(4), 733-742 (1976)