Clausal Tableaux for Hybrid PDL.

Mark Kaminski Gert Smolka

Published in: Electron. Notes Theor. Comput. Sci. (2011)

Keyphrases

decision procedures
theorem proving
automated reasoning
dynamic logic
hybrid approaches
database
data sets
artificial intelligence
case study
evolutionary algorithm
case based reasoning
constraint propagation
hybrid learning
temporal resolution
deontic logic
propositional dynamic logic