Automated Reasoning for the Dialetheic Logic RM3. Sutcliffe, G., Pelletier, F. J., & Hazen, A. P. In Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2017, Marco Island, Florida, USA, May 22-24, 2017., pages 110–115, 2017. bibtex @inproceedings{SutcliffePH17,
author = {Geoff Sutcliffe and
Francis Jeffry Pelletier and
Allen P. Hazen},
title = {Automated Reasoning for the Dialetheic Logic {RM3}},
booktitle = {Proceedings of the Thirtieth International Florida Artificial Intelligence
Research Society Conference, {FLAIRS} 2017, Marco Island, Florida,
USA, May 22-24, 2017.},
pages = {110--115},
year = {2017},
}
Downloads: 0
{"_id":"AhL86E5Dov7zfYdBi","bibbaseid":"sutcliffe-pelletier-hazen-automatedreasoningforthedialetheiclogicrm3-2017","authorIDs":[],"author_short":["Sutcliffe, G.","Pelletier, F. J.","Hazen, A. P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Geoff"],"propositions":[],"lastnames":["Sutcliffe"],"suffixes":[]},{"firstnames":["Francis","Jeffry"],"propositions":[],"lastnames":["Pelletier"],"suffixes":[]},{"firstnames":["Allen","P."],"propositions":[],"lastnames":["Hazen"],"suffixes":[]}],"title":"Automated Reasoning for the Dialetheic Logic RM3","booktitle":"Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2017, Marco Island, Florida, USA, May 22-24, 2017.","pages":"110–115","year":"2017","bibtex":"@inproceedings{SutcliffePH17,\n\t\t author = {Geoff Sutcliffe and\n\t\t\t\t Francis Jeffry Pelletier and\n\t\t\t\t\t\t\t\t\t\t Allen P. Hazen},\n\t\t title = {Automated Reasoning for the Dialetheic Logic {RM3}},\n\t\t\t booktitle = {Proceedings of the Thirtieth International Florida Artificial Intelligence\n\t\t\t\t\t Research Society Conference, {FLAIRS} 2017, Marco Island, Florida,\n\t\t\t\t\t\t\t\t\t USA, May 22-24, 2017.},\n\t\t\t pages = {110--115},\n\t\t\t\t year = {2017},\n}\n\n","author_short":["Sutcliffe, G.","Pelletier, F. J.","Hazen, A. P."],"key":"SutcliffePH17","id":"SutcliffePH17","bibbaseid":"sutcliffe-pelletier-hazen-automatedreasoningforthedialetheiclogicrm3-2017","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://cs.stanford.edu/~yoniz/test.bib","creationDate":"2019-07-02T21:19:47.731Z","downloads":0,"keywords":[],"search_terms":["automated","reasoning","dialetheic","logic","rm3","sutcliffe","pelletier","hazen"],"title":"Automated Reasoning for the Dialetheic Logic RM3","year":2017,"dataSources":["ChWnbF8EqSa8nccMs"]}