Logical Investigation of Reasoning with Tables.
Ryo TakemuraAtsushi ShimojimaYasuhiro KatagiriPublished in: Diagrams (2014)
Keyphrases
- logical reasoning
- probabilistic logic
- logical rules
- knowledge base
- logical framework
- probabilistic knowledge
- representing knowledge
- probabilistic reasoning
- database
- databases
- knowledge representation
- spatial reasoning
- reasoning process
- reasoning tasks
- analogical reasoning
- reasoning systems
- automated reasoning
- causal reasoning
- formal semantics
- reasoning problems
- qualitative reasoning
- meta level
- domain knowledge
- case study
- inconsistent knowledge