The implications in conditional logic.
Fernando GuzmánPublished in: Algebraic Logic and Universal Algebra in Computer Science (1988)
Keyphrases
- conditional logic
- default reasoning
- belief revision
- nonmonotonic reasoning
- higher order logic
- modal logic
- defeasible reasoning
- sound and complete axiomatization
- nonmonotonic inference
- knowledge representation and reasoning
- higher order
- default logic
- heuristic search
- logic programming
- description logics
- sequent calculi
- state space