Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), Oxford, UK, July 18, 2018.
Published in: ARQNL@IJCAR (2018)
Keyphrases
- automated reasoning
- international workshop
- selected papers
- acm sigkdd
- theorem proving
- annual conference
- pacific rim
- lecture notes in artificial intelligence
- domain driven data mining
- knowledge representation
- theorem prover
- reasoning tasks
- advances in artificial intelligence
- revised selected papers
- probabilistic reasoning
- databases and information systems
- hong kong
- conference proceedings
- computer science
- invited talk
- international conference
- information technology
- knowledge discovery and data mining
- book constitutes the refereed proceedings
- first order logic
- review process
- program chairs
- random variables