Automated Reasoning in Non-classical Logics in the TPTP World.
Alexander SteenDavid FuenmayorTobias GleißnerGeoff SutcliffeChristoph BenzmüllerPublished in: CoRR (2022)
Keyphrases
- automated reasoning
- automated theorem proving
- theorem prover
- theorem proving
- reasoning systems
- first order logic
- decision procedures
- reasoning tasks
- knowledge representation
- probabilistic reasoning
- automated verification
- propositional satisfiability
- knowledge representation and reasoning
- prime implicants
- object oriented
- expert systems
- optimal solution
- image segmentation