Open AccessInference Graphs: A New Kind of Hybrid Reasoning System
Author(s) -
Daniel R. Schlegel,
Stewart Shapiro
Publication year - 2014
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v28i1.9104
Subject(s) - prolog , inference , computer science , opportunistic reasoning , reasoning system , resolution (logic) , automated reasoning , artificial intelligence , rule of inference , backward chaining , theoretical computer science , model based reasoning , programming language , inference engine , knowledge representation and reasoning