Computing MPMA Updates Using Dijkstra's Semantics.

Patrick Doherty Witold Lukaszewicz Ewa Madalinska-Bugaj

Published in: ISMIS (1999)

Keyphrases

update semantics
formal semantics
multiscale
database
databases
data model
domain knowledge
programming language
logic programming
logical language