On the Abstractness of Continuation Semantics.

Gabriel Ciobanu Eneia Nicolae Todoran

Published in: SYNASC (2018)

Keyphrases

formal semantics
logic programming
databases
database systems
conceptual graphs
semantic representation
active rules
database
information retrieval
multi agent
natural language processing
conceptual model
default reasoning
speech acts
model theoretic
argumentation semantics