Contextual Validity in Hybrid Logic.

Patrick Blackburn Klaus Frovin Jørgensen

Published in: CONTEXT (2013)

Keyphrases

multi valued
classical logic
contextual information
databases
predicate logic
modal logic
asynchronous circuits
computational properties
artificial intelligence
logic programming
context sensitive
automated reasoning
decision trees
data mining
defeasible logic
real world
formal theory
database