JGXYZ: An ATP System for Gap and Glut Logics.

Geoff Sutcliffe Francis Jeffry Pelletier

Published in: CADE (2019)

Keyphrases

modal logic
expressive power
automated theorem proving
theorem prover
inference rules
nonmonotonic logics
neural network
real world
classical logic
decision procedures
genetic algorithm
artificial intelligence
information systems
knowledge base
propositional logic
epistemic logic