@inproceedings{3ddc9a1c094f4df687e1389b0d141d52,
title = "Inference graphs: A new kind of hybrid reasoning system",
abstract = "Hybrid reasoners combine multiple types of reasoning, usually subsumption and Prolog-style resolution. We outline a system which combines natural deduction and subsumption reasoning using Inference Graphs implementing a Logic of Arbitrary and Indefinite Objects.",
author = "Schlegel, \{Daniel R.\} and Shapiro, \{Stuart C.\}",
note = "Publisher Copyright: Copyright {\textcopyright} 2014, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.; 28th AAAI Conference on Artificial Intelligence, AAAI 2014, 26th Innovative Applications of Artificial Intelligence Conference, IAAI 2014 and the 5th Symposium on Educational Advances in Artificial Intelligence, EAAI 2014 ; Conference date: 27-07-2014 Through 31-07-2014",
year = "2014",
language = "English",
series = "Proceedings of the National Conference on Artificial Intelligence",
publisher = "AI Access Foundation",
pages = "3134--3135",
booktitle = "Proceedings of the National Conference on Artificial Intelligence",
}