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