Automated Reasoning in Non-classical Logics in the TPTP World.
Alexander SteenDavid FuenmayorTobias GleißnerGeoff SutcliffeChristoph BenzmüllerPublished in: PAAR@IJCAR (2022)
Keyphrases
- automated reasoning
- automated theorem proving
- theorem prover
- theorem proving
- first order logic
- reasoning systems
- decision procedures
- knowledge representation
- reasoning tasks
- probabilistic reasoning
- inference rules
- automated verification
- knowledge representation and reasoning
- propositional satisfiability
- prime implicants
- programming language
- special case
- reinforcement learning
- artificial intelligence