Consciousness and Automated Reasoning.
Ulrike BarthelmeßClaudia SchonUlrich FurbachPublished in: FCR@KI (2020)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- theorem proving
- probabilistic reasoning
- theorem prover
- decision procedures
- reasoning tasks
- knowledge representation and reasoning
- computational models
- automated verification
- cognitive science
- propositional satisfiability
- constraint satisfaction
- np complete
- fuzzy logic
- dynamic programming
- reinforcement learning