{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:24Z","timestamp":1725490224105},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540746089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74610-2_20","type":"book-chapter","created":{"date-parts":[[2007,8,24]],"date-time":"2007-08-24T02:33:31Z","timestamp":1187922811000},"page":"286-301","source":"Crossref","is-referenced-by-count":8,"title":["Logic Programs with Abstract Constraint Atoms: The Role of Computations"],"prefix":"10.1007","author":[{"given":"Lengning","family":"Liu","sequence":"first","affiliation":[]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[]},{"given":"Tran Cao","family":"Son","sequence":"additional","affiliation":[]},{"given":"Miros\u0142aw","family":"Truszczy\u0144ski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Balduccini, M., Gelfond, M., Nogueira, M.: Answer Set Based Design of Knowledge Systems. Annals of Mathematics and Artificial Intelligence (2006)","DOI":"10.1007\/s10472-006-9026-1"},{"key":"20_CR2","unstructured":"Dell\u2019Armi, T., et al.: Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. In: IJCAI, pp. 847\u2013852 (2003)"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/3-540-45635-X_22","volume-title":"Logic Programming","author":"M. Denecker","year":"2001","unstructured":"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.\u00a02237, pp. 212\u2013226. Springer, Heidelberg (2001)"},{"key":"20_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/978-3-540-27775-0_6","volume-title":"Logic Programming","author":"I. Elkabani","year":"2004","unstructured":"Elkabani, I., Pontelli, E., Son, T.C.: Smodels with CLP and its applications. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol.\u00a03132, pp. 73\u201389. Springer, Heidelberg (2004)"},{"issue":"5","key":"20_CR5","first-page":"539","volume":"6","author":"E. Erdem","year":"2006","unstructured":"Erdem, E., Lifschitz, V., Ringe, D.: Temporal phylogenetic networks and logic programming. TPLP\u00a06(5), 539\u2013558 (2006)","journal-title":"TPLP"},{"key":"20_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30227-8_19","volume-title":"Logics in Artificial Intelligence","author":"W. Faber","year":"2004","unstructured":"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.\u00a03229, pp. 200\u2013212. Springer, Heidelberg (2004)"},{"key":"20_CR7","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/11546207_10","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"P. Ferraris","year":"2005","unstructured":"Ferraris, P.: Answer sets for propositional theories. In: Logic Programming and Nonmonotonic Reasoning, pp. 119\u2013131. Springer, Heidelberg (2005)"},{"key":"20_CR8","first-page":"1070","volume-title":"Joint Int. Conf. and Symp. on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Joint Int. Conf. and Symp. on Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"20_CR9","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/3-540-45632-5_16","volume-title":"Computational Logic: Logic Programming and Beyond","author":"M. Gelfond","year":"2002","unstructured":"Gelfond, M.: Representing Knowledge in A-Prolog. In: Computational Logic: Logic Programming and Beyond, pp. 413\u2013451. Springer, Heidelberg (2002)"},{"issue":"4,5","key":"20_CR10","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1017\/S1471068403001790","volume":"3","author":"K. Heljanko","year":"2003","unstructured":"Heljanko, K., Niemel\u00e4, I.: Bounded LTL model checking with stable models. Theory and Practice of Logic Programming\u00a03(4,5), 519\u2013550 (2003)","journal-title":"Theory and Practice of Logic Programming"},{"key":"20_CR11","unstructured":"Liu, L., Truszczy\u0144ski, M.: Properties of programs with monotone and convex constraints. In: National Conference on Artificial Intelligence, pp. 701\u2013706, AAAI\/MIT Press (2005)"},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/S0168-0072(98)00041-4","volume":"96","author":"V.W. Marek","year":"1999","unstructured":"Marek, V.W., Nerode, A., Remmel, J.: Logic Programs, Well-orderings, and Forward Chaining. Annals of Pure and Applied Logic\u00a096, 231\u2013276 (1999)","journal-title":"Annals of Pure and Applied Logic"},{"key":"20_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02906-0","volume-title":"Nonmonotonic Logic: Context-Dependent Reasoning","author":"V.W. Marek","year":"1993","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Nonmonotonic Logic: Context-Dependent Reasoning. Springer, Heidelberg (1993)"},{"key":"20_CR14","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm","author":"V.W. Marek","year":"1999","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm, pp. 375\u2013398. Springer, Heidelberg (1999)"},{"key":"20_CR15","first-page":"167","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"V.W. Marek","year":"2004","unstructured":"Marek, V.W., Remmel, J.B.: Set constraints in logic programming. In: Logic Programming and Nonmonotonic Reasoning, pp. 167\u2013179. Springer, Heidelberg (2004)"},{"key":"20_CR16","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Logic programs with abstract constraint atoms. In: National Conference on Artificial Intelligence (AAAI) AAAI Press \/ The MIT Press (2004)"},{"issue":"3,4","key":"20_CR17","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programming with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence\u00a025(3,4), 241\u2013273 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"20_CR18","unstructured":"Pelov, N.: Semantic of Logic Programs with Aggregates. PhD thesis, K.U. Leuven (2004)"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Son, T.C., Pontelli, E.: A Constructive Semantic Characterization of Aggregates in Answer Set Programming. Theory and Practice of Logic Programming (2007)","DOI":"10.1017\/S1471068406002936"},{"key":"20_CR20","unstructured":"Son, T.C., Pontelli, E., Elkabani, I.: An Unfolding-Based Semantics for Logic Programming with Aggregates. Computing Research Repository (2006) (cs.SE\/0605038)"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1613\/jair.2171"},{"issue":"4","key":"20_CR22","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"van Emden, M.H., Kowalski, R.A.: The Semantics of Predicate Logic as a Programming Language. Journal of the ACM\u00a023(4), 733\u2013742 (1976)","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74610-2_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:30:08Z","timestamp":1619519408000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74610-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540746089"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74610-2_20","relation":{},"subject":[]}}