On the Unification of Process Semantics: Observational Semantics.

David de Frutos-Escrig Carlos Gregorio-Rodríguez Miguel Palomino

Published in: SOFSEM (2009)

Keyphrases

conceptual model
logic programming
formal semantics
higher order
databases
artificial intelligence
high level
expert systems
logic programs
semantic information
schema mappings
operational semantics
nonmonotonic logics
model theoretic
proof theory
logical language