Correia Semantics Revisited.

Thomas Macaulay Ferguson

Published in: Stud Logica (2016)

Keyphrases

formal semantics
semantic information
information retrieval
real time
databases
information systems
case study
multi agent systems
domain knowledge
logic programming
deductive databases
specification language
speech acts
nonmonotonic logics
model theoretic