A Denotational Semantics for Equilibrium Logic.

Felicidad Aguado Pedro Cabalar David Pearce Gilberto Pérez Concepción Vidal

Published in: CoRR (2015)

Keyphrases

denotational semantics
programming language
operational semantics
query language
abstract data types
object oriented
high level
software engineering
database
data types
association rules
spatio temporal
management system
multi dimensional
expressive power