Consciousness and Automated Reasoning.
Ulrike BarthelmeßUlrich FurbachClaudia SchonPublished in: CoRR (2020)
Keyphrases
- automated reasoning
- reasoning systems
- theorem proving
- knowledge representation
- probabilistic reasoning
- reasoning tasks
- theorem prover
- decision procedures
- cognitive science
- automated verification
- computational models
- knowledge representation and reasoning
- expert systems
- graph cuts
- description logics
- propositional satisfiability