A denotational semantics for equilibrium logic.

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

Published in: Theory Pract. Log. Program. (2015)

Keyphrases

denotational semantics
programming language
operational semantics
query language
abstract data types
general purpose
high level
software engineering
databases
relational databases
object oriented
formal semantics