Two cryptomorphic formalizations of projective incidence geometry.

David Braun Nicolas Magaud Pascal Schreck

Published in: Ann. Math. Artif. Intell. (2019)

Keyphrases

projective geometry
three dimensional
geometric structure
real world
situation calculus
databases
computer vision
geometric information
autoepistemic logic
reconstruction from multiple views