Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic.
Marta Cialdea MayerSerenella CerritoPublished in: IJCAR (2010)
Keyphrases
- proof search
- theorem prover
- theorem proving
- automated theorem proving
- linear logic
- inference rules
- description logics
- search procedure
- proof procedure
- automated reasoning
- sequent calculus
- modal logic
- multi valued
- computational properties
- proof theory
- first order logic
- neural network
- classical logic
- expert systems
- information retrieval
- machine learning