Login / Signup
Rational Default Quantifier Logic.
Emil Weydert
Published in:
ECSQARU-FAPR (1997)
Keyphrases
</>
modal logic
decision making
logic programming
nonmonotonic inference
classical logic
computational properties
real time
deontic logic
asynchronous circuits
proof theory
knowledge base
default reasoning
multi valued
logical framework
commonsense reasoning
sound and complete axiomatization