DMCA

KB Bio 101 : A Challenge for TPTP FirstOrder Reasoners (2013)

Cached

Download Links

by Vinay K. Chaudhri , Michael A. Wessel , Stijn Heymans
Venue:In: In KInAR - Knowledge Intensive Automated Reasoning Workshop at CADE-24, the 24th International Conference on Automated Deduction, Lake Placid
Citations:2 - 2 self