A Fluent Calculus Semantics for ADL with Plan Constraints.

Conrad Drescher Michael Thielscher

Published in: JELIA (2008)

Keyphrases

fluent calculus
situation calculus
programming language
reasoning about actions
default theories
predicate logic
plan recognition
constraint language
logic programming
action language
high level
query language
semantic information
temporal logic
databases
default logic
information retrieval