Component-based semantics.

Peter D. Mosses

Published in: SAVCBS (2009)

Keyphrases

formal semantics
database
learning algorithm
logical framework
databases
data sources
logic programming
operational semantics
transformation rules
nonmonotonic logics