A Graded Inference Approach Based on Infinite-Valued Lukasiewicz Semantics.

David Picado-Muiño

Published in: ISMVL (2010)

Keyphrases

formal semantics
modal logic
alternating time temporal logic
probabilistic inference
lexical semantics
valued semantics
logic programming
semantic information
inference process
schema mappings
markov random field
data exchange
conceptual model
efficient learning
truth values