{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:33:32Z","timestamp":1729640012741,"version":"3.28.0"},"reference-count":40,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/synasc.2015.68","type":"proceedings-article","created":{"date-parts":[[2016,3,7]],"date-time":"2016-03-07T21:21:15Z","timestamp":1457385675000},"page":"415-422","source":"Crossref","is-referenced-by-count":4,"title":["Incremental Reasoning on Strongly Distributed Multi-agent Systems"],"prefix":"10.1109","author":[{"given":"Elena V.","family":"Ravve","sequence":"first","affiliation":[]},{"given":"Zeev","family":"Volkovich","sequence":"additional","affiliation":[]},{"given":"Gerhard-Wilhelm","family":"Weber","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023764"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1137\/0216051"},{"article-title":"Specification et vérification de propriétés quantitatives: Expressions, logiques et automates","year":"2013","author":"monmegc","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.119.12"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2013.16"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60246-1_159"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/800070.802186"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1992.185547"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1969.tb00356.x"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1111\/j.1755-2567.1966.tb00600.x","article-title":"First order predicate logic with generalized quantifiers","volume":"32","author":"lindstr\u00f6m","year":"1966","journal-title":"Theoria"},{"key":"ref10","first-page":"569","article-title":"Point-based incremental pruning heuristic for solving finite-horizon DEC-POMDPs","author":"dibangoye","year":"0","journal-title":"Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems-Volume 1 ser AAMAS ‘09"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24897-9_2"},{"key":"ref11","first-page":"1","article-title":"Four scenarios of effective computations on sum-like graphs","author":"ravve","year":"2014","journal-title":"Proc of the The 9th Intern Multi-Conference on Computing in the Global Informationin Technology"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1023\/B:AGNT.0000019688.11109.19"},{"key":"ref13","first-page":"11","article-title":"Reasoning about distributed systems: WYSI-WYG (invited talk)","author":"cyriac","year":"0","journal-title":"34th International Conference on Foundation of Software Technology and Theoretical Computer Science FSTTCS"},{"journal-title":"Mathematical Logic 2ndedition ser Undergraduate Texts in Mathematics","year":"1994","author":"ebbinghaus","key":"ref14"},{"journal-title":"An Introduction to MultiAgent Systems (2 ed )","year":"2009","author":"wooldridge","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888900008122"},{"key":"ref17","first-page":"325","article-title":"An efficient functional coverage test for HDL descriptions at RTL","author":"jou","year":"1999","journal-title":"Int Conf Computer Design"},{"journal-title":"Artificial Intelligence A Modern Approach","year":"2003","author":"russell","key":"ref18"},{"journal-title":"Design of Agent-Based Models","year":"2011","author":"salamon","key":"ref19"},{"key":"ref28","first-page":"24","article-title":"The expressive power of finitely many genaralized quantifiers","author":"dawar","year":"1993","journal-title":"Technical Report CSR"},{"journal-title":"Distributed Coordination of Multi-agent Networks Emergent Problems Models and Issues","year":"2013","author":"ren","key":"ref4"},{"article-title":"Ehrenfeucht-Fraïssé games for fixed point logic","year":"1995","author":"bosse","key":"ref27"},{"journal-title":"Cooperative Control of Distributed Multi-Agent Systems","year":"2008","author":"shamma","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/WI-IAT.2012.143"},{"article-title":"Database decomposition with translation schemes","year":"1998","author":"ravve","key":"ref29"},{"key":"ref5","first-page":"476","article-title":"D*Lite","author":"koenig","year":"0","journal-title":"Eighteenth national conference on Artificial intelligence"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.02.055"},{"key":"ref7","article-title":"Tree-based solution methods for multi agent POMDPs with delayed communication","author":"oliehoek","year":"0","journal-title":"Proceedings of the National Conference on Artificial Intelligence"},{"journal-title":"Multiagent Systems A Modern Approach to Distributed Artificial Intelligence","year":"1999","author":"weiss","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(97)00048-1"},{"journal-title":"Multi-Agent Systems An Introduction to Distributed Artificial Intelligence","year":"1999","author":"ferber","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1137\/0218043"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1080\/02331934.2013.865735"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2013.59"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"57","DOI":"10.4064\/fm-47-1-57-103","article-title":"The first order properties of products of algebraic systems","volume":"47","author":"feferman","year":"1959","journal-title":"Fundamenta Mathematicae"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-070-4"},{"key":"ref26","volume":"73","author":"chang","year":"1990","journal-title":"Model Theory 3rd ed ser Studies in Logic"},{"key":"ref25","first-page":"58","article-title":"A simple method for undecidability proofs and some applications","author":"rabin","year":"1965","journal-title":"Logic Methodology and Philosophy of Science II Ser Studies in Logic"}],"event":{"name":"2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","start":{"date-parts":[[2015,9,21]]},"location":"Timisoara, Romania","end":{"date-parts":[[2015,9,24]]}},"container-title":["2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7425657\/7425822\/07426112.pdf?arnumber=7426112","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,14]],"date-time":"2024-06-14T21:19:25Z","timestamp":1718399965000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7426112\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/synasc.2015.68","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}