Sign in
Abstract Minimality and Circumscription.
Churn-Jung Liau
Bertrand I-Peng Lin
Published in:
Artif. Intell. (1992)
Keyphrases
</>
default reasoning
partial order
logic programs
commonsense knowledge
default logic
database
situation calculus
neural network
high level
answer sets
logic programming
closed world assumption
belief change
theorem prover
higher level
low level
knowledge base
computer vision
data sets