Algebraic Semantics for Graded Propositions.

Haythem O. Ismail Nourhan Ehab

Published in: DKB/KIK@KI (2015)

Keyphrases

algebraic structure
alternating time temporal logic
formal semantics
semantic information
machine learning
logic programming
data sets
real world
multiscale
higher order
conceptual model
schema mappings
semantic representation