Open AccessInference Graphs: A New Kind of Hybrid Reasoning System
Author(s) -
Daniel Schlegel,
Stuart C. 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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom