Erratum to: Extension of a Decision Procedure for a Fragment of Hybrid Logic with Binders.
Marta Cialdea MayerPublished in: J. Autom. Reason. (2015)
Keyphrases
- tableau calculus
- decision making
- logic programming
- decision makers
- search procedure
- description logics
- modal logic
- classical logic
- linear time temporal logic
- database
- hybrid approaches
- proof procedure
- epistemic logic
- predicate logic
- iterative procedure
- decision process
- decision rules
- objective function
- decision trees
- knowledge base
- artificial intelligence
- databases