Graphoids: Graph-Based Logic for Reasoning about Relevance Relations or When would x tell you more about y if you already know z?
Judea PearlAzaria PazPublished in: ECAI (1986)
Keyphrases
- formal theory
- modal operators
- information retrieval
- relation algebra
- modal logic
- classical logic
- truth values
- spatial reasoning
- logic programming
- graph model
- multi valued
- semantic relations
- spatial relations
- pairwise
- predicate logic
- automated reasoning
- nonmonotonic logics
- defeasible logic
- probabilistic logic
- probabilistic knowledge
- relevance feedback
- asynchronous circuits
- qualitative spatial reasoning
- proof theory
- logical formulas
- qualitative reasoning