Reasoning about Actions, Narratives and Ramification.

Antonis C. Kakas Rob Miller

Published in: Electron. Trans. Artif. Intell. (1997)

Keyphrases

reasoning about actions
logic programming
situation calculus
action language
dynamic logic
action theories
indirect effects
fluent calculus
propositional dynamic logic
databases
minimal change
general purpose
logic programs
programming language
software engineering
web services
knowledge base
machine learning