Value Minimization in Circumscription.
Chitta BaralAlfredo GabaldonAlessandro ProvettiPublished in: Artif. Intell. (1998)
Keyphrases
- logic programs
- default logic
- objective function
- logic programming
- closed world assumption
- situation calculus
- nonmonotonic reasoning
- commonsense knowledge
- autoepistemic logic
- nonmonotonic logics
- default reasoning
- answer sets
- error function
- real time
- data sets
- decision making
- information systems
- genetic algorithm
- information retrieval
- minimal models
- geometric interpretation