A Dynamic Logic for Configuration.

Ching Hoo Tang Christoph Weidenbach

Published in: ARQNL@IJCAR (2016)

Keyphrases

dynamic logic
modal logic
reasoning about actions
imperative programs
real time
neural network
agent programming
multi dimensional
optimal configuration
propositional dynamic logic
artificial intelligence
first order logic
configuration space