@inproceedings{son2014finitary,
  title={Finitary S5-theories},
  author={Son, Tran Cao and Pontelli, Enrico and Baral, Chitta and Gelfond, Gregory},
  booktitle={European Workshop on Logics in Artificial Intelligence},
  pages={239--252},
  year={2014},
  organization={Springer, Cham}
}

{"_id":"KmjywEHf8v5zQhSC8","bibbaseid":"son-pontelli-baral-gelfond-finitarys5theories-2014","authorIDs":[],"author_short":["Son, T. C.","Pontelli, E.","Baral, C.","Gelfond, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Finitary S5-theories","author":[{"propositions":[],"lastnames":["Son"],"firstnames":["Tran","Cao"],"suffixes":[]},{"propositions":[],"lastnames":["Pontelli"],"firstnames":["Enrico"],"suffixes":[]},{"propositions":[],"lastnames":["Baral"],"firstnames":["Chitta"],"suffixes":[]},{"propositions":[],"lastnames":["Gelfond"],"firstnames":["Gregory"],"suffixes":[]}],"booktitle":"European Workshop on Logics in Artificial Intelligence","pages":"239–252","year":"2014","organization":"Springer, Cham","bibtex":"@inproceedings{son2014finitary,\n title={Finitary S5-theories},\n author={Son, Tran Cao and Pontelli, Enrico and Baral, Chitta and Gelfond, Gregory},\n booktitle={European Workshop on Logics in Artificial Intelligence},\n pages={239--252},\n year={2014},\n organization={Springer, Cham}\n}\n\n","author_short":["Son, T. C.","Pontelli, E.","Baral, C.","Gelfond, G."],"key":"son2014finitary","id":"son2014finitary","bibbaseid":"son-pontelli-baral-gelfond-finitarys5theories-2014","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://cogintlab-asu.github.io/cogint_bib.bib","creationDate":"2019-10-05T00:43:10.059Z","downloads":0,"keywords":[],"search_terms":["finitary","theories","son","pontelli","baral","gelfond"],"title":"Finitary S5-theories","year":2014,"dataSources":["qFKdMbFtP3HEjG9PQ"]}