History of Circumscription.

Published in: Artif. Intell. (1993)

Keyphrases

default logic
default reasoning
logic programs
disjunctive logic programming
classical logic
information retrieval
genetic algorithm
social networks
decision making
data structure
expert systems
answer sets
theorem prover