Sign in
A Logic for Reasoning about Generic Judgments.
Alwen Tiu
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