Some Concerns Regarding Ternary-relation Semantics and Truth-theoretic Semantics in General.

Published in: FLAP (2017)

Keyphrases

formal semantics
special case
logic programming
highly expressive
semantic information
model theoretic
real time
databases
machine learning
artificial intelligence
web services
default reasoning
binary relations
nonmonotonic logics
argumentation semantics