Gradability in MTT-Semantics.

Stergios Chatzikyriakidis Zhaohui Luo

Published in: TbiLLC (2019)

Keyphrases

logic programming
proof theory
database systems
transformation rules
owl ontologies
expressive power
argumentation semantics
real time
operational semantics
formal semantics
first order logic
logic programs
knowledge representation
domain knowledge
data model
machine learning
databases