Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022), Haifa, Israel, August 11, 2022.
Published in: ARQNL@IJCAR (2023)
Keyphrases
- automated reasoning
- theorem proving
- reasoning systems
- theorem prover
- probabilistic reasoning
- reasoning tasks
- knowledge representation
- decision procedures
- automated verification
- knowledge representation and reasoning
- czech republic
- knowledge discovery and data mining
- boolean functions
- machine learning
- computer science
- natural language
- bayesian networks
- databases and information systems
- propositional satisfiability
- data mining