Login / Signup
Note about cardinality-based circumscription.
Yves Moinard
Published in:
Artif. Intell. (2000)
Keyphrases
</>
autoepistemic logic
default logic
nonmonotonic logics
situation calculus
disjunctive logic programming
commonsense knowledge
information systems
theorem prover
databases
learning algorithm
data sets
answer sets
default reasoning
event calculus
logic programs
data structure
closed world assumption