The Complexity of Reasoning with FODD and GFODD.

Benjamin J. Hescott Roni Khardon

Published in: AAAI (2014)

Keyphrases

knowledge base
reasoning systems
polynomial hierarchy
neural network
resource bounded
spatial reasoning
worst case
meta level
complexity analysis
logic programs
automated reasoning
reasoning tasks
reasoning process
computational properties
analogical reasoning
knowledge representation
multi agent systems