Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023), Prague, Czech Republic, September 18, 2023.
Published in: AReCCa@TABLEAUX (2024)
Keyphrases
- automated reasoning
- international conference
- decision procedures
- czech republic
- knowledge representation
- computational molecular biology
- theorem proving
- ifip wg
- theorem prover
- probabilistic reasoning
- computational intelligence
- web information systems and mining
- web intelligence
- koli calling
- computer and information science
- first order logic
- genetic algorithm
- carefully reviewed and selected from submissions
- message passing
- acm sigmod
- probabilistic model
- expert systems