Optimal Tableaux for Propositional Dynamic Logic with Converse

Rajeev Goré Florian Widmann

Published in: CoRR (2010)

Keyphrases

propositional dynamic logic
dynamic programming
optimal solution
neural network
data sets
genetic algorithm
knowledge base
data structure
multi agent systems
worst case
finding optimal