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