Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010
Published in: PAAR@IJCAR (2012)
Keyphrases
- automated reasoning
- lecture notes
- computer science
- reasoning systems
- acm sigkdd
- theorem prover
- decision procedures
- knowledge representation
- international conference
- theorem proving
- international symposium
- reasoning tasks
- international workshop
- probabilistic reasoning
- naacl hlt
- cyber security and information intelligence
- hong kong
- advances in artificial intelligence
- workshop on artificial intelligence
- knowledge discovery and data mining
- selected papers
- databases and information systems
- fuzzy sets
- knowledge representation and reasoning
- computational complexity
- acm sigmod
- machine learning
- first order logic
- high level
- artificial intelligence