Default Rules: An Extension of Constructive Negation for Narrowing-based Languages.
Juan José Moreno-NavarroPublished in: ICLP (1994)
Keyphrases
- default rules
- default theories
- default logic
- logic programming
- default reasoning
- expressive power
- commonsense reasoning
- nonmonotonic reasoning
- logic programs
- answer set programming
- knowledge base
- autoepistemic logic
- possibility theory
- temporal reasoning
- belief revision
- integrity constraints
- missing data
- fuzzy logic
- domain knowledge
- learning algorithm