Strategy logic.

Krishnendu Chatterjee Thomas A. Henzinger Nir Piterman

Published in: Inf. Comput. (2010)

Keyphrases

automated reasoning
multi valued
proof theory
classical logic
databases
database systems
artificial neural networks
logic programming
modal logic
selection strategy
optimal strategy
predicate logic