The Squirrel Prover and its Logic.
David BaeldeStéphanie DelauneCharlie JacommeAdrien KoutsosJoseph LallemandPublished in: ACM SIGLOG News (2024)
Keyphrases
- automated theorem proving
- proof search
- theorem proving
- modal logic
- theorem prover
- automated reasoning
- sound and complete axiomatization
- set theory
- machine learning
- logic programming
- description logics
- information systems
- classical logic
- defeasible logic
- linear logic
- probabilistic model
- search algorithm
- computational properties
- predicate logic
- formal theory
- epistemic logic
- real world
- data sets
- real time