Lparse programs revisited: Semantics and representation of aggregates

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

Volumn 5366 LNCS, Issue , 2008, Pages 347-361

  Liu, Guohua ^a   You, Jia Huai ^a  

^a UNIVERSITY OF ALBERTA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AGGREGATES; COMPUTER PROGRAMMING; FOURIER TRANSFORMS; LOGIC PROGRAMMING; PROGRAMMING THEORY; SEMANTICS; PROBLEM SOLVING;

COMPACT REPRESENTATIONS; LOGIC PROGRAMS; REPRESENTATION POWER; STABLE MODELING; WEIGHT CONSTRAINTS;

INFORMATION THEORY; SEMANTICS;

A-STABLE; COMPACT REPRESENTATION; LOGIC PROGRAMS; REPRESENTATION POWER; SMODELS; SMODELS SYSTEMS; WEIGHT CONSTRAINTS;

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

References (20)

1. Aggoun, A., Beldiceanu, N.: Extending CHIP in order to solve complex scheduling and placement problems. J. Mathematical and Computer Modelling 17(7), 57-73 (1993)
2. *. In: IJCAI 2003, pp. 847-852 (2003)
3. Calimeri, F., Faber, W., Leone, N., Perri, S.: Declarative and computational properties of logic programs with aggregates. In: IJCAI 2005, pp. 406-411 (2005)
4. A - a system for computing answer sets of logic programs with aggregates. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS, vol. 3662, pp. 427-431. Springer, Heidelberg (2005)
5. Faber, W., Leone, N., Pfeifer, G.: Recursive aggregates in disjunctive logic programs. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol. 3229, pp. 200-212. Springer, Heidelberg (2004)
6. Fages, F.: Consistency of Clark's completion and existence of stable models. J. Methods of Logic in Computer Science 1, 51-60 (1994)
7. Ferraris, P.: Answer sets for propositional theories. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS, vol. 3662, pp. 119-131. Springer, Heidelberg (2005)
8. Gebser, M., Liu, L., Namasivayam, G., Neumann, A., Schaub, T., Truszczyński, M.: The first answer set programming system competition. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS, vol. 4483, pp. 1-17. Springer, Heidelberg (2007)
9. 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)
10. Liu, L., Truszczyński, M.: Properties and applications of programs with monotone and convex constraints. J. Artificial Intelligence Research 7, 299-334 (2006)
11. Marek, V., Niemelä, I., Truszczyński, M.: Logic programs with monotone abstract constraint atoms. J. Theory and Practice of Logic Programming 8(2), 167-199 (2008)
12. Marek, V.W., Remmel, J.B.: Set constraints in logic programming. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS, vol. 2923, pp. 167-179. Springer, Heidelberg (2003)
13. Niemelä, I.: Logic programs with stable model semantics as a constraint programming paradigm. Annals of Math, and Artificial Intelligence 25(3-4), 241-273 (1999)
14. Pelov, N., Denecker, M., Bruynooghe, M.: Well-founded and stable semantics of logic programs with aggregates. J. Theory and Practice of Logic Programming 7, 301-353 (2007)
15. Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence 138(1-2), 181-234 (2002)
16. Son, T.C., Pontelli, E., Tu, PH.: Answer sets for logic programs with arbitrary abstract constraint atoms. J. Artificial Intelligence Research 29, 353-389 (2007)
17. Son, T.C., Pontelli, E.: A constructive semantic characterization of aggregates in answer set programming. J. Theory and Practice of Logic Programming 7, 355-375 (2006)
18. van Gelder, A., Ross, K., Schlipf, J.: The well-founded semantics for general logic programs. J. ACM 38(3), 620-650 (1991)
19. van Hoeve, W.-J., Katriel, I.: Global constraints. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, Ch. 7. Elsevier, Amsterdam (2006)
20. Wu, G., You, J., Lin, G.: Quartet based phylogeny reconstruction with answer set programming. IEEE/ACM Transactions on Computational Biology and Bioinformatics 4(1), 139-152 (2007)