Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016.
Published in: PAAR@IJCAR (2016)
Keyphrases
- automated reasoning
- databases and information systems
- lecture notes
- selected papers
- acm sigkdd
- advances in artificial intelligence
- computer science
- international conference
- lecture notes in artificial intelligence
- annual conference
- international workshop
- knowledge representation
- theorem proving
- theorem prover
- conference proceedings
- student research workshop
- knowledge discovery and data mining
- naacl hlt
- intelligence and security informatics
- probabilistic reasoning
- reasoning tasks
- acm sigmod
- invited talk
- human computation
- international symposium
- invited speakers
- panel discussion
- progress in artificial intelligence
- program committee
- knowledge representation and reasoning
- special session
- acm sigmis cpr
- poster session
- centre for advanced studies
- north american
- machine learning
- artificial intelligence
- keynote address
- national science foundation
- association for computational linguistics
- united kingdom
- knowledge base
- acm conference