Login / Signup
Reasoning with Truth.
Peter Roeper
Published in:
J. Philos. Log. (2010)
Keyphrases
</>
knowledge representation
knowledge base
logical reasoning
knowledge acquisition
meta level
proof theory
spatial reasoning
default reasoning
deductive reasoning
truth values
model based reasoning
knowledge representation and reasoning
data sets
website
learning algorithm
machine learning
real world