{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:27:09Z","timestamp":1729661229039,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1109\/iri.2013.6642483","type":"proceedings-article","created":{"date-parts":[[2013,10,30]],"date-time":"2013-10-30T20:13:22Z","timestamp":1383164002000},"page":"278-284","source":"Crossref","is-referenced-by-count":0,"title":["About logic-based A.I. systems that must handle incoming symbolic knowledge"],"prefix":"10.1109","author":[{"given":"Eric","family":"Gregoire","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"741","article-title":"Prime implicate-based belief revision operators","author":"bienvenu","year":"2008","journal-title":"In20th European Conference on Artificial Intelligence(ECAI 2012)"},{"key":"22","article-title":"Handling incomingbeliefs","author":"besnard","year":"2013","journal-title":"6th Int Conf on Knowledge ScienceEngineering and Management (KSEM13)"},{"journal-title":"14th Int Conf on Theory and Applications of SatisfiabilityTesting (SAT11)","year":"2011","key":"17"},{"key":"18","first-page":"507","article-title":"Implementing iterated belief change via primeimplicates","author":"zhuang","year":"2007","journal-title":"Mehmet A Orgun and John Thornton Editors Australian Conference on Artificial Intelligence Volume 4830 of Lecture Notes in ComputerScience"},{"key":"15","first-page":"532","article-title":"Overridingsubsuming rules","author":"besnard","year":"2011","journal-title":"Proc ECSQARU"},{"key":"16","first-page":"587","article-title":"Logic-basedfusion of legal knowledge","author":"besnard","year":"2012","journal-title":"Proceedings of FUSION 2012"},{"key":"13","first-page":"44","article-title":"Enforcinglogically weaker knowledge in classical logic","author":"besnard","year":"2011","journal-title":"In5th Int Conf on Knowledge Science Engineering AndManagement (KSEM11)"},{"key":"14","first-page":"893","article-title":"Preemptionoperators","author":"besnard","year":"2012","journal-title":"Proc ECIO 2012"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/176567.176571"},{"key":"12","first-page":"352","article-title":"On the semanticsof updates in databases","author":"fagin","year":"1983","journal-title":"Proc PODS"},{"key":"21","first-page":"197","article-title":"Generating allabductive explanations for queries on propositionalhorn theories","author":"eiter","year":"2003","journal-title":"Computer Science Logic 17th InternationalWorkshop CSL 2003 12th Annual Conferenceof the EACSL and 8th Kurt Godel Colloquium KGC 2003"},{"key":"3","first-page":"387","article-title":"On the difference betweenupdating a knowledge base and revising it","author":"katsuno","year":"1991","journal-title":"InProc of KR91"},{"key":"20","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1613\/jair.989","article-title":"A knowledgecompilation map","volume":"17","author":"darwiche","year":"2002","journal-title":"J Artif Intell Res (JAIR)"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.2307\/2274239"},{"key":"1","first-page":"295","article-title":"AGM 25 years twenty-fiveyears of research in belief change","volume":"40","author":"ferme","year":"2011","journal-title":"The Journal of Philosophy"},{"key":"10","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1145\/153850.153857","article-title":"On the semantics of theory change: Arbitrationbetween old and new information","author":"revesz","year":"1993","journal-title":"Proc PODS"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.inffus.2005.07.002"},{"key":"6","first-page":"488","article-title":"On the logic of merging","author":"konieczny","year":"1998","journal-title":"Proc of KR98"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-007-0814-3","author":"hansson","year":"1999","journal-title":"A Textbook of Belief Dynamics TheoryChange and Database Updating"},{"key":"4","volume":"103","author":"gardenfors","year":"1988","journal-title":"Knowledge in Flux Modeling the Dynamics of Epistemic States"},{"key":"9","first-page":"475","article-title":"Investigations into a theory of knowledgebase revision (preliminary report)","volume":"2","author":"dalal","year":"1988","journal-title":"Proceedings ofAAAI"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(79)90008-0"}],"event":{"name":"2013 IEEE 14th International Conference on Information Reuse & Integration (IRI)","start":{"date-parts":[[2013,8,14]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,8,16]]}},"container-title":["2013 IEEE 14th International Conference on Information Reuse & Integration (IRI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6621630\/6642428\/06642483.pdf?arnumber=6642483","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,31]],"date-time":"2019-07-31T14:41:02Z","timestamp":1564584062000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6642483\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/iri.2013.6642483","relation":{},"subject":[],"published":{"date-parts":[[2013,8]]}}}