Terminating Tableaux for Hybrid Logic with Eventualities.
Mark KaminskiGert SmolkaPublished in: IJCAR (2010)
Keyphrases
- modal logic
- automated reasoning
- sequent calculi
- logic programming
- classical logic
- dynamic logic
- decision procedures
- defeasible logic
- proof procedure
- data sets
- multi valued
- hybrid learning
- epistemic logic
- belief revision
- nonmonotonic logics
- digital circuits
- predicate logic
- multi agent
- genetic algorithm
- proof theory
- hybrid approaches
- classical first order logic
- machine learning