Answer sets for logic programs with arbitrary abstract constraint atoms

Journal of Artificial Intelligence Research

Volumn 29, Issue , 2007, Pages 353-389

  Son, Tran Cao ^a   Pontelli, Enrico ^a   Tu, Phan Huy ^a  

^a New Mexico State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONFORMAL MAPPING; CONSTRAINT THEORY; FAILURE ANALYSIS; MODEL CHECKING; SEMANTICS; SET THEORY; THEOREM PROVING;

LEVEL MAPPING; MONOTONE C-ATOMS; THEOREM GENERALIZATION;

LOGIC PROGRAMMING;

EID: 34748836351     PISSN: None     EISSN: 10769757     Source Type: Journal    
DOI: 10.1613/jair.2171     Document Type: Article

References (30)

1. Banti, F., Alferes, J. J., Brogi, A., & Hitzler, P. (2005). The well supported semantics for multidimensional dynamic logic programs.. In Baral, C., Greco, G., Leone, N., & Terracina, G. (Eds.), Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR, 2005, Diamante, Italy, September 5-8, 2005, Proceedings, Vol. 3662 of Lecture Notes in Computer Science, pp. 356-368. Springer.
2. Baral, C. (2003). Knowledge Representation, reasoning, and declarative problem solving with Answer sets. Cambridge University Press, Cambridge, MA.
3. Baral, C. (2005). From Knowledge to Intelligence -Building Blocks and Applications.. Invited Talk, AAAI, www.public.asu.edu/~cbaral/aaai05-invited- talk.ppt.
4. Dell'Armi, T., Faber, W., Ielpa, G., Leone, N., & Pfeifer, G. (2003). Aggregate Functions in Disjunctive Logic Programming: Semantics,Complexity,and Implementation in DLV. In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI) 2003, pp. 847-852.
5. Denecker, M., Pelov, N., & Bruynooghe, M. (2001). Ultimate well-founded and stable semantics for logic programs with aggregates.. In Codognet, P. (Ed.), Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, Vol. 2237 of Lecture Notes in Computer Science, pp. 212-226. Springer.
6. Eiter, T., Leone, N., Mateis, C., Pfeifer, G., & Scarcello, F. (1998). The KR System dlv: Progress Report, Comparisons, and Benchmarks. In International Conference on Principles of Knowledge Representation and Reasoning, pp. 406-417.
7. Elkabani, I., Pontelli, E., & Son, T. C. (2004). Smodels with CLP and its applications: A simple and effective approach to aggregates in asp.. In Demoen, B., & Lifschitz, V. (Eds.), Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings, Vol. 3132 of Lecture Notes in Computer Science, pp. 73-89. Springer.
8. A - A System for Computing Answer Sets of Logic Programs with Aggregates.. In Baral, C., Greco, G., Leone, N., & Terracina, G. (Eds.), Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings, Vol. 3662 of Lecture Notes in Computer Science, pp. 427-431. Springer.
9. Faber, W., Leone, N., & Pfeifer, G. (2004). Recursive aggregates in disjunctive logic programs: Semantics and complexity.. In Alferes, J. J. , & Leite, J. A. (Eds.), Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, Vol. 3229 of Lecture Notes in Computer Science, pp. 200-212. Springer.
10. Fages, F. (1994). Consistency of Clark's completion and existence of stable models. Methods of Logic in Computer Science, pp. 51-60.
11. Ferraris, P. (2005). Answer sets for propositional theories.. In Baral, C., Greco, G., Leone, N., & Terracina, G. (Eds.), Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings, Vol. 3662 of Lecture Notes in Computer Science, pp. 119-131. Springer.
12. Gelder, A. V. (1992). The well-founded semantics of aggregation.. In Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 2-4, 1992, San Diego, California, pp. 127-138. ACM Press.
13. Gelfond, M., & Leone, N. (2002). Logic programming and knowledge representation - the A-Prolog perspective. Artificial Intelligence, 138(1-2), 3-38.
14. Gelfond, M., Lifschitz, V. (1988). The stable model semantics for logic programming. In Kowalski, R., & Bowen, K. (Eds.), Logic Programming: Proceedings of the Fifth International Conf. and Symp., pp. 1070-1080.
15. Gelfond, M. (2002). Representing Knowledge in A-Prolog. In Kakas, A., & Sadri, F. (Eds.), Computational Logic: Logic Programming and Beyond, pp. 413-451. Springer Verlag.
16. Hitzler, P., & Wendt, M. (2005). A uniform approach to logic programming semantics. Theory and Practice of Logic Programming, 5(1-2), 123-159.
17. Kemp, D. B., & Stuckey, P. J. (1991). Semantics of logic programs with aggregates.. In Saraswat, V. A , & Ueda, K. (Eds.), Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, pp. 387-401. MIT Press.
18. Liu, L., & Truszczyński, M. (2005a). Pbmodels - software to compute stable models by pseudoboolean solvers.. In Baral, C., Greco, G., Leone, N., & Terracina, G. (Eds.), Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LP-NMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings, Vol. 3662 of Lecture Notes in Computer Science, pp. 410-415.
19. Liu, L., & Truszczyński, M. (2005b). Properties of programs with monotone and convex constraints.. In Veloso, M. M., & Kambhampati, S. (Eds.), Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA, pp. 701-706. AAAI Press AAAI Press / The MIT Press.
20. Marek, V. W., & Remmel, J. B. (2004). Set constraints in logic programming. In Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings, Vol. 2923 of Lecture Notes in Computer Science, pp. 167-179. Springer Verlag.
21. Marek, V. W., & Truszczyński, M. (1999). Stable Models as an Alternative Logic Programming Paradigm.. In The Logic Programming Paradigm, Springer Verlag.
22. Marek, V. W., & Truszczyński, M. (2004). Logic programs with abstract constraint atoms.. In Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, July 25-29, 2004, San Jose, California, USA. AAAI Press / The MIT Press.
23. Mumick, I. S., Pirahesh, H., & Ramakrishnan, R. (1990). The magic of duplicates and aggregates.. In McLeod, D., Sacks-Davis, R., & Schek, H.-J. (Eds.), 16th International Conference on Very Large Data Bases, August 13-16, 1990, Brisbane, Queensland, Australia, Proceeding, pp. 264-277. Morgan Kaufmann.
24. Niemelä, I., (1999). Logic Programs with Stable Models as a Constraint Programming Paradigm.. In Annals of Math and AI, 25(3-4), 241-273.
25. Niemelä, I., Simons, P., & Soininen, T. (1999). Stable model semantics for weight constraint rules. In Proceedings of the 5th International Conference on on Logic Programming and Nonmonotonic Reasoning, pp. 315-332.
26. Pelov, N. (2004). Semantic of Logic Programs with Aggregates. Ph.D. thesis, Katholieke Universiteit Leuven. http : //www.cs.kuleuven.ac.be/ publicaties/doctoraten/cw/CW2004_02.abs.html.
27. Pelov, N., & Truszczyński, M. (2004). Semantics of disjunctive programs with monotone aggregates - an operator-based approach.. In Delgrande, J. P., & Schaub, T. (Eds.), 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 327-334.
28. Simons, P., Niemelä, N., & Soininen, T. (2002). Extending and Implementing the Stable Model Semantics. Artificial Intelligence, 138(1-2), 181-234.
29. Son, T. C., & Pontelli, E. (2007). A Constructive Semantic Characterization of Aggregates in Answer Set Programming. Theory and Practice of Logic Programming. 7(03), 355-375.
30. Son, T. C., Pontelli, E., & Elkabani, I. (2006). An Unfolding-Based Semantics for Logic Programming with Aggregates. Computing Research Repository. cs.SE/0605038.