KB_Bio_101: A Challenge for TPTP First-Order Reasoners
V. Chaudhri, M. Wessel, and S. Heymans. In KInAR - Knowledge Intensive Automated Reasoning Workshop at CADE-24, the 24th International Conference on Automated Deduction, Lake Placid, New York, USA, (June 2013)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 vinaykchaudhrimichaelawessel2013kbbio101
%A Chaudhri, Vinay K.
%A Wessel, Michael A.
%A Heymans, Stijn
%B In KInAR - Knowledge Intensive Automated Reasoning Workshop at CADE-24, the 24th International Conference on Automated Deduction
%C Lake Placid, New York, USA
%D 2013
%K 2013 myown refereedpub
%T KB_Bio_101: A Challenge for TPTP First-Order Reasoners
%U http://stijnheymans.net/pubs/kinar2013.pdf
@inproceedings{vinaykchaudhrimichaelawessel2013kbbio101,
added-at = {2013-05-10T17:23:13.000+0200},
address = {Lake Placid, New York, USA},
author = {Chaudhri, Vinay K. and Wessel, Michael A. and Heymans, Stijn},
biburl = {https://www.bibsonomy.org/bibtex/291928ed9ecf1cc7b64e73e8940d87d9c/stijn.heymans},
booktitle = {In KInAR - Knowledge Intensive Automated Reasoning Workshop at CADE-24, the 24th International Conference on Automated Deduction},
interhash = {8c7bc689519c4f397f5aa24c036cb70c},
intrahash = {91928ed9ecf1cc7b64e73e8940d87d9c},
keywords = {2013 myown refereedpub},
month = {June},
timestamp = {2013-05-10T17:28:20.000+0200},
title = {KB_Bio_101: A Challenge for TPTP First-Order Reasoners},
url = {http://stijnheymans.net/pubs/kinar2013.pdf},
year = 2013
}