{"_id":"hmtTjrnksBzHQcX8s","bibbaseid":"ma-orgun-analytictableauxforverifyingagentbeliefs-2008","downloads":0,"creationDate":"2015-10-09T01:43:11.753Z","title":"Analytic Tableaux for Verifying Agent Beliefs","author_short":["Ma, J.","Orgun, M. A."],"year":2008,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/o/Orgun:Mehmet_A=","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ji"],"propositions":[],"lastnames":["Ma"],"suffixes":[]},{"firstnames":["Mehmet","A."],"propositions":[],"lastnames":["Orgun"],"suffixes":[]}],"title":"Analytic Tableaux for Verifying Agent Beliefs","booktitle":"Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, 9-12 December 2008, Sydney, NSW, Australia","pages":"643–646","year":"2008","crossref":"DBLP:conf/iat/2008w","url":"https://doi.org/10.1109/WIIAT.2008.79","doi":"10.1109/WIIAT.2008.79","timestamp":"Fri, 13 Aug 2021 09:26:01 +0200","biburl":"https://dblp.org/rec/conf/iat/MaO08.bib","bibsource":"dblp computer science bibliography, https://dblp.org","author_short":["Ma, J.","Orgun, M. A."],"key":"DBLP:conf/iat/MaO08","id":"DBLP:conf/iat/MaO08","bibbaseid":"ma-orgun-analytictableauxforverifyingagentbeliefs-2008","role":"author","urls":{"Paper":"https://doi.org/10.1109/WIIAT.2008.79"},"metadata":{"authorlinks":{}},"html":""},"search_terms":["analytic","tableaux","verifying","agent","beliefs","ma","orgun"],"keywords":[],"authorIDs":["56171baf372e2a7a1a000670","589d07c721f364182b00000f"],"dataSources":["4JocmSptLqeD5K7hG","uPDiu8Pvr23e2uyMf"]}