Semantic games with chance moves revisited: from IF logic to partial logic.

Xuefeng Wen Shier Ju

Published in: Synth. (2013)

Keyphrases

multi valued
data sets
logic programming
automated reasoning
search engine
data model
semantic annotation
asynchronous circuits
proof theory
domain knowledge
domain specific
modal logic
probability theory
logical framework
classical logic