First order abduction via tableau and sequent calculi.
Marta Cialdea MayerFiora PirriPublished in: Log. J. IGPL (1993)
Keyphrases
- sequent calculi
- conditional logic
- belief revision
- nonmonotonic reasoning
- description logics
- default reasoning
- knowledge representation and reasoning
- abductive reasoning
- logic programming
- modal logic
- first order logic
- higher order
- background knowledge
- reasoning tasks
- temporal logic
- knowledge base
- probabilistic logic
- desirable properties
- proof procedure
- theorem proving
- programming language
- knowledge representation