Logic and Probability: Reasoning in Uncertain Environments - Introduction to the Special Issue.
Matthias UnterhuberGerhard SchurzPublished in: Stud Logica (2014)
Keyphrases
- uncertain environments
- proof theory
- automated reasoning
- deductive reasoning
- autonomous systems
- intuitionistic logic
- order of magnitude reasoning
- computational properties
- proof theoretic
- probability theory
- reasoning engine
- probabilistic logic
- logical framework
- multi robot
- behavior recognition
- knowledge base
- default reasoning
- knowledge representation
- swarm robots
- logic programming
- dynamic and uncertain environments
- horn logic
- classical logic
- modal logic
- decision making
- inference rules
- path planning