A Multi-reasoner, Justification-Based Approach to Reasoner Correctness.

Michael Lee Nicolas Matentzoglu Bijan Parsia Uli Sattler

Published in: ISWC (2) (2015)

Keyphrases

consistency checking
query answering
knowledge base
information retrieval
databases
meta reasoning
real time
neural network
real world
artificial intelligence
decision making
special case
temporal reasoning