Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms.
Viorica Sofronie-StokkermansPublished in: Interaction versus Automation: The two Faces of Deduction (2009)
Keyphrases
- automated reasoning
- knowledge representation and reasoning
- reasoning systems
- knowledge representation
- decision procedures
- theorem prover
- probabilistic reasoning
- theorem proving
- reasoning tasks
- automated verification
- propositional satisfiability
- description logics
- artificial intelligence
- bayesian networks
- pairwise
- np complete