The TOQL System.

Evdoxios Baratis Nikolaos Maris Euripides G. M. Petrakis Sotiris Batsakis Nikos Papadakis

Published in: SSTD (2009)

Keyphrases

event calculus
reasoning mechanism
high level query language
temporal reasoning
situation calculus
training data
domain knowledge
software engineering
description logics
expressive power
belief revision