Login / Signup
Reasoning with Negation and Sets.
James D. Jones
Published in:
CATA (2004)
Keyphrases
</>
logic programs
knowledge base
logic programming
reasoning process
horn clauses
qualitative reasoning
open world
truth values
reasoning systems
automated reasoning
knowledge representation
spatial reasoning
meta level
probabilistic reasoning
modal logic
model based reasoning
neural network