{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:15:19Z","timestamp":1748664919431,"version":"3.41.0"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319255231"},{"type":"electronic","value":"9783319255248"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25524-8_28","type":"book-chapter","created":{"date-parts":[[2015,10,21]],"date-time":"2015-10-21T22:57:56Z","timestamp":1445468276000},"page":"449-466","source":"Crossref","is-referenced-by-count":0,"title":["Multi-context Systems with Preferences"],"prefix":"10.1007","author":[{"given":"Tiep","family":"Le","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tran Cao","family":"Son","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,28]]},"reference":[{"key":"28_CR1","unstructured":"Arrow, K.J., Sen, A., Suzumura, K.: Handbook of Social Choice and Welfare, vol. 2. North Holland, Elsevier (2011)"},{"key":"28_CR2","unstructured":"Aschinger, M., Drescher, C., Vollmer, H.: Loco \u2013 a logic for configuration problems. In: Proceedings of ECAI 2012 (2012)"},{"key":"28_CR3","unstructured":"Baker, A., Ginsberg, M.: A theorem prover for prioritized circumscription. In: Proceedingsof IJCAI 1989, pp. 463\u2013467 (1989)"},{"key":"28_CR4","unstructured":"Balduccini, M., Gelfond, M.: Logic Programs with Consistency-Restoring Rules, March 2003"},{"key":"28_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BFb0021977","volume-title":"Logics in Artificial Intelligence","author":"G Brewka","year":"1994","unstructured":"Brewka, G.: Adding priorities and specificity to default logic. In: MacNish, C., Pearce, D., Pereira, L.M. (eds.) JELIA \u201994. LNCS, vol. 838, pp. 247\u2013260. Springer, Heidelberg (1994)"},{"key":"28_CR6","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/S0004-3702(99)00015-6","volume":"109","author":"G Brewka","year":"1999","unstructured":"Brewka, G., Eiter, T.: Preferred answer sets for extended logic programs. Artificial Intelligence 109, 297\u2013356 (1999)","journal-title":"Artificial Intelligence"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"Brewka, G., Eiter, T.: Prioritizing default logic. In: Intellectics and Computational Logic, Applied Logic Series, vol. 19, pp. 27\u201345. Kluwer (2000)","DOI":"10.1007\/978-94-015-9383-0_3"},{"key":"28_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11881216_1","volume-title":"Current Topics in Artificial Intelligence","author":"G Brewka","year":"2006","unstructured":"Brewka, G.: Preferences in answer set programming. In: Mar\u00edn, R., Onaind\u00eda, E., Bugar\u00edn, A., Santos, J. (eds.) CAEPIA 2005. LNCS (LNAI), vol. 4177, pp. 1\u201310. Springer, Heidelberg (2006)"},{"key":"28_CR9","unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: Proceedings of AAAI 2007, pp. 385\u2013390 (2007)"},{"key":"28_CR10","unstructured":"Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: Proceedings of IJCAI 2011, pp. 786\u2013791. AAAI Press (2011)"},{"key":"28_CR11","unstructured":"Brewka, G., Niemel\u00e4, I., Truszczynski, M.: Answer set optimization. In: Proceedings of IJCAI 2003, pp. 867\u2013872 (2003)"},{"key":"28_CR12","unstructured":"Brewka, G., Roelofsen, F., Serafini, L.: Contextual default reasoning. In: Proceedings of IJCAI 2007, pp. 268\u2013273 (2007)"},{"key":"28_CR13","unstructured":"Citrigno, S., Eiter, T., Faber, W., Gottlob, G., Koch, C., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The dlv system: model generator and application frontends. In: Proceedings of the 12th Workshop on Logic Programming WLP, pp. 128\u2013137, September 1997"},{"key":"28_CR14","unstructured":"Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Distributed nonmonotonic multi-context systems. In: Proceedings of KR 2010 (2010)"},{"issue":"2","key":"28_CR15","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1017\/S1471068402001539","volume":"3","author":"J Delgrande","year":"2003","unstructured":"Delgrande, J., Schaub, T., Tompits, H.: A framework for compiling preferences in logic programs. Theory and Practice of Logic Programming 3(2), 129\u2013187 (2003)","journal-title":"Theory and Practice of Logic Programming"},{"key":"28_CR16","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/S0004-3702(00)00049-7","volume":"123","author":"J Delgrande","year":"2000","unstructured":"Delgrande, J., Schaub, T.: Expressing preferences in default logic. Artificial Intelligence 123, 41\u201387 (2000)","journal-title":"Artificial Intelligence"},{"key":"28_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-642-20895-9_5","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C Drescher","year":"2011","unstructured":"Drescher, C., Eiter, T., Fink, M., Krennwallner, T., Walsh, T.: Symmetry breaking for distributed multi-context systems. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 26\u201339. Springer, Heidelberg (2011)"},{"key":"28_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-642-15675-5_14","volume-title":"Logics in Artificial Intelligence","author":"T Eiter","year":"2010","unstructured":"Eiter, T., Fink, M., Weinzierl, A.: Preference-based inconsistency assessment in multi-context systems. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 143\u2013155. Springer, Heidelberg (2010)"},{"key":"28_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","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. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 200\u2013212. Springer, Heidelberg (2004)"},{"key":"28_CR20","series-title":"Lecture Notes in Computer Science (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. 4483, pp. 260\u2013265. Springer, Heidelberg (2007)"},{"key":"28_CR21","unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Proceedings of the Seventh International Conference, pp. 579\u2013597 (1990)"},{"key":"28_CR22","doi-asserted-by":"crossref","unstructured":"Gelfond, M., Son, T.C.: Prioritized default theory. In: Selected Papers from the Workshop on Logic Programming and Knowledge Representation 1997, pp. 164\u2013223 (1998)","DOI":"10.1007\/BFb0054795"},{"issue":"1","key":"28_CR23","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0004-3702(94)90037-X","volume":"65","author":"F Giunchiglia","year":"1994","unstructured":"Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics, or: How we can do without modal logics. Artif. Intell. 65(1), 29\u201370 (1994)","journal-title":"Artif. Intell."},{"key":"28_CR24","doi-asserted-by":"crossref","unstructured":"Lierler, Y., Truszczynski, M.: An abstract view on modularity in knowledge representation. In: Proceedings of AAAI 2015 (2015)","DOI":"10.1609\/aaai.v29i1.9390"},{"issue":"12","key":"28_CR25","doi-asserted-by":"publisher","first-page":"1030","DOI":"10.1145\/33447.33448","volume":"30","author":"J McCarthy","year":"1987","unstructured":"McCarthy, J.: Generality in artificial intelligence. Commun. ACM 30(12), 1030\u20131035 (1987). http:\/\/doi.acm.org\/10.1145\/33447.33448","journal-title":"Commun. ACM"},{"key":"28_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/3-540-46767-X_23","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"I Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I., Simons, P., Soininen, T.: Stable model semantics for weight constraint rules. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) Logic Programming and Nonmonotonic Reasoning. LNCS, vol. 1730, pp. 317\u2013331. Springer, Heidelberg (1999)"},{"key":"28_CR27","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-540-24609-1_19","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"N Pelov","year":"2003","unstructured":"Pelov, N., Denecker, M., Bruynooghe, M.: Partial stable models for logic programs with aggregates. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol. 2923, pp. 207\u2013219. Springer, Heidelberg (2003)"},{"issue":"3","key":"28_CR28","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1093\/logcom\/exn012","volume":"19","author":"MS Pini","year":"2009","unstructured":"Pini, M.S., Rossi, F., Venable, K.B., Walsh, T.: Aggregating partially ordered preferences. J. Log. Comput. 19(3), 475\u2013502 (2009)","journal-title":"J. Log. Comput."},{"key":"28_CR29","doi-asserted-by":"crossref","unstructured":"Pozza, G.D., Rossi, F., Venable, K.B.: Multi-agent soft constraint aggregation - A sequential approach. In: Proceedings of ICAART 2011, pp. 277\u2013282 (2011)","DOI":"10.5220\/0003156602770282"},{"key":"28_CR30","unstructured":"Roelofsen, F., Serafini, L.: Minimal and absent information in contexts. In: Proceedings of IJCAI 2005 (2005)"},{"issue":"03","key":"28_CR31","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1017\/S1471068406002936","volume":"7","author":"T Son","year":"2007","unstructured":"Son, T., Pontelli, E.: A Constructive Semantic Characterization of Aggregates in Answer Set. Theory and Practice of Logic Programming 7(03), 355\u2013375 (2007)","journal-title":"Theory and Practice of Logic Programming"},{"key":"28_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-319-04132-2_7","volume-title":"Practical Aspects of Declarative Languages","author":"TC Son","year":"2014","unstructured":"Son, T.C., Pontelli, E., Le, T.: Two applications of the ASP-Prolog system: decomposable programs and multi-context systems. In: Flatt, M., Guo, H.-F. (eds.) PADL 2014. LNCS, vol. 8324, pp. 87\u2013103. Springer, Heidelberg (2014)"},{"key":"28_CR33","unstructured":"Tasharrofi, S., Ternovska, E.: Generalized multi-context systems. In: Proceedings of KR 2014 (2014)"},{"key":"28_CR34","unstructured":"Xia, L., Conitzer, V., Lang, J.: Aggregating preferences in multi-issue domains by using maximum likelihood estimators. In: Proceedings of (AAMAS 2010), pp. 399\u2013408 (2010)"}],"container-title":["Lecture Notes in Computer Science","PRIMA 2015: Principles and Practice of Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25524-8_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T02:59:28Z","timestamp":1748660368000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25524-8_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319255231","9783319255248"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25524-8_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}