Interactive semantics.

Published in: Artif. Intell. (2010)

Keyphrases

logic programming
formal semantics
user friendly
default reasoning
highly interactive
information systems
image processing
database systems
multi agent systems
semantic information
model theoretic
interactive video
update semantics