Login / Signup

Unified inverse correspondence for DLE-Logics.

Willem ConradieAndrea De DomenicoGiuseppe GrecoAlessandra PalmigianoMattia PanettiereApostolos Tzimoulis
Published in: CoRR (2022)
Keyphrases
  • modal logic
  • inference rules
  • point correspondences
  • expressive power
  • pixel wise
  • unified model
  • proof theory
  • correspondence matching
  • feature matching
  • computational properties
  • conditional logic