Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024 co-located with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024), Nancy, France, July 2, 2024.
Published in: PAAR+SC²@IJCAR (2024)
Keyphrases
- automated reasoning
- acm sigkdd
- selected papers
- databases and information systems
- international workshop
- naacl hlt
- knowledge representation
- theorem prover
- international conference
- theorem proving
- knowledge discovery and data mining
- probabilistic reasoning
- reasoning tasks
- conference proceedings
- human computation
- advances in artificial intelligence
- student research workshop
- panel discussion
- annual conference
- acm sigmod
- keynote address
- workshop proceedings
- knowledge representation and reasoning
- lecture notes
- cyber security and information intelligence
- logic programming
- poster session
- national science foundation
- association for computational linguistics
- acm sigmis cpr
- data mining