Integrating Logical and Sub-symbolic Contexts of Reasoning.
Tarek R. BesoldStefan MandlPublished in: ICAART (1) (2010)
Keyphrases
- neural network
- logical reasoning
- multi context systems
- probabilistic logic
- logical rules
- reasoning tasks
- logical framework
- fuzzy logic
- reasoning systems
- probabilistic knowledge
- representing knowledge
- formal semantics
- automated reasoning
- knowledge base
- logical representation
- logical properties
- resource bounded
- uncertain information
- inconsistent knowledge
- databases
- social context
- case study
- temporal knowledge
- database
- data sets
- learning algorithm
- artificial intelligence
- website
- logical formulas
- bayesian networks
- knowledge representation
- abductive reasoning
- model based reasoning
- knowledge representation and reasoning
- description logics
- probabilistic reasoning