Login / Signup
FONML3 - A First-Order Non-monotonic Logic with Explicit Defaults.
Patrick Doherty
Witold Lukaszewicz
Published in:
ECAI (1992)
Keyphrases
</>
first order logic
expressive power
default reasoning
higher order
term rewriting
special case
machine learning
knowledge base
image processing
default theories
quantifier elimination