Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), Oxford, UK, July 19th, 2018.
Published in: PAAR@FLoC (2018)
Keyphrases
- automated reasoning
- acm sigkdd
- international conference
- international workshop
- advances in artificial intelligence
- selected papers
- annual conference
- databases and information systems
- knowledge discovery and data mining
- student research workshop
- naacl hlt
- knowledge representation
- lecture notes
- theorem proving
- acm sigmod
- reasoning tasks
- theorem prover
- human computation
- probabilistic reasoning
- hong kong
- proof theory
- conference proceedings
- panel discussion
- centre for advanced studies
- international symposium
- progress in artificial intelligence
- poster session
- computational intelligence
- invited talk
- computer science
- workshop proceedings
- association for computational linguistics
- program committee
- cyber security and information intelligence
- lecture notes in artificial intelligence
- short papers
- artificial intelligence
- constraint satisfaction
- north american
- machine learning