Postdiction Problems in Dynamic Logic.

Samir Chopra Dongmo Zhang

Published in: Australian Joint Conference on Artificial Intelligence (2001)

Keyphrases

dynamic logic
np complete
reasoning about actions
information systems
benchmark problems
problems involving
neural network
machine learning
decision problems