ccGolog -- A Logical Language Dealing with Continuous Change.

Henrik Grosskreutz Gerhard Lakemeyer

Published in: Log. J. IGPL (2003)

Keyphrases

logical language
formal semantics
situation calculus
state space
continuous domains
computer vision
image processing
decision trees
case study
database systems
image sequences
continuous data