{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,2]],"date-time":"2025-03-02T11:40:10Z","timestamp":1740915610169,"version":"3.38.0"},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1109\/icarcv.2010.5707867","type":"proceedings-article","created":{"date-parts":[[2011,2,3]],"date-time":"2011-02-03T21:46:12Z","timestamp":1296769572000},"page":"970-975","source":"Crossref","is-referenced-by-count":1,"title":["Automatic synthesis of reactive agents"],"prefix":"10.1109","author":[{"given":"Insu","family":"Song","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Loachim","family":"Diederich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/224964.224982"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90053-M"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/11941439_85"},{"key":"ref30","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","article-title":"Reasoning about Knowledge","author":"fagin","year":"1995"},{"key":"ref37","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/BFb0031845","article-title":"AgentSpeak(L): BDI agents speak out in a logical computable language","author":"rao","year":"1996","journal-title":"Agents Breaking Away (LNAI 1038)"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/371316.371517"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"ref34","first-page":"15","article-title":"Implementing knowledge-based programs","author":"vardi","year":"1996","journal-title":"Proc TARK 1996"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2003.07.001"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1082473.1082558"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00015-5"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.1997.10510900"},{"key":"ref15","first-page":"590","article-title":"Practical first-order argumentation","author":"besnard","year":"2005","journal-title":"AAAI 2005"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1093\/oso\/9780198537472.003.0009","article-title":"Possibilistic logic","author":"dubois","year":"1994","journal-title":"Handbook of Logic in Artificial Intelligence and Logic Programming Volume 3 Nonmonotonic Reasoning and Uncertain Reasoning"},{"key":"ref17","first-page":"76","article-title":"A logic programming framework for possibilistic argumentation with vague knowledge","author":"chesnevar","year":"2004","journal-title":"Proc AUAI '04 the 20th conference on Uncertainty in artificial intelligence"},{"key":"ref18","article-title":"Layered argumentation for fuzzy automation controllers","author":"insu song","year":"2010","journal-title":"4th IEEE International Conference on Cybernetics and Intelligent Systems"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1160633.1160874"},{"journal-title":"A symbolic analysis of relay and switching circuits","year":"1938","author":"shannon","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/375735.375766"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(95)00095-X"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/JRA.1986.1087032"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1093\/oso\/9780198537472.003.0007","article-title":"Defeasible logic","author":"nute","year":"1994","journal-title":"Handbook of Logic in Artificial Intelligence and Logic Programming Volume 3 Nonmonotonic Reasoning and Uncertain Reasoning"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00056-7"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90012-0"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90011-9"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/8.3.293"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(85)90042-6"},{"key":"ref1","article-title":"FPGAs enabling consumer electronics a growing trend","author":"dhanani","year":"2005","journal-title":"FPGA and Programmable Logic Journal"},{"key":"ref20","article-title":"A compact argumentation system for agent system specification","volume":"142","author":"song","year":"2006","journal-title":"Proceedings of the Third Starting AI Researchers' Symposium STAIRS '06"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-50701-9_19"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/14.5.675"},{"key":"ref24","first-page":"476","article-title":"A clash of intuitions: The current state of nonmonotonic multiple inheritance systems","author":"touretzky","year":"1987","journal-title":"Proc IJCAI-87"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90057-5"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"ref25","first-page":"405","article-title":"A flexible framework for defeasible logics","author":"antoniou","year":"2000","journal-title":"AAAI 2000"}],"event":{"name":"Vision (ICARCV 2010)","start":{"date-parts":[[2010,12,7]]},"location":"Singapore, Singapore","end":{"date-parts":[[2010,12,10]]}},"container-title":["2010 11th International Conference on Control Automation Robotics & Vision"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5702939\/5707203\/05707867.pdf?arnumber=5707867","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,2]],"date-time":"2025-03-02T10:36:30Z","timestamp":1740911790000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5707867\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/icarcv.2010.5707867","relation":{},"subject":[],"published":{"date-parts":[[2010,12]]}}}