Proceedings of the 2nd International Workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016)., Coimbra, Portugal, July 1, 2016.
Published in: ARQNL@IJCAR (2016)
Keyphrases
- automated reasoning
- international workshop
- lecture notes in artificial intelligence
- selected papers
- advances in artificial intelligence
- acm sigkdd
- theorem proving
- revised selected papers
- lecture notes
- computer science
- theorem prover
- domain driven data mining
- knowledge representation
- probabilistic reasoning
- annual conference
- pacific rim
- reasoning tasks
- databases and information systems
- book constitutes the refereed proceedings
- international conference
- conference proceedings
- knowledge representation and reasoning
- knowledge discovery and data mining
- invited talk
- classical logic
- logic programming
- inference rules
- poster session
- student research workshop