@inproceedings{1a78d949b0c44cdd925526cab6090b94,
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: {\textcopyright} Copyright 2014, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.; 28th AAAI Conference on Artificial Intelligence, AAAI 2014 ; Conference date: 28-07-2014",
year = "2014",
language = "English",
series = "AAAI Workshop - Technical Report",
publisher = "AI Access Foundation",
pages = "38--41",
booktitle = "Cognitive Computing for Augmented Human Intelligence - Papers Presented at the 28th AAAI Conference on Artificial Intelligence, Technical Report",
}