A Case Study in Reasoning about Actions and Continuous Change.

Published in: ECAI (1996)

Keyphrases

reasoning about actions
logic programming
situation calculus
action language
dynamic logic
action theories
fluent calculus
propositional dynamic logic
case study
test bed
database
data mining
answer set programming
minimal change
neural network