Login / Signup
Konrad Zuse und N. Joachim Lehmann.
Hartmut Petzold
Published in:
GI Jahrestagung (2) (2010)
Keyphrases
</>
default reasoning
nonmonotonic reasoning
default rules
tableau calculus
orders of magnitude
learning algorithm
high level
lower bound
general purpose
linear programming
logic programming
commonsense reasoning