Using Strategic Logics to Reason about Agent Programs. Yadav, N. & Sardiña, S. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 2013. ![Using Strategic Logics to Reason about Agent Programs [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp1940912,
title = {Using Strategic Logics to Reason about Agent Programs},
author = {Nitin Yadav and Sebastian Sardiña},
author_short = {Yadav, N. and Sardiña, S.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2013},
key = {dblp1940912},
id = {dblp1940912},
biburl = {http://www.dblp.org/rec/bibtex/conf/ijcai/YadavS13},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6783},
conference = {IJCAI},
text = {IJCAI 2013},
booktitle = {Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)}
}
Downloads: 0
{"_id":"9Yc5NK4RNeK34Eg7f","authorIDs":[],"author_short":["Yadav, N.","Sardiña, S."],"bibbaseid":"yadav-sardia-usingstrategiclogicstoreasonaboutagentprograms-2013","bibdata":{"title":"Using Strategic Logics to Reason about Agent Programs","author":["Nitin Yadav","Sebastian Sardiña"],"author_short":["Yadav, N.","Sardiña, S."],"bibtype":"inproceedings","type":"inproceedings","year":"2013","key":"dblp1940912","id":"dblp1940912","biburl":"http://www.dblp.org/rec/bibtex/conf/ijcai/YadavS13","url":"http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6783","conference":"IJCAI","text":"IJCAI 2013","booktitle":"Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)","bibtex":"@inproceedings{ dblp1940912,\n title = {Using Strategic Logics to Reason about Agent Programs},\n author = {Nitin Yadav and Sebastian Sardiña},\n author_short = {Yadav, N. and Sardiña, S.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2013},\n key = {dblp1940912},\n id = {dblp1940912},\n biburl = {http://www.dblp.org/rec/bibtex/conf/ijcai/YadavS13},\n url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6783},\n conference = {IJCAI},\n text = {IJCAI 2013},\n booktitle = {Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)}\n}","bibbaseid":"yadav-sardia-usingstrategiclogicstoreasonaboutagentprograms-2013","role":"author","urls":{"Paper":"http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6783"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/ijcai/YadavS13","creationDate":"2015-01-31T11:48:06.894Z","downloads":0,"keywords":[],"search_terms":["using","strategic","logics","reason","agent","programs","yadav","sardiña"],"title":"Using Strategic Logics to Reason about Agent Programs","year":2013,"dataSources":["LWg2b5GNCMy9WHd6X"]}