Foreword to the Special Issue on Automated Reasoning.
Pascal FontaineCezary KaliszykStephan SchulzJosef UrbanPublished in: AI Commun. (2018)
Keyphrases
- automated reasoning
- special issue
- reasoning systems
- theorem proving
- ai edam
- probabilistic reasoning
- theorem prover
- knowledge representation
- decision procedures
- reasoning tasks
- ecml pkdd
- international journal
- applied intelligence
- special section
- first order logic
- np complete
- software engineering
- knowledge representation and reasoning
- probability distribution
- probabilistic model
- search algorithm
- artificial intelligence