Login / Signup
Automated Reasoning in Non-classical Logics in the TPTP World.
Alexander Steen
David Fuenmayor
Tobias Gleißner
Geoff Sutcliffe
Christoph Benzmüller
Published 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