Expressiveness of ADL and Golog: Functions Make a Difference.

Gabriele Röger Bernhard Nebel

Published in: AAAI (2007)

Keyphrases

situation calculus
decision theoretic
convex functions
expressive power
description language
database
genetic algorithm
information systems
expert systems