Jorge Pais

Publication Activity (10 Years)

Years Active: 1998-2015
Publications (10 Years): 1

Top Topics

Modulo Theories

Quantifier Elimination

Natural Deduction

Top Venues

J. Univers. Comput. Sci.

Publications

Panagiotis Manolios, Jorge Pais, Vasilis Papavasileiou
The Inez Mathematical Programming Modulo Theories Framework. CAV (2) (2015)
Jorge Pais, Alvaro Tasistro
Novel Didactic Proof Assistant for First-Order Logic Natural Deduction. HCI (14) (2014)
Jorge Pais, Alvaro Tasistro
Proof Assistant Based on Didactic Considerations. J. Univers. Comput. Sci. 19 (11) (2013)
Jorge Pais, Carlos A. Pinto-Ferreira
The n-dimensional projective approach as a tool for spatial reasoning. ICTAI (2000)
Jorge Pais, Carlos A. Pinto-Ferreira
Search strategies for reasoning about spatial ontologies. ICTAI (1998)