{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T18:27:46Z","timestamp":1767637666622,"version":"3.48.0"},"reference-count":381,"publisher":"Maximum Academic Press","issue":"5","license":[{"start":{"date-parts":[[2015,10,30]],"date-time":"2015-10-30T00:00:00Z","timestamp":1446163200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Knowledge Engineering Review"],"published-print":{"date-parts":[[2015,11]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>Ambient intelligence (AmI) proposes pervasive information systems composed of autonomous agents embedded within the environment who, in orchestration, complement human activity in an intelligent manner. As such, it is an interesting and challenging application area for many computer science fields and approaches. A critical issue in such application scenarios is that the agents must be able to acquire, exchange, and evaluate knowledge about the environment, its users, and their activities. Knowledge populated between the agents in such systems may be contextually dependent, ambiguous, and incomplete. Conflicts may thus naturally arise, that need to be dealt with by the agents in an autonomous way. In this survey, we relate AmI to the area of knowledge representation and reasoning (KR), where conflict resolution has been studied for a long time. We take a look at a number of KR approaches that may be applied: context modelling, multi-context systems, belief revision, ontology evolution and debugging, argumentation, preferences, and paraconsistent reasoning. Our main goal is to describe the state of the art in these fields, and to draw attention of researchers to important theoretical issues and practical challenges that still need to be resolved, in order to reuse the results from KR in AmI systems or similar complex and demanding applications.<\/jats:p>","DOI":"10.1017\/s0269888915000132","type":"journal-article","created":{"date-parts":[[2015,10,30]],"date-time":"2015-10-30T07:50:13Z","timestamp":1446191413000},"page":"455-513","source":"Crossref","is-referenced-by-count":6,"title":["Resolving conflicts in knowledge for ambient intelligence"],"prefix":"10.48130","volume":"30","author":[{"given":"Martin","family":"Homola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Theodore","family":"Patkos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgos","family":"Flouris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e1n","family":"\u0160efr\u00e1nek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"\u0160imko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jozef","family":"Frt\u00fas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimitra","family":"Zografistou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Bal\u00e1\u017e","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"27968","published-online":{"date-parts":[[2015,10,30]]},"reference":[{"key":"S0269888915000132_ref378","unstructured":"Zhang Y. & Foo N. Y. 1997. Answer sets for prioritized logic programs. In Logic Programming, Proceedings of the 1997 International Symposium, 13\u201316 October, 69\u201383. MIT Press."},{"key":"S0269888915000132_ref376","first-page":"291","article-title":"Quasi-classical description logic","volume":"18","author":"Zhang","year":"2012","journal-title":"Multiple-Valued Logic and Soft Computing"},{"key":"S0269888915000132_ref380","unstructured":"Zhuang Z. Q. & Pagnucco M. 2012. Model based Horn contraction. In Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, 10\u201314 June. AAAI Press."},{"key":"S0269888915000132_ref375","unstructured":"Zelkha E. 1998. The future of information appliances and consumer devices. Palo Alto Ventures (unpublished document)."},{"key":"S0269888915000132_ref372","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888907001208"},{"key":"S0269888915000132_ref368","doi-asserted-by":"crossref","unstructured":"Wijsen J. 2009. Consistent query answering under primary keys: a characterization of tractable queries. In Database Theory\u2014ICDT 2009, 12th International Conference, 23\u201325 March, Proceedings, ACM ICPS 361, 42\u201352. ACM.","DOI":"10.1145\/1514894.1514900"},{"key":"S0269888915000132_ref363","doi-asserted-by":"crossref","unstructured":"Wang H. , Horridge M. , Rector A. L. , Drummond N. & Seidenberg J. 2005. Debugging OWL-DL ontologies: a heuristic approach. In The Semantic Web\u2014ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, 6\u201310 November, Proceedings, LNCS 3729, 745\u2013757. Springer.","DOI":"10.1007\/11574620_53"},{"key":"S0269888915000132_ref361","doi-asserted-by":"crossref","unstructured":"Van Gelder A. , Ross K. A. & Schlipf J. S. 1988. Unfounded sets and well-founded semantics for general logic programs. In Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 21\u201323 March, 221\u2013230. ACM.","DOI":"10.1145\/308386.308444"},{"key":"S0269888915000132_ref358","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/978-3-540-39733-5_6","article-title":"OntoEdit: multifaceted inferencing for ontology engineering","volume":"1","author":"Sure","year":"2003","journal-title":"Journal on Data Semantics"},{"key":"S0269888915000132_ref354","doi-asserted-by":"publisher","DOI":"10.1145\/2000824.2000829"},{"volume-title":"Knowledge representation: logical, philosophical, and computational foundations","year":"2000","author":"Sowa","key":"S0269888915000132_ref351"},{"key":"S0269888915000132_ref349","unstructured":"Son T. C. & Lobo J. 2001. Reasoning about policies using logic programs. In Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st International ASP\u201901 Workshop, 26\u201328 March. AAAI."},{"key":"S0269888915000132_ref345","doi-asserted-by":"publisher","DOI":"10.1007\/s12652-009-0007-1"},{"key":"S0269888915000132_ref342","doi-asserted-by":"crossref","unstructured":"Serfiotis G. , Koffina I. , Christophides V. & Tannen V. 2005. Containment and minimization of RDF\/S query patterns. In The Semantic Web\u2014ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, 6\u201310 November, Proceedings, LNCS 3729, 607\u2013623. Springer.","DOI":"10.1007\/11574620_44"},{"key":"S0269888915000132_ref340","doi-asserted-by":"crossref","unstructured":"Serafini L. & Tamilin A. 2005. DRAGO: distributed reasoning architecture for the semantic web. In The Semantic Web: Research and Applications, Second European Semantic Web Conference, ESWC 2005, 29 May\u20131 June, Proceedings, LNCS 3532, 361\u2013376. Springer.","DOI":"10.1007\/11431053_25"},{"key":"S0269888915000132_ref339","unstructured":"Serafini L. & Tamilin A. 2004. Local tableaux for reasoning in distributed description logics. In Proceedings of the 2004 International Workshop on Description Logics (DL2004), 6\u20138 June, CEUR Workshop Proceedings 104."},{"key":"S0269888915000132_ref335","unstructured":"\u0160efr\u00e1nek J. 2008. Preferred answer sets supported by arguments. In Proceedings of the Twelfth International Workshop on Non-Monotonic Reasoning, UNSW-CSE-TR 819, 232\u2013240. The University of New South Wales, School of Computer Science and Engineering."},{"key":"S0269888915000132_ref331","unstructured":"Schaub T. & Wang K. 2002. Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report. In 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 19\u201321 April, Proceedings, 238\u2013246."},{"key":"S0269888915000132_ref326","doi-asserted-by":"publisher","DOI":"10.1145\/1978802.1978815"},{"key":"S0269888915000132_ref324","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/12.3.413"},{"key":"S0269888915000132_ref323","doi-asserted-by":"crossref","unstructured":"Rugnone A. , Vicario E. , Nugent C. D. , Donnelly M. P. , Craig D. , Paggetti C. & Tamburini E. 2007 HomeTL: a visual formalism, based on temporal logic, for the design of home based care. In IEEE Conference on Automation Science and Engineering, CASE 2007, 22\u201325 September, 747\u2013752. IEEE.","DOI":"10.1109\/COASE.2007.4341725"},{"key":"S0269888915000132_ref320","unstructured":"Roussakis Y. , Flouris G. & Christophides V. 2011. Declarative repairing policies for curated KBs. In Proceedings of the 10th Hellenic Data Management Symposium (HDMS-11)."},{"key":"S0269888915000132_ref319","doi-asserted-by":"publisher","DOI":"10.1007\/BF00203386"},{"key":"S0269888915000132_ref318","unstructured":"Rotstein N. D. , Moguillansky M. O. , Garca A. J. & Simari G. R. 2010. A dynamic argumentation framework. In Computational Models of Argument: Proceedings of COMMA 2010, 8\u201310 September, FAIA 216, 427\u2013438. IOS Press."},{"key":"S0269888915000132_ref317","unstructured":"Roger M. , Simonet A. & Simonet M. 2002. Toward updates in description logics. In Proceedings of the 9th International Workshop on Knowledge Representation Meets Databases (KRDB 2002), 21 April, CEUR Workshop Proceedings, 54."},{"key":"S0269888915000132_ref313","unstructured":"Rock A. 2009. Deimos: Query Answering Defeasible Logic System. Technical report, Griffith University, School of Computing and Information Technology. http:\/\/www.ict.griffith.edu.au\/arock\/defeasible\/doc\/Deimos-long.pdf, http:\/\/www.ict.griffith.edu.au\/arock\/defeasible\/Defeasible.cgi."},{"key":"S0269888915000132_ref348","unstructured":"Snaith M. & Reed C. 2012 TOAST: online ASPIC+ implementation. In Computational Models of Argument, Proceedings of COMMA 2012, 10\u201312 September, FAIA 245, 509\u2013510. IOS Press."},{"key":"S0269888915000132_ref311","doi-asserted-by":"crossref","unstructured":"Riboni D. , Pareschi L. , Radaelli L. & Bettini C. 2011. Is ontology-based activity recognition really effective? In Ninth Annual IEEE International Conference on Pervasive Computing and Communications, PerCom, 21\u201325 March, Workshop Proceedings, 427\u2013431. IEEE.","DOI":"10.1109\/PERCOMW.2011.5766927"},{"key":"S0269888915000132_ref365","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2004.1321026"},{"key":"S0269888915000132_ref309","doi-asserted-by":"publisher","DOI":"10.1007\/s00779-010-0331-7"},{"key":"S0269888915000132_ref355","doi-asserted-by":"crossref","unstructured":"Stojanovic L. , Maedche A. , Motik B. & Stojanovic N. 2002. User-driven ontology evolution management. In Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, 13th International Conference, EKAW 2002, 1\u20134 October, Proceedings, LNCS 2473, 285\u2013300. Springer.","DOI":"10.1007\/3-540-45810-7_27"},{"key":"S0269888915000132_ref300","doi-asserted-by":"crossref","unstructured":"Qi G. , Wang Z. , Wang K. , Fu X. & Zhuang Z. 2015. Approximating model-based ABox revision in Dl-Lite: theory and practice. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 25\u201330 January, 254\u2013260. AAAI Press.","DOI":"10.1609\/aaai.v29i1.9200"},{"key":"S0269888915000132_ref298","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-007-9044-3"},{"key":"S0269888915000132_ref322","first-page":"123","volume-title":"Wearable eHealth Systems for Personalised Health Management","author":"Rubel","year":"2004"},{"key":"S0269888915000132_ref297","unstructured":"Qi G. & Du J. 2009. Model-based revision operators for terminologies in description logics. In IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, 11\u201317 July, 891\u2013897."},{"key":"S0269888915000132_ref296","unstructured":"Qi G. & Pan J. Z. 2007. A stratification-based approach for inconsistency handling in description logics. In Proceedings of the International Workshop on Ontology Dynamics (IWOD-07), Held as part of the 4th European Semantic Web Conference (ESWC-07), 7 June, 83\u201396. http:\/\/users.ics.forth.gr\/ fgeo\/files\/IWOD07Proc.pdf."},{"key":"S0269888915000132_ref294","first-page":"219","volume-title":"Handbook of Philosophical Logic","author":"Prakken","year":"2002"},{"key":"S0269888915000132_ref293","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.1997.10510900"},{"key":"S0269888915000132_ref289","doi-asserted-by":"crossref","first-page":"347","DOI":"10.3233\/AIS-2012-0157","article-title":"A constraint-based approach for proactive, context-aware human support","volume":"4","author":"Pecora","year":"2012","journal-title":"Journal of Ambient Intelligence and Smart Environments"},{"key":"S0269888915000132_ref286","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/8.3.261"},{"key":"S0269888915000132_ref285","unstructured":"Pajares Ferrando S. P. & Onaindia E. 2012. Defeasible argumentation for multi-agent planning in ambient intelligence applications. In International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, 4\u20138 June, 509\u2013516. IFAAMAS."},{"key":"S0269888915000132_ref332","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001844"},{"volume-title":"OWL 2 Web Ontology Language Document Overview","year":"2009","key":"S0269888915000132_ref284"},{"key":"S0269888915000132_ref278","doi-asserted-by":"crossref","unstructured":"Nogueira M. , Balduccini M. , Gelfond M. , Watson R. & Barry M. 2001. An A-Prolog decision support system for the space shuttle. In Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, 11\u201312 March, Proceedings, LNCS 1990, 169\u2013183. Springer.","DOI":"10.1007\/3-540-45241-9_12"},{"key":"S0269888915000132_ref316","unstructured":"Roelofsen F. & Serafini L. 2005. Minimal and absent information in contexts. In IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, 30 July\u20135 August, 558\u2013563. Professional Book Center."},{"key":"S0269888915000132_ref277","unstructured":"Niemel\u00e4 I. 1995. Towards efficient default reasoning. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, 20\u201325 August, 2 vols, 312\u2013318. Morgan Kaufmann."},{"key":"S0269888915000132_ref274","doi-asserted-by":"publisher","DOI":"10.1007\/s00779-010-0361-1"},{"key":"S0269888915000132_ref273","doi-asserted-by":"publisher","DOI":"10.2991\/978-94-91216-29-9_12"},{"key":"S0269888915000132_ref267","doi-asserted-by":"crossref","unstructured":"Moawad A. , Bikakis A. , Caire P. , Nain G. & Le Traon Y. 2013. A rule-based contextual reasoning platform for ambient intelligence environments. In Theory, Practice, and Applications of Rules on the Web\u20147th International Symposium, RuleML 2013, 11\u201313 July, Proceedings, LNCS 8035, 158\u2013172. Springer.","DOI":"10.1007\/978-3-642-39617-5_16"},{"key":"S0269888915000132_ref262","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn047"},{"key":"S0269888915000132_ref261","unstructured":"Meilicke C. , Stuckenschmidt H. & Tamilin A. 2007. Repairing ontology mappings. In Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 22\u201326 July, 1408\u20131413. AAAI Press."},{"key":"S0269888915000132_ref260","doi-asserted-by":"crossref","first-page":"253","DOI":"10.3233\/AIS-2010-0071","article-title":"Activity recognition using temporal evidence theory","volume":"2","author":"McKeever","year":"2010","journal-title":"Journal of Ambient Intelligence and Smart Environments"},{"key":"S0269888915000132_ref254","doi-asserted-by":"publisher","DOI":"10.1007\/BF00431184"},{"key":"S0269888915000132_ref253","unstructured":"Mailly J.-G. 2013. Dynamic of argumentation frameworks. In IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, 3\u20139 August. AAAI."},{"key":"S0269888915000132_ref249","unstructured":"Lukasiewicz T. , Martinez M. V. & Simari G. I. 2013. Preference-based query answering in datalog+\/- ontologies. In IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, 3\u20139 August. AAAI."},{"key":"S0269888915000132_ref248","doi-asserted-by":"crossref","first-page":"598","DOI":"10.1109\/TASE.2009.2021981","article-title":"Robust location-aware activity recognition using wireless sensor network in an attentive home","volume":"6","author":"Lu","year":"2009","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"S0269888915000132_ref247","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888905000263"},{"key":"S0269888915000132_ref246","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-96826-6"},{"key":"S0269888915000132_ref243","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2011.03.006"},{"key":"S0269888915000132_ref356","doi-asserted-by":"crossref","unstructured":"Straccia U. 1997. A sequent calculus for reasoning in four-valued description logics. In Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX \u201897, 13\u201316 May, Proceedings, LNCS 1227, 343\u2013357. Springer.","DOI":"10.1007\/BFb0027425"},{"key":"S0269888915000132_ref241","doi-asserted-by":"crossref","unstructured":"Letz R. 2002. Lemma and model caching in decision procedures for quantified Boolean formulas. In Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, 30 July\u20131 August, Proceedings, LNCS 2381, 160\u2013175. Springer.","DOI":"10.1007\/3-540-45616-3_12"},{"key":"S0269888915000132_ref236","doi-asserted-by":"crossref","unstructured":"Leite J. A. & Pereira L. M. 1998. Generalizing updates: from models to programs. In Logic Programming and Knowledge Representation, Third International Workshop, LPKR\u201997, 17 October, Selected Papers, LNCS 1471, 224\u2013246. Springer.","DOI":"10.1007\/BFb0054796"},{"volume-title":"Evolving Knowledge Bases","year":"2002","author":"Leite","key":"S0269888915000132_ref235"},{"key":"S0269888915000132_ref233","doi-asserted-by":"crossref","unstructured":"Lehmann J. & B\u00fchmann L. 2010. ORE\u2014a tool for repairing and enriching knowledge bases. In The Semantic Web\u2014ISWC 2010, 9th International Semantic Web Conference, ISWC 2010, 7\u201311 November, Revised Selected Papers, Part II, LNCS 6497, 177\u2013193. Springer.","DOI":"10.1007\/978-3-642-17749-1_12"},{"key":"S0269888915000132_ref232","doi-asserted-by":"crossref","unstructured":"Lee K. & Meyer T. 2004. A classification of ontology modification. In AI 2004: Advances in Artificial Intelligence, 17th Australian Joint Conference on Artificial Intelligence, 4\u20136 December, Proceedings, LNCS 3339, 248\u2013258. Springer.","DOI":"10.1007\/978-3-540-30549-1_23"},{"key":"S0269888915000132_ref231","doi-asserted-by":"crossref","unstructured":"L\u00e9cu\u00e9 F. , Schumann A. & Sbodio M. L. 2012. Applying semantic web technologies for diagnosing road traffic congestions. In The Semantic Web\u2014ISWC 2012, 11th International Semantic Web Conference, 11\u201315 November, Proceedings, Part II, LNCS 7650, 114\u2013130. Springer.","DOI":"10.1007\/978-3-642-35173-0_8"},{"key":"S0269888915000132_ref230","doi-asserted-by":"crossref","unstructured":"Lausen G. , Meier M. & Schmidt M. 2008. SPARQLing constraints for RDF. In EDBT 2008, 11th International Conference on Extending Database Technology, 25\u201329 March, Proceedings, ACM ICPS 261, 499\u2013509. ACM.","DOI":"10.1145\/1352431.1352492"},{"key":"S0269888915000132_ref228","doi-asserted-by":"crossref","unstructured":"Lam S. C. J. , Sleeman D. & Vasconcelos W. 2005b. Retax+: a cooperative taxonomy revision tool. In Applications and Innovations in Intelligent Systems XII Proceedings of AI-2004, the Twenty-Fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, 64\u201377. Springer.","DOI":"10.1007\/1-84628-103-2_5"},{"key":"S0269888915000132_ref226","first-page":"62","article-title":"A fine-grained approach to resolving unsatisfiable ontologies","volume":"10","author":"Lam","year":"2008","journal-title":"Journal on Data Semantics"},{"key":"S0269888915000132_ref225","unstructured":"Kutz O. , Lutz C. , Wolter F. & Zakharyaschev M. 2003. ${\\cal E} $ -connections of description logics. In Proceedings of the 2003 International Workshop on Description Logics (DL2003), 5\u20137 September, CEUR Workshop Proceedings, 81."},{"key":"S0269888915000132_ref266","doi-asserted-by":"crossref","unstructured":"Mileo A. , Merico D. & Bisiani R. 2008b. A logic programming approach to home monitoring for risk prevention in assisted living. In Logic Programming, 24th International Conference, ICLP 2008, 9\u201313 December, Proceedings, LNCS 5366, 145\u2013159. Springer.","DOI":"10.1007\/978-3-540-89982-2_20"},{"key":"S0269888915000132_ref224","unstructured":"Kutz O. , Wolter F. & Zakharyaschev M. 2002. Connecting abstract description systems. In Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 22\u201325 April, 215\u2013226. Morgan Kaufmann."},{"key":"S0269888915000132_ref222","doi-asserted-by":"crossref","unstructured":"Kr\u00fcmpelmann P. , Thimm M. , Falappa M. A. , Garca A. J. , Kern-Isberner G. & Simari G. R. 2012. Selective revision by deductive argumentation. In Theory and Applications of Formal Argumentation\u2014First International Workshop, TAFA 2011, 16\u201317 July, Revised Selected Papers, LNCS 7132, 147\u2013162. Springer.","DOI":"10.1007\/978-3-642-29184-5_10"},{"key":"S0269888915000132_ref221","doi-asserted-by":"crossref","unstructured":"K\u00f6ster M. , Nov\u00e1k P. , Mainzer D. & Fuhrmann B. 2009. Two case studies for Jazzyk BSM. In Agents for Games and Simulations, Trends in Techniques, Concepts and Design [AGS 2009, The First International Workshop on Agents for Games and Simulations, 11 May], LNCS 5920, 33\u201347. Springer.","DOI":"10.1007\/978-3-642-11198-3_3"},{"key":"S0269888915000132_ref251","doi-asserted-by":"crossref","unstructured":"Ma Y. , Hitzler P. & Lin Z. 2007. Algorithms for paraconsistent reasoning with OWL. In The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, 3\u20137 June, Proceedings, LNCS 4519, 399\u2013413. Springer.","DOI":"10.1007\/978-3-540-72667-8_29"},{"key":"S0269888915000132_ref218","unstructured":"Knox S. , Coyle L. & Dobson S. 2010. Using ontologies in case-based activity recognition. In Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, 19\u201321 May. AAAI Press."},{"key":"S0269888915000132_ref214","unstructured":"Katsuno H. & Mendelzon A. O. 1991. On the difference between updating a knowledge base and revising it. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR\u201991). 22\u201325 April, 387\u2013394. Morgan Kaufmann."},{"key":"S0269888915000132_ref213","unstructured":"Kaminski T. , Knorr M. & Leite J. 2015. Efficient paraconsistent reasoning with ontologies and rules. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, 25\u201331 July, 3098\u20133105. AAAI Press."},{"key":"S0269888915000132_ref210","unstructured":"Joseph M. & Serafini L. 2011. Simple reasoning for contextualized RDF knowledge. In Modular Ontologies\u2014Proceedings of the Fifth International Workshop, WoMO 2011, August, FAIA 230, 79\u201393. IOS Press."},{"key":"S0269888915000132_ref207","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010090405266"},{"key":"S0269888915000132_ref205","doi-asserted-by":"crossref","unstructured":"Inoue K. , Koshimura M. & Hasegawa R. 1992. Embedding negation as failure into a model generation theorem prover. In Automated Deduction\u2014CADE-11, 11th International Conference on Automated Deduction, 15\u201318 June, Proceedings, LNCS 607, 400\u2013415. Springer.","DOI":"10.1007\/3-540-55602-8_180"},{"key":"S0269888915000132_ref346","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2007.03.004"},{"key":"S0269888915000132_ref204","unstructured":"Information Society Technologies Advisory Group 2003. Ambient intelligence: from vision to reality. Report, ISTAG. ftp:\/\/ftp.cordis.europa.eu\/pub\/ist\/docs\/istag-ist2003_consolidated_report.pdf."},{"key":"S0269888915000132_ref341","unstructured":"Serafini L. , Borgida A. & Tamilin A. 2005. Aspects of distributed and modular ontology reasoning. In IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, 30 July\u20135 August, 570\u2013575."},{"key":"S0269888915000132_ref209","doi-asserted-by":"crossref","unstructured":"Jin Y. , Wang K. & Wen L. 2012. Possibilistic reasoning in multi-context systems: preliminary report. In PRICAI 2012: Trends in Artificial Intelligence\u201412th Pacific Rim International Conference on Artificial Intelligence, 3\u20137 September, Proceedings, LNCS 7458, 180\u2013193. Springer.","DOI":"10.1007\/978-3-642-32695-0_18"},{"key":"S0269888915000132_ref203","doi-asserted-by":"publisher","DOI":"10.1145\/292182.292187"},{"key":"S0269888915000132_ref202","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30597-2_7"},{"key":"S0269888915000132_ref201","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/10.5.677"},{"key":"S0269888915000132_ref200","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-023X(00)00019-7"},{"key":"S0269888915000132_ref199","unstructured":"Horrocks I. , Kutz O. & Sattler U. 2006. The even more irresistible SROIQ. In Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, 2\u20135 June, 57\u201367. AAAI Press."},{"key":"S0269888915000132_ref379","doi-asserted-by":"crossref","unstructured":"Zhuang Z. Q. & Pagnucco M. 2010. Horn contraction via epistemic entrenchment. In Logics in Artificial Intelligence\u201412th European Conference, JELIA 2010, 13\u201315 September, Proceedings, LNCS 6341, 339\u2013351. Springer.","DOI":"10.1007\/978-3-642-15675-5_29"},{"key":"S0269888915000132_ref198","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.05.003"},{"key":"S0269888915000132_ref307","unstructured":"Ribeiro M. M. & Wassermann R. 2007. Base revision in description logics\u2014preliminary results. In Proceedings of the International Workshop on Ontology Dynamics (IWOD-07), Held as part of the 4th European Semantic Web Conference (ESWC-07), 7 June, 69\u201382. http:\/\/users.ics.forth.gr\/ fgeo\/files\/IWOD07Proc.pdf."},{"key":"S0269888915000132_ref197","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/8.3.239"},{"key":"S0269888915000132_ref195","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2008.05.002"},{"key":"S0269888915000132_ref371","unstructured":"Yang Q. 2009. Activity recognition: linking low-level sensors to high-level intelligence. In IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, 11\u201317 July, 20\u201325."},{"key":"S0269888915000132_ref194","doi-asserted-by":"publisher","DOI":"10.1080\/08839510903448650"},{"key":"S0269888915000132_ref193","doi-asserted-by":"crossref","unstructured":"Homola M. & Patkos T. 2015. Different types of conflicting knowledge in AmI environments. In Knowledge Engineering and Knowledge Management\u2014EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, 24\u201328 November. Revised Selected Papers, LNCS 8982, 52\u201363. Springer.","DOI":"10.1007\/978-3-319-17966-7_5"},{"key":"S0269888915000132_ref191","doi-asserted-by":"crossref","unstructured":"Henricksen K. & Indulska J. 2004. Modelling and using imperfect context information. In 2nd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2004 Workshops), 14\u201317 March, 33\u201337. IEEE Computer Society.","DOI":"10.1109\/PERCOMW.2004.1276901"},{"key":"S0269888915000132_ref190","unstructured":"Helaoui R. , Riboni D. , Niepert M. , Bettini C. & Stuckenschmidt H. 2012. Towards activity recognition using probabilistic description logics. In Activity Context Representation: Techniques and Languages, Workshops at the Twenty-Sixth AAAI Conference on Artificial Intelligence, AAAI technical report WS-12-05, AAAI."},{"key":"S0269888915000132_ref189","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2011.08.004"},{"key":"S0269888915000132_ref188","doi-asserted-by":"publisher","DOI":"10.2307\/2694963"},{"key":"S0269888915000132_ref187","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1997.tb00736.x"},{"key":"S0269888915000132_ref181","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2007.34"},{"key":"S0269888915000132_ref180","unstructured":"Gutierrez C. , Hurtado C. A. & Vaisman A. A. 2006. The meaning of erasing in RDF under the Katsuno-Mendelzon approach. In Ninth International Workshop on the Web and Databases, WebDB 2006, 30 June."},{"key":"S0269888915000132_ref178","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2004.06.002"},{"key":"S0269888915000132_ref176","doi-asserted-by":"crossref","unstructured":"Grieco L. , Lembo D. , Rosati R. & Ruzzi M. 2005. Consistent query answering under key and exclusion dependencies: algorithms and experiments. In Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, 31 October\u20135 November, 792\u2013799. ACM.","DOI":"10.1145\/1099554.1099742"},{"key":"S0269888915000132_ref174","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/14.5.675"},{"key":"S0269888915000132_ref172","unstructured":"Gon\u00e7alves R. , Knorr M. & Leite J. 2014b. Evolving multi-context systems. In ECAI 2014\u201421st European Conference on Artificial Intelligence, 18\u201322 August, Including Prestigious Applications of Intelligent Systems (PAIS 2014), FAIA 263, 375\u2013380. IOS Press."},{"key":"S0269888915000132_ref170","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90037-X"},{"key":"S0269888915000132_ref166","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(88)90011-2"},{"key":"S0269888915000132_ref302","unstructured":"Rao A. S. & Georgeff M. P. 1991. Modeling rational agents within a BDI-architecture. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). 22\u201325 April, 473\u2013484. Morgan Kaufmann."},{"key":"S0269888915000132_ref165","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1988.tb00280.x"},{"key":"S0269888915000132_ref163","doi-asserted-by":"crossref","unstructured":"Ghidini C. & Serafini L. 2008. Mapping properties of heterogeneous ontologies. In Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, 4\u20136 September, Proceedings, LNCS 5253, 181\u2013193. Springer.","DOI":"10.1007\/978-3-540-85776-1_16"},{"key":"S0269888915000132_ref162","unstructured":"Ghidini C. & Serafini L. 1998. Distributed first order logics. In Frontiers of Combining Systems, FroCoS\u201998, Second International Workshop, 121\u2013140. Research Studies Press."},{"key":"S0269888915000132_ref160","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"S0269888915000132_ref159","unstructured":"Gelfond M. & Lifschitz V. 1988. The stable model semantics for logic programming. In Logic Programming, Proceedings of the Fifth International Conference and Symposium, 15\u201319 August, 1070\u20131080. MIT Press."},{"key":"S0269888915000132_ref158","unstructured":"G\u00e4rdenfors P. & Makinson D. 1988. Revisions of knowledge systems using epistemic entrenchment. In Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning About Knowledge, March, 83\u201395. Morgan Kaufmann."},{"key":"S0269888915000132_ref157","first-page":"24","article-title":"The dynamics of belief systems: foundations versus coherence theories","volume":"44","author":"G\u00e4rdenfors","year":"1990","journal-title":"Revue Internationale de Philosophie"},{"key":"S0269888915000132_ref156","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001674"},{"key":"S0269888915000132_ref367","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0991-94"},{"key":"S0269888915000132_ref155","unstructured":"Gabel T. , Sure Y. & Voelker J. 2004. KAON \u2013 ontology management infrastructure. SEKT informal deliverable D3.1.1.a. http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.1.5228 rep=rep1 type=pdf."},{"volume-title":"Many-Dimensional Modal Logics: Theory and Applications","year":"2003","author":"Gabbay","key":"S0269888915000132_ref154"},{"key":"S0269888915000132_ref152","doi-asserted-by":"crossref","unstructured":"Fuchs F. , Hochstatter I. , Krause M. & Berger M. 2005. A metamodel approach to context information. In 3rd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2005 Workshops), 8\u201312 March, 8\u201314. IEEE Computer Society.","DOI":"10.1109\/PERCOMW.2005.9"},{"key":"S0269888915000132_ref150","unstructured":"Flouris G. , Roussakis Y. , Poveda-Villalon M. , Mendes P. N. & Fundulaki I. 2012. Using provenance for quality assessment and repair in linked open data. In Proceedings of the 2nd Joint Workshop on Knowledge Evolution and Ontology Dynamics, in conjunction with the 11th International Semantic Web Conference (ISWC 2012), 12 November, CEUR Workshop Proceedings 890."},{"key":"S0269888915000132_ref147","unstructured":"Flouris G. , Huang Z. , Pan J. Z. , Plexousakis D. & Wache H. 2006a. Inconsistencies, negations and changes in ontologies. In Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, 16\u201320 July, 1295\u20131300. AAAI Press."},{"key":"S0269888915000132_ref146","doi-asserted-by":"crossref","unstructured":"Flouris G. , Plexousakis D. & Antoniou G. 2005. On applying the AGM theory to DLs and OWL. In The Semantic Web\u2014ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, 6\u201310 November, Proceedings, LNCS 3729, 216\u2013231. Springer.","DOI":"10.1007\/11574620_18"},{"key":"S0269888915000132_ref177","doi-asserted-by":"publisher","DOI":"10.1007\/BF00247909"},{"key":"S0269888915000132_ref144","doi-asserted-by":"crossref","unstructured":"Flouris G. & Plexousakis D. 2006. Bridging ontology evolution and belief change. In Advances in Artificial Intelligence, 4th Helenic Conference on AI, SETN 2006, 18\u201320 May, Proceedings, LNCS 3955, 486\u2013489. Springer.","DOI":"10.1007\/11752912_51"},{"key":"S0269888915000132_ref143","unstructured":"Flouris G. 2006b. On Belief Change and Ontology Evolution. PhD thesis, University of Crete."},{"volume-title":"Commonsense Reasoning: An Event Calculus Based Approach","year":"2014","author":"Mueller","key":"S0269888915000132_ref276"},{"key":"S0269888915000132_ref142","unstructured":"Flouris G. 2006a. On belief change in ontology evolution. AI Communications Journal (AI-Com) 19 (4), 395\u2013397 (PhD thesis summary)."},{"key":"S0269888915000132_ref139","unstructured":"Ferm\u00e9 E. L. , Gabbay D. M. & Simari G. R. (eds) 2013. Trends in belief revision and argumentation, Proceedings of the 2012 Workshop on Belief Revision and Argumentation, Logic and Cognitive Systems 48. College Publications."},{"key":"S0269888915000132_ref137","unstructured":"Feldmann R. , Monien B. & Schamberger S. 2000. A distributed algorithm to evaluate quantified Boolean formulae. In Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence, 30 July\u20133 August, 285\u2013290. AAAI Press."},{"key":"S0269888915000132_ref337","doi-asserted-by":"crossref","unstructured":"\u0160efr\u00e1nek J. & \u0160imko A. 2013. A descriptive approach to preferred answer sets. In Applications of Declarative Programming and Knowledge Management\u201419th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, 28\u201330 September, Revised Selected Papers, LNCS 7773, 195\u2013214. Springer.","DOI":"10.1007\/978-3-642-41524-1_11"},{"key":"S0269888915000132_ref136","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888910000391"},{"key":"S0269888915000132_ref134","unstructured":"Ernst N. A. , Borgida A. , Mylopoulos J. & Jureta I. 2012. Agile requirements evolution via paraconsistent reasoning. In Advanced Information Systems Engineering\u201424th International Conference, CAiSE 2012, 25\u201329 June, Proceedings, LNCS 7328, 382\u2013397. Springer."},{"key":"S0269888915000132_ref133","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24794-1_13"},{"key":"S0269888915000132_ref132","doi-asserted-by":"crossref","unstructured":"Emaldi M. , Lazaro J. , Laiseca X. & Lopez-de Ipina D. 2012. LinkedQR: improving tourism experience through linked data and QR codes. In Ubiquitous Computing and Ambient Intelligence, LNCS 7656, 371\u2013378. Springer.","DOI":"10.1007\/978-3-642-35377-2_52"},{"key":"S0269888915000132_ref131","unstructured":"Eiter T. , Fink M. , Sch\u00fcller P. & Weinzierl A. 2010b. Finding explanations of inconsistency in multi-context systems. In Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, 9\u201313 May. AAAI Press."},{"key":"S0269888915000132_ref130","unstructured":"Eiter T. , Fink M. & Moura J. 2010a. Paracoherent answer set programming. In Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, 9\u201313 May. AAAI Press."},{"key":"S0269888915000132_ref128","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00367-3"},{"key":"S0269888915000132_ref310","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2011.02.001"},{"key":"S0269888915000132_ref126","unstructured":"Efstathiou V. & Hunter A. 2010. Jargue: an implemented argumentation system for classical propositional logic. In COMMA 2010 Third International Conference on Computational Models of Argument, 8\u201310 September. Demo paper. http:\/\/www.ing.unibs.it\/ comma2010\/demos\/Efstathiou_etal.pdf."},{"key":"S0269888915000132_ref123","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-98197-0_10"},{"key":"S0269888915000132_ref117","first-page":"1","article-title":"Belief change and argumentation in multi-agent scenarios (dagstuhl seminar 13231)","volume":"3","author":"Dix","year":"2013","journal-title":"Dagstuhl Reports"},{"key":"S0269888915000132_ref304","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"S0269888915000132_ref116","doi-asserted-by":"crossref","unstructured":"Dimopoulos Y. , Nebel B. & Koehler J. 1997. Encoding planning problems in nonmonotonic logic programs. In Recent Advances in AI Planning, 4th European Conference on Planning, ECP\u201997, 24\u201326 September, Proceedings, LNCS 1348, 169\u2013181. Springer.","DOI":"10.1007\/3-540-63912-8_84"},{"key":"S0269888915000132_ref115","doi-asserted-by":"publisher","DOI":"10.1111\/j.0824-7935.2004.00240.x"},{"key":"S0269888915000132_ref113","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068402001539"},{"key":"S0269888915000132_ref112","unstructured":"Delgrande J. P. & Wassermann R. 2010. Horn clause contraction functions: belief set and belief base approaches. In Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, 9\u201313 May. AAAI Press."},{"key":"S0269888915000132_ref357","unstructured":"Strang T. & Linnhoff-Popien C. 2004. A context modeling survey. In Workshop on Advanced Context Modelling, Reasoning and Management, UbiComp 2004\u2014The Sixth International Conference on Ubiquitous Computing, 7 September."},{"key":"S0269888915000132_ref110","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn051"},{"key":"S0269888915000132_ref109","unstructured":"De Giacomo G. , Lenzerini M. , Poggi A. & Rosati R. 2007. On the approximation of instance level update and erasure in description logics. In Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 22\u201326 July, 403\u2013408. AAAI Press."},{"key":"S0269888915000132_ref173","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.3.397"},{"key":"S0269888915000132_ref106","doi-asserted-by":"crossref","unstructured":"Daly E. M. , L\u00e9cu\u00e9 F. & Bicer V. 2013. Westland row why so slow? Fusing social media and linked data sources for understanding real-time traffic conditions. In 18th International Conference on Intelligent User Interfaces, IUI\u201913, 19\u201322 March, 203\u2013212. ACM.","DOI":"10.1145\/2449396.2449423"},{"key":"S0269888915000132_ref103","unstructured":"Cuenca Grau B , Kharlamov E. & Zheleznyakov D. 2012. Ontology contraction: beyond the propositional paradise. In Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management, 27\u201330 June, CEUR Workshop Proceedings 866, 62\u201374."},{"key":"S0269888915000132_ref102","doi-asserted-by":"crossref","unstructured":"Cuenca Grau B , Parsia B. & Sirin E. 2004. Working with multiple ontologies on the semantic web. In The Semantic Web\u2014ISWC 2004: Third International Semantic Web Conference, 7\u201311 November, Proceedings, LNCS 3298, 620\u2013634. Springer.","DOI":"10.1007\/978-3-540-30475-3_43"},{"key":"S0269888915000132_ref101","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2013.08.002"},{"key":"S0269888915000132_ref100","unstructured":"Coste-Marquis S. , Konieczny S. , Mailly J.-G. & Marquis P. 2014. On the revision of argumentation systems: minimal change of arguments statuses. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, 20\u201324 July. AAAI Press."},{"key":"S0269888915000132_ref98","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30597-2_6"},{"key":"S0269888915000132_ref97","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2009.04.001"},{"key":"S0269888915000132_ref270","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000603"},{"key":"S0269888915000132_ref95","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90055-5"},{"key":"S0269888915000132_ref94","doi-asserted-by":"crossref","unstructured":"Cirillo M. , Lanzellotto F. , Pecora F. & Saffiotti A. 2009. Monitoring domestic activities with temporal constraints and components. In Intelligent Environments 2009\u2014Proceedings of the 5th International Conference on Intelligent Environments, AISE 2, 117\u2013124. IOS Press.","DOI":"10.3233\/978-1-60750-034-6-117"},{"key":"S0269888915000132_ref93","doi-asserted-by":"crossref","unstructured":"Cimatti A. & Serafini L. 1995. Multi-agent reasoning with belief contexts: the approach and a case study. In Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages, 8\u20139 August, Proceedings, LNCS 890. Springer.","DOI":"10.1007\/3-540-58855-8_4"},{"key":"S0269888915000132_ref92","doi-asserted-by":"publisher","DOI":"10.1007\/BF00881886"},{"key":"S0269888915000132_ref89","doi-asserted-by":"publisher","DOI":"10.2991\/978-94-91216-05-3"},{"key":"S0269888915000132_ref87","doi-asserted-by":"crossref","unstructured":"Celino I. , Contessa S. , Corubolo M. , Dell\u2019Aglio D. , Valle E. D. , Fumeo S. & Kr\u00fcger T. 2012. Linking smart cities datasets with human computation\u2014the case of UrbanMatch. In The Semantic Web\u2014ISWC 2012, 11th International Semantic Web Conference, 11\u201315 November, Proceedings, Part II, LNCS 7650, 34\u201349. Springer.","DOI":"10.1007\/978-3-642-35173-0_3"},{"key":"S0269888915000132_ref85","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-98197-0_4"},{"key":"S0269888915000132_ref84","doi-asserted-by":"crossref","unstructured":"Casali A. , Godo L. & Sierra C. 2005. Graded BDI models for agent architectures. In Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, 29\u201330 September, Revised Selected and Invited Papers, LNCS 3487, 126\u2013143. Springer.","DOI":"10.1007\/11533092_8"},{"key":"S0269888915000132_ref83","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exr033"},{"key":"S0269888915000132_ref82","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-009-9218-x"},{"key":"S0269888915000132_ref78","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-023X(03)00123-X"},{"key":"S0269888915000132_ref76","unstructured":"Brewka G. , Roelofsen F. & Serafini L. 2007. Contextual default reasoning. In IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, 6\u201312 January, 268\u2013273."},{"key":"S0269888915000132_ref75","unstructured":"Brewka G. , Niemel\u00e4 I. & Truszczynski M. 2003. Answer set optimization. In IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, 9\u201315 August, 867\u2013872. Morgan Kaufmann."},{"key":"S0269888915000132_ref74","unstructured":"Brewka G. & Woltran S. 2010. Abstract dialectical frameworks. In Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, 9\u201313 May."},{"key":"S0269888915000132_ref73","doi-asserted-by":"crossref","unstructured":"Brewka G. & Eiter T. 2009. Argumentation context systems: a framework for abstract group argumentation. In Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, 14\u201318 September, Proceedings, LNCS 5753, 44\u201357. Springer.","DOI":"10.1007\/978-3-642-04238-6_7"},{"key":"S0269888915000132_ref362","doi-asserted-by":"publisher","DOI":"10.1145\/116825.116838"},{"key":"S0269888915000132_ref72","unstructured":"Brewka G. & Eiter T. 2007. Equilibria in heterogeneous nonmonotonic multi-context systems. In Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 22\u201326 July, 385\u2013390. AAAI Press."},{"key":"S0269888915000132_ref114","unstructured":"Delgrande J. P. , Schaub T. & Tompits H. 2004a. Domain-specific preferences for causal reasoning and planning. In Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 3\u20137 June, 63\u201372. AAAI."},{"key":"S0269888915000132_ref70","unstructured":"Brewka G. 2002. Logic programming with ordered disjunction. In Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, 28 July\u20131 August, 100\u2013105. AAAI Press."},{"key":"S0269888915000132_ref328","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/5.3.265"},{"key":"S0269888915000132_ref99","unstructured":"Coste-Marquis S. , Konieczny S. , Marquis P. & Ouali M. A. 2012. Weighted attacks in argumentation frameworks. In Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, 10\u201314 June. AAAI Press."},{"key":"S0269888915000132_ref69","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1613\/jair.284","article-title":"Well-founded semantics for extended logic programs with dynamic preferences","volume":"4","author":"Brewka","year":"1996","journal-title":"Journal of Artificial Intelligence Research"},{"key":"S0269888915000132_ref65","unstructured":"Bozzato L. , Ghidini C. & Serafini L. 2013. Comparing contextual and flat representations of knowledge: a concrete case about football data. In Proceedings of the 7th International Conference on Knowledge Capture, K-CAP 2013, 23\u201326 June, Benjamins, V. R., d\u2019Aquin, M. & Gordon, A. (eds), ACM, 9\u201316."},{"key":"S0269888915000132_ref343","doi-asserted-by":"crossref","unstructured":"Shakarian P. , Simari G. I. & Falappa M. A. 2014. Belief revision in structured probabilistic argumentation. In Foundations of Information and Knowledge Systems\u20148th International Symposium, FoIKS 2014, 3\u20137 March, Proceedings, LNCS 8367, 324\u2013343. Springer.","DOI":"10.1007\/978-3-319-04939-7_16"},{"key":"S0269888915000132_ref122","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"S0269888915000132_ref62","unstructured":"Boutilier C. , Brafman R. I. , Hoos H. H. & Poole D. 1999. Reasoning with conditional ceteris paribus preference statements. In UAI \u201999: Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, 30 July\u20131 August, 71\u201380. Morgan Kaufmann."},{"key":"S0269888915000132_ref61","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2004.07.001"},{"key":"S0269888915000132_ref60","doi-asserted-by":"crossref","unstructured":"Bosse T. & Sharpanskykh A. 2010. A framework for modeling and analysis of ambient agent systems: application to an emergency case. In Ambient Intelligence and Future Trends\u2014International Symposium on Ambient Intelligence (ISAmI 2010), 16\u201318 June, AISC 72, 121\u2013129. Springer.","DOI":"10.1007\/978-3-642-13268-1_15"},{"key":"S0269888915000132_ref59","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-3-540-39733-5_7","article-title":"Distributed description logics: assimilating information from peer sources","volume":"1","author":"Borgida","year":"2003","journal-title":"Journal on Data Semantics"},{"key":"S0269888915000132_ref58","first-page":"31","article-title":"On the link between partial meet, kernel, and infra contraction and its application to Horn logic","volume":"42","author":"Booth","year":"2011","journal-title":"Journal of Artificial Intelligence Research"},{"key":"S0269888915000132_ref258","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90011-9"},{"key":"S0269888915000132_ref57","unstructured":"Booth R. , Meyer T. & Varzinczak I. J. 2009. Next steps in propositional Horn contraction. In IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, 11\u201317 July, 702\u2013707."},{"key":"S0269888915000132_ref56","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00015-5"},{"key":"S0269888915000132_ref55","doi-asserted-by":"crossref","unstructured":"B\u00f6gl M. , Eiter T. , Fink M. & Sch\u00fcller P. 2010. The MCS-IE system for explaining inconsistency in multi-context systems. In Logics in Artificial Intelligence\u201412th European Conference, JELIA 2010, 13\u201315 September, Proceedings, LNCS 6341, 356\u2013359. Springer.","DOI":"10.1007\/978-3-642-15675-5_31"},{"key":"S0269888915000132_ref374","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888913000349"},{"key":"S0269888915000132_ref256","unstructured":"Masotti G. , Rosati R. & Ruzzi M. 2011. Practical ABox cleaning in Dl-Lite (progress report). In Proceedings of the 24th International Workshop on Description Logics (DL 2011), 13\u201316 July, CEUR Workshop Proceedings, 745."},{"key":"S0269888915000132_ref244","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60085-2_16"},{"key":"S0269888915000132_ref169","unstructured":"Giunchiglia F. & Ghidini C. 1998. Local models semantics, or contextual reasoning = locality + compatibility. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR\u201998), 2\u20135 June, 282\u2013291. Morgan Kaufmann."},{"key":"S0269888915000132_ref54","doi-asserted-by":"crossref","unstructured":"Boella G. , Kaci S. & van der Torre L. W. N. 2009b. Dynamics in argumentation with single extensions: attack refinement and the grounded extension (extended version). In Argumentation in Multi-Agent Systems, 6th International Workshop, ArgMAS 2009, 12 May, Revised Selected and Invited Papers, LNCS 6057, 150\u2013159. Springer.","DOI":"10.1007\/978-3-642-12805-9_9"},{"key":"S0269888915000132_ref53","doi-asserted-by":"crossref","unstructured":"Boella G. , Kaci S. & van der Torre L. 2009a. Dynamics in argumentation with single extensions: abstraction principles and the grounded extension. In Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, 1\u20133 July, Proceedings, LNCS 5590, 107\u2013118. Springer.","DOI":"10.1007\/978-3-642-02906-6_11"},{"key":"S0269888915000132_ref52","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(89)90126-6"},{"key":"S0269888915000132_ref50","doi-asserted-by":"crossref","first-page":"33","DOI":"10.3233\/SW-2011-0026","article-title":"OWLIM: a family of scalable semantic repositories","volume":"2","author":"Bishop","year":"2011","journal-title":"Semantic Web"},{"key":"S0269888915000132_ref48","doi-asserted-by":"crossref","unstructured":"Bikakis A. , Patkos T. , Antoniou G. & Plexousakis D. 2008. A survey of semantics-based approaches for context reasoning in ambient intelligence. In Constructing Ambient Intelligence\u2014AmI 2007 Workshops, 7\u201310 November, Revised Papers, CCIS 11, 14\u201323. Springer.","DOI":"10.1007\/978-3-540-85379-4_3"},{"key":"S0269888915000132_ref47","doi-asserted-by":"crossref","unstructured":"Bikakis A. & Antoniou G. 2011. Partial preferences and ambiguity resolution in contextual defeasible logic. In Logic Programming and Nonmonotonic Reasoning\u201411th International Conference, LPNMR 2011, 16\u201319 May, Proceedings, LNCS 6645, 193\u2013198. Springer.","DOI":"10.1007\/978-3-642-20895-9_18"},{"key":"S0269888915000132_ref240","unstructured":"Lester J. , Choudhury T. , Kern N. , Borriello G. & Hannaford B. 2005. A hybrid discriminative\/generative approach for modeling human activities. In Proceedings of the 19th International Joint Conference on Artificial Intelligence, Kaelbling, L. P. & Saffiotti, A. (eds), 766\u2013772. Professional Book Center."},{"key":"S0269888915000132_ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2009.06.002"},{"key":"S0269888915000132_ref42","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005957026440"},{"key":"S0269888915000132_ref212","doi-asserted-by":"crossref","unstructured":"Kalyanpur A. , Parsia B. , Sirin E. & Cuenca Grau B. 2006 Repairing unsatisfiable concepts in OWL ontologies. In The Semantic Web: Research and Applications, 3rd European Semantic Web Conference, ESWC 2006, 11\u201314 June, Proceedings, LNCS 4011, 170\u2013184. Springer.","DOI":"10.1007\/11762256_15"},{"key":"S0269888915000132_ref41","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9780262026437.001.0001"},{"key":"S0269888915000132_ref40","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00071-6"},{"key":"S0269888915000132_ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2003.08.003"},{"key":"S0269888915000132_ref36","doi-asserted-by":"crossref","unstructured":"Benerecetti M. , Bouquet P. & Ghidini C. 2001. On the dimensions of context dependence: partiality, approximation, and perspective. In Modeling and Using Context, Third International and Interdisciplinary Conference, CONTEXT, 2001, 27\u201330 July, Proceedings, LNCS 2116, 59\u201372. Springer.","DOI":"10.1007\/3-540-44607-9_5"},{"key":"S0269888915000132_ref35","doi-asserted-by":"publisher","DOI":"10.1080\/09528130050111446"},{"key":"S0269888915000132_ref124","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-98197-0_5"},{"key":"S0269888915000132_ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"S0269888915000132_ref182","doi-asserted-by":"crossref","unstructured":"Haase P. , van Harmelen F. , Huang Z. , Stuckenschmidt H. & Sure Y. 2005. A framework for handling inconsistency in changing ontologies. In The Semantic Web\u2014ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, 6\u201310 November, Proceedings, LNCS 3729, 353\u2013367. Springer.","DOI":"10.1007\/11574620_27"},{"key":"S0269888915000132_ref32","doi-asserted-by":"crossref","unstructured":"Bechhofer S. , Horrocks I. , Goble C. A. & Stevens R. 2001. OilEd: a reason-able ontology editor for the semantic web. In KI 2001: Advances in Artificial Intelligence, Joint German\/Austrian Conference on AI, 19\u201321 September, Proceedings, LNCS 2174, 396\u2013408. Springer.","DOI":"10.1007\/3-540-45422-5_28"},{"key":"S0269888915000132_ref29","unstructured":"Baumann R. 2012. What does it take to enforce an argument? Minimal change in abstract argumentation. In ECAI 2012\u201420th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, 27\u201331 August, FAIA 242, 127\u2013132. IOS Press."},{"key":"S0269888915000132_ref28","doi-asserted-by":"crossref","unstructured":"Batsakis S. , Stravoskoufos K. & Petrakis E. G. M. 2011. Temporal reasoning for supporting temporal queries in OWL 2.0. In Knowledge-Based and Intelligent Information and Engineering Systems\u201415th International Conference, KES 2011, 12\u201314 September, Proceedings, Part I, LNCS 6881, 558\u2013567. Springer.","DOI":"10.1007\/978-3-642-23851-2_57"},{"key":"S0269888915000132_ref359","doi-asserted-by":"crossref","unstructured":"Tan J. G. , Zhang D. , Wang X. & Cheng H. S. 2005 Enhancing semantic spaces with event-driven context interpretation. In Proceedings of the Third International Conference on Pervasive Computing, Gellersen, H.-W., Want, R. & Schmidt, A. (eds), 80\u201397.","DOI":"10.1007\/11428572_6"},{"key":"S0269888915000132_ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30597-2_4"},{"key":"S0269888915000132_ref373","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2011.01.004"},{"key":"S0269888915000132_ref344","unstructured":"\u0160imko A. 2013. Extension of Gelfond-Lifschitz reduction for preferred answer sets: preliminary report. In Kiel Declarative Programming Days 2013: 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013), 27th Workshop on Logic Programming (WLP 2013), Technical Report\/Bericht 1306, 2\u201316. Institut f\u00fcr Informatik der Christian-Albrechts-Universit\u00e4t zu Kiel."},{"key":"S0269888915000132_ref264","unstructured":"Meyer T. , Lee K. , Booth R. & Pan J. Z. 2006. Finding maximally satisfiable terminologies for the description logic ${\\cal A}{\\cal L}{\\cal C}$ . In Proceedings of the Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference , 16\u201320 July, 269\u2013274. AAAI Press."},{"key":"S0269888915000132_ref179","unstructured":"Gustafsson J. 1996. An Implementation and Optimization of an Algorithm for Reducing Formulas in Second-Order Logic. Technical report, Department of Mathematics, Linkoping University."},{"key":"S0269888915000132_ref347","doi-asserted-by":"crossref","unstructured":"Skarlatidis A. , Paliouras G. , Vouros G. A. & Artikis A. 2011. Probabilistic event calculus based on Markov logic networks. In Rule-Based Modeling and Computing on the Semantic Web, 5th International Symposium, RuleML 2011-America, 3\u20135 November, Proceedings, LNCS 7018, 155\u2013170. Springer.","DOI":"10.1007\/978-3-642-24908-2_19"},{"key":"#cr-split#-S0269888915000132_ref118.1","unstructured":"129. Djedidi R. & Aufaure M.-A. 2009. Change management patterns"},{"key":"#cr-split#-S0269888915000132_ref118.2","unstructured":"130. (CMP) for ontology evolution process. In Proceedings of the 3rd International Workshop on Ontology Dynamics, (IWOD 2009), collocated with the 8th International Semantic Web Conference (ISWC-2009), 26 October, CEUR Workshop Proceedings 519."},{"key":"S0269888915000132_ref306","first-page":"91","article-title":"The design and implementation of VAMPIRE","volume":"15","author":"Riazanov","year":"2002","journal-title":"AI Communications"},{"key":"S0269888915000132_ref338","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2011.12.003"},{"key":"S0269888915000132_ref303","unstructured":"Rao A. S. & Georgeff M. P. 1995. BDI agents: From theory to practice. In Proceedings of the First International Conference on Multiagent Systems, June 12\u201314, 1995, San Francisco, California, USA, 312\u2013319. The MIT Press."},{"key":"S0269888915000132_ref186","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(95)00005-4"},{"key":"S0269888915000132_ref227","unstructured":"Lam S. C. , Sleeman D. & Vasconselos W. 2005a. ReTax++: a tool for browsing and revising ontologies. In ISWC 2005, 4th International Semantic Web Conference, 6\u201310 November, Posters Track. http:\/\/homepages.abdn.ac.uk\/d.sleeman\/pages\/published-papers\/publications-2005\/p155-ISWC-poster-joey.pdf."},{"key":"S0269888915000132_ref151","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-012-0500-2"},{"key":"S0269888915000132_ref291","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1887.001.0001","volume-title":"Cognitive Carpentry: A Blueprint for How to Build a Person","author":"Pollock","year":"1995"},{"key":"S0269888915000132_ref288","doi-asserted-by":"crossref","unstructured":"Patkos T. , Chrysakis I. , Bikakis A. , Plexousakis D. & Antoniou G. 2010. A reasoning framework for ambient intelligence. In Artificial Intelligence: Theories, Models and Applications, 6th Hellenic Conference on AI, SETN 2010, 4\u20137 May, Proceedings, LNCS 6040, 213\u2013222. Springer.","DOI":"10.1007\/978-3-642-12842-4_25"},{"key":"S0269888915000132_ref370","doi-asserted-by":"crossref","unstructured":"Wu J. , Osuntogun A. , Choudhury T. , Philipose M. & Rehg J. M. 2007 A scalable approach to activity recognition based on object use. In IEEE 11th International Conference on Computer Vision, ICCV 2007, 14\u201320 October, 1\u20138. IEEE.","DOI":"10.1109\/ICCV.2007.4408865"},{"key":"S0269888915000132_ref237","doi-asserted-by":"crossref","unstructured":"Lembo D. , Lenzerini M. , Rosati R. , Ruzzi M. & Savo D. F. 2010. Inconsistency-tolerant semantics for description logics. In Web Reasoning and Rule Systems\u2014Fourth International Conference, RR 2010, 22\u201324 September, Proceedings, LNCS 6333, 103\u2013117. Springer.","DOI":"10.1007\/978-3-642-15918-3_9"},{"key":"S0269888915000132_ref196","doi-asserted-by":"publisher","DOI":"10.2307\/2268661"},{"key":"S0269888915000132_ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2010.37"},{"key":"S0269888915000132_ref327","unstructured":"Sakama C. 1992. Extended well-founded semantics for paraconsistent logic programs. In Fifth Generation Computer Systems\u201992: Proceedings of the International Conference on Fifth Generation Computer Systems. 1\u20135 June, 592\u2013599. IOS Press."},{"key":"S0269888915000132_ref185","doi-asserted-by":"publisher","DOI":"10.2307\/2275912"},{"key":"S0269888915000132_ref17","doi-asserted-by":"crossref","unstructured":"Arieli O. , Denecker M. , Van Nuffelen B. & Bruynooghe M. 2004. Database repair by signed formulae. In Foundations of Information and Knowledge Systems, Third International Symposium, FoIKS 2004, 17\u201320 February, Proceedings, LNCS 2942, 14\u201330. Springer.","DOI":"10.1007\/978-3-540-24627-5_3"},{"volume-title":"Intention, Plans, and Practical Reason","year":"1987","author":"Bratman","key":"S0269888915000132_ref68"},{"key":"S0269888915000132_ref30","unstructured":"Baumann R. & Brewka G. 2010. Expanding argumentation frameworks: enforcing and monotonicity results. In Computational Models of Argument: Proceedings of COMMA 2010, 8\u201310 September, FAIA 216, 75\u201386. IOS Press."},{"key":"S0269888915000132_ref275","first-page":"1","volume-title":"Agent-Based Ubiquitous Computing","author":"Mu\u00f1oz Ortega","year":"2010"},{"key":"S0269888915000132_ref312","doi-asserted-by":"crossref","unstructured":"Rie\u00df C. , Heino N. , Tramp S. & Auer S. 2010. EvoPat\u2014pattern-based evolution and refactoring of RDF knowledge bases. In The Semantic Web\u2014ISWC 2010, 9th International Semantic Web Conference, ISWC 2010, 7\u201311 November, Revised Selected Papers, Part I, LNCS 6496, 647\u2013662. Springer.","DOI":"10.1007\/978-3-642-17746-0_41"},{"key":"S0269888915000132_ref171","doi-asserted-by":"crossref","unstructured":"Gon\u00e7alves R. , Knorr M. & Leite J. 2014a. Evolving bridge rules in evolving multi-context systems. In Computational Logic in Multi-Agent Systems\u201415th International Workshop, CLIMA XV, 18\u201319 August, Proceedings, LNCS 8624, 52\u201369. Springer.","DOI":"10.1007\/978-3-319-09764-0_4"},{"key":"S0269888915000132_ref369","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888900008122"},{"key":"S0269888915000132_ref292","doi-asserted-by":"publisher","DOI":"10.1080\/19462160903564592"},{"key":"S0269888915000132_ref149","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1017\/S0269888908001367","article-title":"Ontology change: classification and survey","volume":"26","author":"Flouris","year":"2008","journal-title":"The Knowledge Engineering Review"},{"key":"S0269888915000132_ref366","doi-asserted-by":"crossref","unstructured":"Wang Z. , Wang K. & Topor R. 2010. A new approach to knowledge base revision in Dl-Lite. In Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, 11\u201315 July. AAAI Press.","DOI":"10.1609\/aaai.v24i1.7593"},{"key":"S0269888915000132_ref216","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/ext011"},{"key":"S0269888915000132_ref330","unstructured":"Schaub T. 2011. Collection on answer set programming (ASP) and more. http:\/\/www.cs.uni-potsdam.de\/torsten\/asp\/."},{"key":"S0269888915000132_ref229","unstructured":"Langlois M. , Sloan R. H. , Sz\u00f6r\u00e9nyi B. & Tur\u00e1n G. 2008. Horn complements: towards Horn-to-Horn belief revision. In Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, 13\u201317 July, 466\u2013471. AAAI Press."},{"key":"S0269888915000132_ref71","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00015-6"},{"key":"S0269888915000132_ref108","unstructured":"DARC 2012. Workshop on the dynamics of argumentation, rules and conditionals. University of Luxembourg. http:\/\/icr.uni.lu\/darc\/DARC\/."},{"key":"S0269888915000132_ref217","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/ext062"},{"key":"S0269888915000132_ref336","unstructured":"\u0160efr\u00e1nek J. & \u0160imko A. 2011 Warranted derivations of preferred answer sets. In 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011), 28\u201330 September, Proceedings, INFSYS Research Report 1842-11-06, 195\u2013207. Technische Universit\u00e4t Wien."},{"key":"S0269888915000132_ref168","first-page":"345","article-title":"Contextual reasoning","volume":"16","author":"Giunchiglia","year":"1993","journal-title":"Epistemologia, Special Issue on I Linguaggi e le Macchine"},{"key":"S0269888915000132_ref23","unstructured":"Bal\u00e1\u017e M. , Frt\u00fas J. , Homola M. , Sefr\u00e1nek J. & Flouris G. 2014b. Embedding defeasible logic programs into generalized logic programs. In Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, 15\u201317 September, CEUR Workshop Proceedings 1335, 11\u201325."},{"key":"S0269888915000132_ref329","doi-asserted-by":"crossref","unstructured":"Sakama C. & Inoue K. 2000. Prioritized logic programming and its application to commonsense reasoning. Artificial Intelligence 123(1\u20132), 185\u2013222.","DOI":"10.1016\/S0004-3702(00)00054-0"},{"key":"S0269888915000132_ref268","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-98197-0_6"},{"key":"S0269888915000132_ref51","doi-asserted-by":"crossref","unstructured":"Blair H. A. & Subrahmanian V. S. 1987. Paraconsistent logic programming. In Foundations of Software Technology and Theoretical Computer Science, Seventh Conference, 17\u201319 December, Proceedings, LNCS 287, 340\u2013360. Springer.","DOI":"10.1007\/3-540-18625-5_59"},{"key":"S0269888915000132_ref245","unstructured":"Liu H. , Lutz C. , Mili\u010di\u0107 M. & Wolter F. 2006. Updating description logic ABoxes. In Tenth International Conference on Principles of Knowledge Representation and Reasoning Proceedings, 2\u20135 June, 46\u201356. AAAI Press."},{"key":"S0269888915000132_ref34","unstructured":"Ben-Eliyahu R. & Dechter R. 1991. Default logic, propositional logic, and constraints. In Proceedings of the 9th National Conference on Artificial Intelligence, 14\u201319 July, 1, 379\u2013385. AAAI Press."},{"key":"S0269888915000132_ref305","doi-asserted-by":"publisher","DOI":"10.1007\/s12652-013-0184-9"},{"key":"S0269888915000132_ref325","doi-asserted-by":"crossref","unstructured":"Sadri F. 2010. Intention recognition with event calculus graphs. In Proceedings of the 2010 IEEE\/WIC\/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology\u2014Workshops, 31 August\u20133 September, 386\u2013391. IEEE Computer Society.","DOI":"10.1109\/WI-IAT.2010.83"},{"key":"S0269888915000132_ref206","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-76485-6_8"},{"key":"S0269888915000132_ref31","doi-asserted-by":"crossref","unstructured":"Baumann R. & Brewka G. 2013. Spectra in abstract argumentation: an analysis of minimal change. In Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, 15\u201319 September, Proceedings, LNCS 8148, 174\u2013186. Springer.","DOI":"10.1007\/978-3-642-40564-8_18"},{"key":"S0269888915000132_ref208","doi-asserted-by":"crossref","unstructured":"Ji Q. , Haase P. , Qi G. , Hitzler P. & Stadtm\u00fcller S. 2009. RaDON\u2014repair and diagnosis in ontology networks. In The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, 31 May\u20134 June, Proceedings, LNCS 5554, 863\u2013867. Springer.","DOI":"10.1007\/978-3-642-02121-3_71"},{"key":"S0269888915000132_ref183","unstructured":"Halaschek-Wiener C. & Katz Y. 2006. Belief base revision for expressive description logics. In Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 10\u201311 November, CEUR Workshop Proceedings 216."},{"key":"S0269888915000132_ref27","first-page":"1","volume-title":"Trends in Belief Revision and Argumentation Dynamics","author":"Baroni","year":"2013"},{"key":"S0269888915000132_ref353","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24750-0"},{"key":"S0269888915000132_ref77","unstructured":"Brewka G. , Eiter T. , Fink M. & Weinzierl A. 2011. Managed multi-context systems. In IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, 16\u201322 July, 786\u2013791."},{"key":"S0269888915000132_ref14","doi-asserted-by":"crossref","unstructured":"Amgoud L. & Vesic S. 2012. On the use of argumentation for multiple criteria decision making. In Advances in Computational Intelligence\u201414th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, 9\u201313 July, Proceedings, Part IV, CCIS 300, 480\u2013489. Springer.","DOI":"10.1007\/978-3-642-31724-8_50"},{"key":"S0269888915000132_ref215","doi-asserted-by":"publisher","DOI":"10.1007\/BF00245460"},{"key":"S0269888915000132_ref141","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(91)90014-G"},{"key":"S0269888915000132_ref219","unstructured":"Konstantinidis G. , Flouris G. , Antoniou G. & Christophides V. 2008a. A formal approach for RDF\/S ontology evolution. In ECAI 2008\u201418th European Conference on Artificial Intelligence, 21\u201325 July, Proceedings, FAIA 178, 70\u201374. IOS Press."},{"key":"S0269888915000132_ref334","doi-asserted-by":"crossref","unstructured":"Sebbak F. , Chibani A. , Amirat Y. , Benhammadi F. & Mokhtari A. 2012. An evidential fusion approach for activity recognition under uncertainty in ambient intelligence environments. In The 2012 ACM Conference on Ubiquitous Computing, Ubicomp\u201912, 5\u20138 September, 834\u2013840. ACM.","DOI":"10.1145\/2370216.2370407"},{"key":"S0269888915000132_ref295","doi-asserted-by":"crossref","unstructured":"Preuveneers D. , den Bergh J. V. , Wagelaar D. , Georges A. , Rigole P. , Clerckx T. , Berbers Y. , Coninx K. , Jonckers V. & De Bosschere K. 2004. Towards an extensible context ontology for ambient intelligence. In Ambient Intelligence: Second European Symposium, EUSAI 2004, 8\u201311 November, Proceedings, LNCS 3295, 148\u2013159. Springer.","DOI":"10.1007\/978-3-540-30473-9_15"},{"key":"S0269888915000132_ref161","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00064-9"},{"key":"S0269888915000132_ref19","doi-asserted-by":"crossref","unstructured":"Asuncion V. & Zhang Y. 2009. Translating preferred answer set programs to propositional logic. In Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, 14\u201318 September, Proceedings, LNCS 5753, 396\u2013401. Springer.","DOI":"10.1007\/978-3-642-04238-6_33"},{"key":"S0269888915000132_ref265","doi-asserted-by":"crossref","unstructured":"Mileo A. , Merico D. & Bisiani R. 2008a. Wireless sensor networks supporting context-aware reasoning in assisted living. In Proceedings of the 1st ACM International Conference on Pervasive Technologies Related to Assistive Environments, PETRA 2008, 16\u201318 July, ACM ICPS 282, 54. ACM.","DOI":"10.1145\/1389586.1389651"},{"key":"S0269888915000132_ref281","doi-asserted-by":"crossref","unstructured":"Odintsov S. P. & Pearce D. 2005. Routley semantics for answer sets. In Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, 5\u20138 September, Proceedings, LNCS 3662, 343\u2013355. Springer.","DOI":"10.1007\/11546207_27"},{"key":"S0269888915000132_ref96","first-page":"1","article-title":"Qualitative spatial representation and reasoning: an overview","volume":"46","author":"Cohn","year":"2001","journal-title":"Fundamenta Informaticae"},{"key":"S0269888915000132_ref67","doi-asserted-by":"publisher","DOI":"10.4013\/jacr.2011.11.03"},{"key":"S0269888915000132_ref15","doi-asserted-by":"crossref","unstructured":"Arenas M. , Bertossi L. E. & Chomicki J. 1999. Consistent query answers in inconsistent databases. In Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 31 May\u20132 June, 68\u201379. ACM Press.","DOI":"10.1145\/303976.303983"},{"key":"S0269888915000132_ref263","unstructured":"Meyer T. , Lee K. & Booth R. 2005. Knowledge integration for description logics. In Proceedings of the Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, 9\u201313 July, 645\u2013650. AAAI Press."},{"key":"S0269888915000132_ref321","doi-asserted-by":"publisher","DOI":"10.2991\/978-94-91216-05-3_2"},{"key":"S0269888915000132_ref364","doi-asserted-by":"crossref","unstructured":"Wang K. , Zhou L. & Lin F. 2000. Alternating fixpoint theory for logic programs with priority. In Computational Logic\u2014CL 2000, First International Conference, July 24\u201328, Proceedings, LNCS 1861, 164\u2013178. Springer.","DOI":"10.1007\/3-540-44957-4_11"},{"key":"S0269888915000132_ref119","doi-asserted-by":"crossref","unstructured":"Djedidi R. & Aufaure M.-A. 2010. ONTO-EVO A L an ontology evolution approach guided by pattern modeling and quality evaluation. In Foundations of Information and Knowledge Systems, 6th International Symposium, FoIKS 2010, 15\u201319 February, Proceedings, LNCS 5956, 286\u2013305. Springer.","DOI":"10.1007\/978-3-642-11829-6_19"},{"key":"S0269888915000132_ref239","unstructured":"Lenat D. 1998. The Dimensions of Context-Space. Technical report, CYCorp. http:\/\/www.cyc.com\/doc\/context-space.pdf."},{"key":"S0269888915000132_ref81","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.02.003"},{"key":"S0269888915000132_ref192","unstructured":"Homola M. 2010. Semantic Investigations in Distributed Ontologies. PhD thesis, Comenius University in Bratislava."},{"key":"S0269888915000132_ref352","doi-asserted-by":"crossref","first-page":"235","DOI":"10.3233\/AIS-2009-0032","article-title":"Employing description logics in ambient intelligence for modeling and reasoning about complex situations","volume":"1","author":"Springer","year":"2009","journal-title":"Journal of Ambient Intelligence and Smart Environments"},{"key":"S0269888915000132_ref287","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(89)90036-2"},{"key":"S0269888915000132_ref272","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2009.02.001"},{"key":"S0269888915000132_ref138","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-011-9171-9"},{"key":"S0269888915000132_ref271","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2007.101"},{"key":"S0269888915000132_ref11","unstructured":"Alferes J. J. , Dam\u00e1sio C. V. & Pereira L. M. 2003. Semantic web logic programming tools. In Principles and Practice of Semantic Web Reasoning, International Workshop, PPSWR 2003, 8 December, Proceedings, LNCS 2901, 16\u201332. Springer. ISBN 3-540-20582-9."},{"key":"S0269888915000132_ref140","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/1.6.797"},{"key":"S0269888915000132_ref269","unstructured":"Moguillansky M. O. , Rotstein N. D. & Falappa M. A. 2008. A theoretical model to handle ontology debugging & change through argumentation. In Proceedings of the 2nd International Workshop on Ontology Dynamics (IWOD 2008), Collocated with the 7th International Semantic Web Conference (ISWC 2008), 26\u201330 October. http:\/\/users.ics.forth.gr\/ fgeo\/files\/IWOD08Proc.pdf."},{"key":"S0269888915000132_ref153","doi-asserted-by":"publisher","DOI":"10.1007\/BF00284974"},{"key":"S0269888915000132_ref105","unstructured":"Dalal M. 1988. Investigations into a theory of knowledge base revision: preliminary report. In Proceedings of the 7th National Conference on Artificial Intelligence. 21\u201326 August, 475\u2013479. AAAI Press."},{"key":"S0269888915000132_ref104","doi-asserted-by":"publisher","DOI":"10.1016\/0933-3657(89)90031-6"},{"key":"S0269888915000132_ref120","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005722130532"},{"key":"S0269888915000132_ref125","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.09.005"},{"key":"S0269888915000132_ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(99)00065-5"},{"key":"S0269888915000132_ref145","unstructured":"Flouris G. , Plexousakis D. & Antoniou G. 2004. Generalizing the AGM postulates: preliminary results and applications. In 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 6\u20138 June, Proceedings, 171\u2013179."},{"key":"S0269888915000132_ref4","unstructured":"Aceto G. 2010. Implementation of a Non-Ground Meta-Interpreter for Defeasible Logic. PhD thesis, Universit\u00e0 di Bologna."},{"volume-title":"Argumentation in Artificial Intelligence","year":"2009","author":"Rahwan","key":"S0269888915000132_ref301"},{"key":"S0269888915000132_ref88","doi-asserted-by":"publisher","DOI":"10.1016\/j.cmpb.2008.02.001"},{"key":"S0269888915000132_ref314","unstructured":"Rodrigues O. & Russo A. 1998. A translation method for Belnap logic. Research Report Doc 98\/7, Imperial College Longon. http:\/\/www.doc.ic.ac.uk\/research\/technicalreports\/1998\/DTR98-7.pdf."},{"key":"S0269888915000132_ref250","doi-asserted-by":"crossref","unstructured":"Ma Y. & Hitzler P. 2009. Paraconsistent reasoning for OWL 2. In Web Reasoning and Rule Systems, Third International Conference, RR 2009, 25\u201326 October, Proceedings, LNCS 5837, 197\u2013211. Springer.","DOI":"10.1007\/978-3-642-05082-4_14"},{"key":"S0269888915000132_ref121","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(79)90008-0"},{"key":"S0269888915000132_ref80","doi-asserted-by":"crossref","unstructured":"Calvanese D. , Kharlamov E. , Nutt W. & Zheleznyakov D. 2010. Evolution of DL-Lite knowledge bases. In The Semantic Web\u2014ISWC 2010, 9th International Semantic Web Conference, ISWC 2010, 7\u201311 November, Revised Selected Papers, Part I, LNCS 6496, 112\u2013128. Springer.","DOI":"10.1007\/978-3-642-17746-0_8"},{"key":"S0269888915000132_ref315","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30597-2_8"},{"key":"S0269888915000132_ref66","unstructured":"Bozzato L. , Eiter T. & Serafini L. 2014. Contextualized knowledge repositories with justifiable exceptions. In Informal Proceedings of the 27th International Workshop on Description Logics, 17\u201320 July, Bienvenu, M., Ortiz, M., Rosati, R. & Simkus, M. (eds), CEUR Workshop Proceedings 1193, 112\u2013123. CEUR-WS.org."},{"key":"S0269888915000132_ref148","unstructured":"Flouris G. , Plexousakis D. & Antoniou G. 2006b. On generalizing the AGM postulates. In STAIRS 2006\u2014Proceedings of the Third Starting AI Researchers\u2019 Symposium, FAIA 142, 132\u2013143. IOS Press."},{"key":"S0269888915000132_ref64","unstructured":"Bozzato L. & Serafini L. 2013. Materialization calculus for contexts in the semantic web. In Informal Proceedings of the 26th International Workshop on Description Logics, 23\u201326 July, CEUR Workshop Proceedings 1014, 552\u2013572."},{"key":"S0269888915000132_ref20","doi-asserted-by":"publisher","DOI":"10.1080\/18756891.2008.9727632"},{"key":"S0269888915000132_ref46","doi-asserted-by":"crossref","unstructured":"Bikakis A. & Antoniou G. 2010b. Rule-based contextual reasoning in ambient intelligence. In Semantic Web Rules\u2014International Symposium, RuleML 2010, 21\u201323 October, Proceedings, LNCS 6403, 74\u201388. Springer.","DOI":"10.1007\/978-3-642-16289-3_8"},{"key":"S0269888915000132_ref18","doi-asserted-by":"crossref","unstructured":"Artikis A. , Sergot M. & Paliouras G. 2010. A logic programming approach to activity recognition. In Proceedings of the 2nd ACM International Workshop on Events in Multimedia, EiMM\u201910, 3\u20138.","DOI":"10.1145\/1877937.1877941"},{"key":"S0269888915000132_ref377","doi-asserted-by":"crossref","unstructured":"Zhang X. , Xiao G. & Lin Z. 2009. A tableau algorithm for handling inconsistency in OWL. In The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, 31 May\u20134 June, Proceedings, LNCS 5554, 399\u2013413. Springer.","DOI":"10.1007\/978-3-642-02121-3_31"},{"key":"S0269888915000132_ref308","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2013.06.001"},{"key":"S0269888915000132_ref1","first-page":"235","volume-title":"The Invisible Future: The Seamless Integration of Technology into Everyday Life","author":"Aarts","year":"2001"},{"key":"S0269888915000132_ref280","doi-asserted-by":"crossref","unstructured":"Noy N. F. , Chugh A. , Liu W. & Musen M. A. 2006. A framework for ontology evolution in collaborative environments. In The Semantic Web\u2014ISWC 2006, 5th International Semantic Web Conference, ISWC 2006, 5\u20139 November, Proceedings, LNCS 4273, 544\u2013558. Springer.","DOI":"10.1007\/11926078_39"},{"key":"S0269888915000132_ref129","unstructured":"Eiter T. , Ianni G. , Schindlauer R. & Tompits H. 2006. dlvhex: a system for integrating multiple semantics in an answer-set programming framework. In 20th Workshop on Logic Programming, 22\u201324 February, INFSYS Research Report 1843-06-02, 206\u2013210. Technische Universit\u00e4t Wien."},{"key":"S0269888915000132_ref90","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30597-2_5"},{"key":"S0269888915000132_ref63","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1613\/jair.1234","article-title":"CP-nets: a tool for representing and reasoning with conditional ceteris paribus preference statements","volume":"21","author":"Boutilier","year":"2004","journal-title":"Journal of Artificial Intelligence Research"},{"key":"S0269888915000132_ref259","unstructured":"McCarthy J. 1993. Notes on formalizing context. In Proceedings of the 13th International Joint Conference on Artificial Intelligence. 28 August\u20133 September, 555\u2013562. Morgan Kaufmann."},{"key":"S0269888915000132_ref257","doi-asserted-by":"publisher","DOI":"10.2991\/978-94-91216-05-3_4"},{"key":"S0269888915000132_ref79","doi-asserted-by":"crossref","unstructured":"Cali A. , Gottlob G. & Lukasiewicz T. 2009. Datalog\u00b1: a unified approach to ontologies and integrity constraints. In Proceedings of the 12th International Conference on Database Theory (ICDT-09).","DOI":"10.1145\/1514894.1514897"},{"key":"S0269888915000132_ref49","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-010-0293-0"},{"key":"S0269888915000132_ref238","doi-asserted-by":"crossref","unstructured":"Lembo D. , Lenzerini M. , Rosati R. , Ruzzi M. & Savo D. F. 2011. Query rewriting for inconsistent DL-Lite ontologies. In Web Reasoning and Rule Systems\u20145th International Conference, RR 2011, 29\u201330 August, Proceedings, LNCS 6902, 155\u2013169. Springer.","DOI":"10.1007\/978-3-642-23580-1_12"},{"key":"S0269888915000132_ref25","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001807"},{"key":"S0269888915000132_ref39","doi-asserted-by":"crossref","unstructured":"Besnard P. & Hunter A. 1995. Quasi-classical logic: non-trivializable classical reasoning from inconsistent information. In Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU\u201995, 3\u20135 July, Proceedings, LNCS 946, 44\u201351. Springer.","DOI":"10.1007\/3-540-60112-0_6"},{"key":"S0269888915000132_ref86","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1613\/jair.2965","article-title":"Change in abstract argumentation frameworks: adding an argument","volume":"38","author":"Cayrol","year":"2010","journal-title":"Journal of Artificial Intelligence Research"},{"key":"S0269888915000132_ref167","doi-asserted-by":"crossref","unstructured":"Giunchiglia E. , Narizzano M. & Tacchella A. 2001. QuBE: a system for deciding quantified Boolean formulas satisfiability. In Automated Reasoning, First International Joint Conference, IJCAR 2001, 18\u201323 June, Proceedings, LNCS 2083, 364\u2013369. Springer.","DOI":"10.1007\/3-540-45744-5_27"},{"key":"S0269888915000132_ref282","doi-asserted-by":"crossref","unstructured":"Ohlbach H. J. 1996. SCAN\u2014elimination of predicate quantifiers. In Automated Deduction\u2014CADE-13, 13th International Conference on Automated Deduction, 30 July\u20133 August, Proceedings, LNCS 1104, 161\u2013165. Springer.","DOI":"10.1007\/3-540-61511-3_77"},{"key":"S0269888915000132_ref333","unstructured":"Schlobach S. & Cornet R. 2003. Non-standard reasoning services for the debugging of description logic terminologies. In IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, 9\u201315 August, 355\u2013362. Morgan Kaufmann."},{"key":"S0269888915000132_ref8","doi-asserted-by":"publisher","DOI":"10.2307\/2274239"},{"key":"S0269888915000132_ref255","doi-asserted-by":"crossref","unstructured":"Martinez M. V. , Ariel C. , Deagustini D. , Falappa M. A. & Simari G. R. 2014. Inconsistency-tolerant reasoning in datalog\u00b1 ontologies via an argumentative semantics. In Advances in Artificial Intelligence\u2014IBERAMIA 2014, 14th Ibero-American Conference on AI, 24\u201327 November, Proceedings, LNCS 8864, 15\u201327. Springer.","DOI":"10.1007\/978-3-319-12027-0_2"},{"key":"S0269888915000132_ref242","first-page":"247","volume-title":"Trends in Belief Revision and Argumentation Dynamics","author":"Liao","year":"2013"},{"key":"S0269888915000132_ref211","unstructured":"Junker U. & Konolige K. 1990. Computing the extensions of autoepistemic and default logics with a truth maintenance system. In Proceedings of the 8th National Conference on Artificial Intelligence, 29 July\u20133 August, 278\u2013283. AAAI Press."},{"key":"S0269888915000132_ref135","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-98197-0_17"},{"key":"S0269888915000132_ref360","unstructured":"Tao J. , Sirin E. , Bao J. & McGuinness D. L. 2010. Extending OWL with integrity constraints. In Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 4\u20137 May, CEUR Workshop Proceedings 573."},{"key":"S0269888915000132_ref175","doi-asserted-by":"crossref","unstructured":"Grell S. , Konczak K. & Schaub T. 2005 nomore<: a system for computing preferred answer sets. In Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, 5\u20138 September, Proceedings, LNCS 3662, 394\u2013398. Springer.","DOI":"10.1007\/11546207_34"},{"key":"S0269888915000132_ref223","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(84)90039-0"},{"key":"S0269888915000132_ref3","unstructured":"Acciarri A. , Calvanese D. , De Giacomo G. , Lembo D. , Lenzerini M. , Palmieri M. & Rosati R. 2005. QuOnto: querying ontologies. In Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, 9\u201313 July, 1670\u20131671. AAAI Press."},{"key":"S0269888915000132_ref299","doi-asserted-by":"crossref","unstructured":"Qi G. , Liu W. & Bell D. A. 2006b. Knowledge base revision in description logics. In Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, 13\u201315 September, Proceedings, LNCS 4160, 386\u2013398. Springer.","DOI":"10.1007\/11853886_32"},{"key":"S0269888915000132_ref107","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio C. V. & Pereira L. M. 1995. A model theory for paraconsistent logic programming. In Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA\u201995, 3\u20136 October, Proceedings, LNCS 990, 377\u2013386. Springer.","DOI":"10.1007\/3-540-60428-6_32"},{"key":"S0269888915000132_ref290","doi-asserted-by":"crossref","unstructured":"Plessers P. & De Troyer O. 2006. Resolving inconsistencies in evolving ontologies. In The Semantic Web: Research and Applications, 3rd European Semantic Web Conference, ESWC 2006, 11\u201314 June, Proceedings, LNCS 4011, 200\u2013214. Springer.","DOI":"10.1007\/11762256_17"},{"key":"S0269888915000132_ref184","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370186"},{"key":"S0269888915000132_ref24","doi-asserted-by":"crossref","unstructured":"Bal\u00e1\u017e M. , Frt\u00fas J. , Flouris G. , Homola M. & Sefr\u00e1nek J. 2015. Conflict resolution in assumption-based frameworks. In Multi-Agent Systems\u201412th European Conference, EUMAS 2014, 18\u201319 December, Revised Selected Papers, LNCS 8953, 360\u2013369. Springer.","DOI":"10.1007\/978-3-319-17130-2_24"},{"key":"S0269888915000132_ref350","doi-asserted-by":"crossref","unstructured":"Son T. C. , Pontelli E. & Sakama C. 2009. Logic programming for multiagent planning with negotiation. In Logic Programming, 25th International Conference, ICLP 2009, 14\u201317 July, Proceedings, LNCS 5649, 99\u2013114. Springer.","DOI":"10.1007\/978-3-642-02846-5_13"},{"key":"S0269888915000132_ref127","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001753"},{"key":"S0269888915000132_ref111","unstructured":"Delgrande J. P. 2008. Horn clause belief change: contraction functions. In Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, 16\u201319 September, 156\u2013165. AAAI Press."},{"key":"S0269888915000132_ref38","doi-asserted-by":"publisher","DOI":"10.1007\/b104925"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","author":"Baader","key":"S0269888915000132_ref21"},{"key":"S0269888915000132_ref164","unstructured":"Ghidini C. , Serafini L. & Tessaris S. 2008. Bridging heterogeneous representations of binary relations: first results. In Proceedings of the 21st International Workshop on Description Logics (DL2008), 13\u201316 May, CEUR Workshop Proceedings 353."},{"key":"S0269888915000132_ref279","doi-asserted-by":"crossref","unstructured":"Noy N. F. , Fergerson R. W. & Musen M. A. 2000. The knowledge model of Prot\u00e9g\u00e9-2000: combining interoperability and flexibility. In Knowledge Acquisition, Modeling and Management, 12th International Conference, EKAW 2000, 2\u20136 October, Proceedings, LNCS 1937, 17\u201332. Springer.","DOI":"10.1007\/3-540-39967-4_2"},{"key":"S0269888915000132_ref2","first-page":"2014","article-title":"Tutorials on structured argumentation original articles","volume":"5","year":"2014","journal-title":"Argument and Computation, Special Issue"},{"key":"S0269888915000132_ref5","unstructured":"Adaricheva K. V. , Sloan R. H. , Sz\u00f6r\u00e9nyi B. & Tur\u00e1n G. 2011. Horn belief contraction: remainders, envelopes and complexity. In Logical Formalizations of Commonsense Reasoning, Papers from the 2011 AAAI Spring Symposium, 21\u201323 March. Technical report SS-11-06, AAAI."},{"key":"S0269888915000132_ref283","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-5583-3"},{"key":"S0269888915000132_ref6","unstructured":"Alc\u00e2ntara J. , Dam\u00e1sio C. V. & Pereira L. M. 2004. A declarative characterization of disjunctive paraconsistent answer sets. In Proceedings of the 16th European Conference on Artificial Intelligence, ECAI\u20192004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, 22\u201327 August, 951\u2013952. IOS Press."},{"key":"S0269888915000132_ref252","doi-asserted-by":"crossref","unstructured":"Magiridou M. , Sahtouris S. , Christophides V. & Koubarakis M. 2005. RUL: a declarative update language for RDF. In The Semantic Web\u2014ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, 6\u201310 November, Proceedings, LNCS 3729, 506\u2013521. Springer.","DOI":"10.1007\/11574620_37"},{"key":"S0269888915000132_ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF00883931"},{"key":"S0269888915000132_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370430"},{"key":"S0269888915000132_ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2008.11.006"},{"key":"S0269888915000132_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-011-9271-9"},{"key":"S0269888915000132_ref16","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/13.4.557"},{"key":"S0269888915000132_ref234","unstructured":"Leite J. & Martins J. 2011. Social abstract argumentation. In IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, 16\u201322 July, Walsh, T. (ed.), 2287\u20132292. IJCAI\/AAAI."},{"key":"S0269888915000132_ref91","unstructured":"Chortis M. & Flouris G. 2015. A diagnosis and repair framework for ${ DL{\\hbox -}Lite}_{\\cal A} $ KBs. In Proceedings of the First DIACHRON Workshop on Managing the Evolution and Preservation of the Data Web Co-Located with 12th European Semantic Web Conference (ESWC 2015), 31 May, CEUR Workshop Proceedings 1377, 1\u201315."},{"key":"S0269888915000132_ref22","doi-asserted-by":"crossref","unstructured":"Bal\u00e1\u017e M. , Frt\u00fas J. & Homola M. 2014a. Conflict resolution in structured argumentation. In LPAR 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 12\u201317 December, Short Papers Proceedings, EPiC Series 26, 23\u201334. EasyChair.","DOI":"10.29007\/brgz"},{"key":"S0269888915000132_ref220","doi-asserted-by":"crossref","unstructured":"Konstantinidis G. , Flouris G. , Antoniou G. & Christophides V. 2008b. On RDF\/S ontology evolution. In Semantic Web, Ontologies and Databases, VLDB Workshop, SWDB-ODBIS 2007, 24 September, Revised Selected Papers, LNCS 5005, 21\u201342. Springer.","DOI":"10.1007\/978-3-540-70960-2_2"},{"key":"S0269888915000132_ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01907-4_16"}],"container-title":["The Knowledge Engineering Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0269888915000132","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T14:42:01Z","timestamp":1767624121000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0269888915000132\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,30]]},"references-count":381,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2015,11]]}},"alternative-id":["S0269888915000132"],"URL":"https:\/\/doi.org\/10.1017\/s0269888915000132","relation":{},"ISSN":["0269-8889","1469-8005"],"issn-type":[{"type":"print","value":"0269-8889"},{"type":"electronic","value":"1469-8005"}],"subject":[],"published":{"date-parts":[[2015,10,30]]}}}