A Constructive Semantics for Basic Aspect Constructs.

Christiano Braga

Published in: Semantics and Algebraic Specification (2009)

Keyphrases

semantic information
formal semantics
high level
logic programming
operational semantics
data sets
learning algorithm
object oriented
speech acts
nonmonotonic logics
model theoretic
abstract argumentation
semantics of logic programs