{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T02:37:43Z","timestamp":1725763063462},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319041315"},{"type":"electronic","value":"9783319041322"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-04132-2_7","type":"book-chapter","created":{"date-parts":[[2013,12,9]],"date-time":"2013-12-09T02:49:14Z","timestamp":1386557354000},"page":"87-103","source":"Crossref","is-referenced-by-count":1,"title":["Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems"],"prefix":"10.1007","author":[{"given":"Tran Cao","family":"Son","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiep","family":"Le","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/978-3-642-15675-5_30","volume-title":"Logics in Artificial Intelligence","author":"S.E.-D. Bairakdar","year":"2010","unstructured":"Bairakdar, S.E.-D., Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS, vol.\u00a06341, pp. 352\u2013355. Springer, Heidelberg (2010)"},{"key":"7_CR2","unstructured":"Balduccini, M., Gelfond, M.: The Language ASP{f} with arithmetic expressions and consistency-restoring rules. CoRR, abs\/1301.1387 (2013)"},{"key":"7_CR3","unstructured":"Brewka, G., Eiter, T.: Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. In: AAAI, pp. 385\u2013390 (2007)"},{"key":"7_CR4","unstructured":"Castro, L., Swift, T., Warren, D.: XASP: Answer Set Programming with XSB and Smodels. SUNY Stony Brook (2002), \n                  \n                    xsb.sourceforge.net\/packages\/xasp.pdf"},{"key":"7_CR5","unstructured":"Citrigno, S., et al.: The DLV system: Model generator and application frontends. In: WLP, pp. 128\u2013137 (1997)"},{"key":"7_CR6","unstructured":"Dao-Tran, M., et al.: Distributed nonmonotonic multi-context systems. In: KR. AAAI Press (2010)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-540-24836-1_11","volume-title":"Practical Aspects of Declarative Languages","author":"O. Elkhatib","year":"2004","unstructured":"Elkhatib, O., Pontelli, E., Son, T.C.: ASP-Prolog: A System for Reasoning about Answer Set Programs in Prolog. In: Jayaraman, B. (ed.) PADL 2004. LNCS, vol.\u00a03057, pp. 148\u2013162. Springer, Heidelberg (2004)"},{"key":"7_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-540-72200-7_23","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Gebser","year":"2007","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: clasp: A conflict-driven answer set solver. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 260\u2013265. Springer, Heidelberg (2007)"},{"key":"7_CR9","unstructured":"Gelfond, M., Gabaldon, A.: From functional specifications to logic programs. In: ILPS, pp. 355\u2013370. MIT Press (1997)"},{"key":"7_CR10","unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: ICLP, pp. 579\u2013597 (1990)"},{"key":"7_CR11","unstructured":"Lifschitz, V., Turner, H.: Splitting a logic program. In: ICLP, pp. 23\u201338. MIT Press (1994)"},{"key":"7_CR12","unstructured":"Maddison, W., Maddison, D.: MacClade 4: Analysis of Phylogeny and Character Evolution. Sinauer (2000)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Marek, V., Truszczy\u0144ski, M.: Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm, pp. 375\u2013398. Springer (1999)","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-642-20895-9_38","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"N.-H. Nguyen","year":"2011","unstructured":"Nguyen, N.-H., Son, T.C., Pontelli, E., Sakama, C.: ASP-prolog for negotiation among dishonest agents. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol.\u00a06645, pp. 331\u2013344. Springer, Heidelberg (2011)"},{"issue":"3,4","key":"7_CR15","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":"7_CR16","unstructured":"Pontelli, E., et al.: ASP at Work: An ASP Implementation of PhyloWS. In: ICLP. LIPICs (2012)"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1007\/978-3-642-20832-4_28","volume-title":"Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning","author":"E. Pontelli","year":"2011","unstructured":"Pontelli, E., Son, T.C., Nguyen, N.-H.: Combining Answer Set Programming and Prolog: the ASP-Prolog System. In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS, vol.\u00a06565, pp. 452\u2013472. Springer, Heidelberg (2011)"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0169-5347(97)01242-1","volume":"13","author":"M. Sanderson","year":"1998","unstructured":"Sanderson, M., Purvis, A., Henze, C.: Phylogenetic Supertrees: Assembling the Trees of Life. Trends Ecol. Evol.\u00a013, 105\u2013109 (1998)","journal-title":"Trends Ecol. Evol."},{"key":"7_CR19","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0166-218X(00)00202-X","volume":"105","author":"C. Semple","year":"2000","unstructured":"Semple, C., Steel, M.: A Supertree Method for Rooted Trees. Di. Ap. Math.\u00a0105, 147\u2013158 (2000)","journal-title":"Di. Ap. Math."},{"issue":"1-2","key":"7_CR20","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P. Simons","year":"2002","unstructured":"Simons, P., Niemel\u00e4, N., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence\u00a0138(1-2), 181\u2013234 (2002)","journal-title":"Artificial Intelligence"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-16867-3_1","volume-title":"Computational Logic in Multi-Agent Systems","author":"T.C. Son","year":"2010","unstructured":"Son, T.C., Pontelli, E., Nguyen, N.-H.: Planning for multiagent using ASP-Prolog. In: Dix, J., Fisher, M., Nov\u00e1k, P. (eds.) CLIMA X. LNCS, vol.\u00a06214, pp. 1\u201321. Springer, Heidelberg (2010)"},{"issue":"5","key":"7_CR22","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1109\/69.729707","volume":"10","author":"M. Yokoo","year":"1998","unstructured":"Yokoo, M., et al.: The Distributed Constraint Satisfaction Problem: Formalization and Algorithms. IEEE Transactions on Knowledge and Data Engineering\u00a010(5), 673\u2013685 (1998)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"2","key":"7_CR23","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1023\/A:1010078712316","volume":"3","author":"M. Yokoo","year":"2000","unstructured":"Yokoo, M., Hirayama, K.: Algorithms for Distributed Constraint Satisfaction: A Review. Autonomous Agents and Multi-Agent Systems\u00a03(2), 185\u2013207 (2000)","journal-title":"Autonomous Agents and Multi-Agent Systems"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-04132-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T08:26:21Z","timestamp":1558772781000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-04132-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319041315","9783319041322"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-04132-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}