Points, Lines and Diamonds: A two-sorted Modal Logic for Projective Planes.
Yde VenemaPublished in: J. Log. Comput. (1999)
Keyphrases
- modal logic
- projective space
- parallel planes
- point correspondences
- temporal logic
- vanishing points
- inference rules
- classical logic
- camera self calibration
- fundamental matrix
- epistemic logic
- nonmonotonic logics
- three dimensional
- conditional logic
- straight line
- single view
- projective invariants
- explanation based generalization
- hough transform
- straight line segments
- projective reconstruction
- radial distortion
- model checking
- line segments
- planar surfaces
- ground plane
- cross ratios
- projective geometry
- dynamic logic
- logic programming
- multi agent
- knowledge base