{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:31:36Z","timestamp":1723015896768},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,8]]},"abstract":"Evidence logics model agents' belief revision process as they incorporate and aggregate information obtained from multiple sources.\nThis information is captured using neighbourhood structures, where individual neighbourhoods represent pieces of evidence.\nIn this paper we propose an extended framework which allows one to explicitly quantify either the number of evidence sets, or effort, needed to justify a given proposition, provide a complete deductive calculus and a proof of decidability, and show how existing frameworks can be embedded into ours.<\/jats:p>","DOI":"10.24963\/ijcai.2019\/211","type":"proceedings-article","created":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T07:46:05Z","timestamp":1564299965000},"page":"1523-1529","source":"Crossref","is-referenced-by-count":3,"title":["Stratified Evidence Logics"],"prefix":"10.24963","author":[{"given":"Philippe","family":"Balbiani","sequence":"first","affiliation":[{"name":"Institut de Recherche en Informatique de Toulouse, Toulouse University"}]},{"given":"David","family":"Fern\u00e1ndez-Duque","sequence":"additional","affiliation":[{"name":"Ghent University"}]},{"given":"Andreas","family":"Herzig","sequence":"additional","affiliation":[{"name":"Institut de Recherche en Informatique de Toulouse, Toulouse University"}]},{"given":"Emiliano","family":"Lorini","sequence":"additional","affiliation":[{"name":"Institut de Recherche en Informatique de Toulouse, Toulouse University"}]}],"member":"10584","event":{"number":"28","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-2019","name":"Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}","start":{"date-parts":[[2019,8,10]]},"theme":"Artificial Intelligence","location":"Macao, China","end":{"date-parts":[[2019,8,16]]}},"container-title":["Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T07:47:36Z","timestamp":1564300056000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2019\/211"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2019,8]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2019\/211","relation":{},"subject":[],"published":{"date-parts":[[2019,8]]}}}