Modal Consequence Relations Extending S4.3: An Application of Projective Unification.

Wojciech Dzik Piotr Wojtylak

Published in: Notre Dame J. Formal Log. (2016)

Keyphrases

modal logic
reconstruction from multiple views
higher order
real time
theorem prover
database
computer vision
decision trees
relational databases
multiresolution
mobile robot
multi view
planar curves
projective transformations
automated theorem proving