A Logic for Reasoning about Generic Judgments.

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

formal theory
domain specific
modal operators
qualitative reasoning
causal reasoning
multi valued
high level
logic programming
spatial reasoning
data sets
modal logic
probability theory
probabilistic knowledge
asynchronous circuits