Preface to the Special Issue on Automated Reasoning Systems.
Armin BiereCesare TinelliChristoph WeidenbachPublished in: J. Autom. Reason. (2020)
Keyphrases
- special issue
- reasoning systems
- automated reasoning
- knowledge representation and reasoning
- diagnostic reasoning
- ai edam
- international journal
- description logics
- applied intelligence
- ecml pkdd
- special section
- international workshop
- computer aided
- artificial intelligence
- machine learning
- theorem prover
- owl dl
- random variables
- computational intelligence
- knowledge representation