Eliminating the Fixed Predicates from a Circumscription.

Johan de Kleer Kurt Konolige

Published in: Artif. Intell. (1989)

Keyphrases

data mining
fixed number
default logic
situation calculus
logic programs
commonsense knowledge
data sets
user defined
logic programming
closed world assumption
theorem prover
spatial data
relational databases
multi agent
website
search engine
default reasoning
learning algorithm
real world