Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France, June-July, 2020 (Virtual).
Published in: PAAR+SC²@IJCAR (2020)
Keyphrases
- automated reasoning
- acm sigkdd
- naacl hlt
- selected papers
- international workshop
- conference proceedings
- theorem prover
- knowledge representation
- reasoning tasks
- probabilistic reasoning
- knowledge discovery and data mining
- theorem proving
- international conference
- cyber security and information intelligence
- panel discussion
- databases and information systems
- annual conference
- workshop proceedings
- knowledge representation and reasoning
- human computation
- acm sigmod
- machine learning
- advances in artificial intelligence
- invited talk
- invited speakers
- computational intelligence
- data mining