Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012
Published in: COMPARE (2012)
Keyphrases
- empirical evaluation
- reasoning systems
- united kingdom
- united states
- international conference
- automated reasoning
- international workshop
- international symposium
- description logics
- keynote address
- knowledge representation and reasoning
- united states of america
- computer science education
- north america
- knowledge discovery and data mining
- computational intelligence
- lecture notes
- computer science
- probabilistic reasoning
- data mining
- theorem proving