A New Equational Foundation for the Fluent Calculus.

Hans-Peter Störr Michael Thielscher

Published in: Computational Logic (2000)

Keyphrases

fluent calculus
situation calculus
reasoning about actions
programming language
theorem proving
predicate logic
equational theories
theoretical foundation
theorem prover
general purpose
logic programming
first order logic
natural language