Automated Verification of Deontic Correspondences in Isabelle/HOL - First Results.
Xavier ParentChristoph BenzmüllerPublished in: ARQNL@IJCAR (2022)
Keyphrases
- automated verification
- theorem prover
- automated reasoning
- natural deduction
- theorem proving
- first order logic
- model checking
- inference rules
- higher order logic
- point correspondences
- temporal logic
- deontic logic
- representation language
- pairwise
- formal verification
- correspondence matching
- formal methods
- knowledge based systems
- image features
- classical logic
- image correspondences
- knowledge base