Special issue on practical aspects of automated reasoning.
Boris KonevRenate A. SchmidtStephan SchulzPublished in: AI Commun. (2010)
Keyphrases
- special issue
- automated reasoning
- reasoning systems
- ai edam
- theorem prover
- ecml pkdd
- international journal
- reasoning tasks
- theorem proving
- knowledge representation
- probabilistic reasoning
- applied intelligence
- knowledge representation and reasoning
- special section
- object oriented
- computational complexity
- bayesian networks