Extending Syllogistic Reasoning.
Robert van RooijPublished in: Amsterdam Colloquium on Logic, Language and Meaning (2009)
Keyphrases
- qualitative reasoning
- model based reasoning
- reasoning systems
- knowledge representation
- fuzzy description logics
- artificial intelligence
- knowledge base
- fuzzy logic
- probabilistic reasoning
- approximate reasoning
- data sets
- legal reasoning
- computational properties
- scientific discovery
- fuzzy reasoning
- proof theory
- conflicting information
- knowledge processing
- consistency checking
- reasoning tasks
- automated reasoning
- genetic algorithm
- databases