Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022.
Published in: SC-Square@FLoC (2023)
Keyphrases
- automated reasoning
- advances in artificial intelligence
- knowledge discovery and data mining
- acm sigkdd
- international conference
- selected papers
- annual conference
- databases and information systems
- international workshop
- student research workshop
- theorem prover
- probabilistic reasoning
- conference proceedings
- knowledge representation
- centre for advanced studies
- invited talk
- proof theory
- acm conference
- theorem proving
- reasoning tasks
- acm sigmod
- national science foundation
- lecture notes in artificial intelligence
- progress in artificial intelligence
- computer science
- workshop proceedings
- invited speakers
- naacl hlt
- special session
- czech republic
- invited paper
- poster session
- human computation
- knowledge representation and reasoning
- acm sigmis cpr
- artificial intelligence
- north american
- distributed systems
- bayesian networks
- cyber security and information intelligence