Jorge Pais

According to our database, Jorge Pais authored at least 5 papers between 1998 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

The Inez Mathematical Programming Modulo Theories Framework.

Panagiotis Manolios, Jorge Pais, Vasilis Papavasileiou

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Novel Didactic Proof Assistant for First-Order Logic Natural Deduction.

Jorge Pais, Alvaro Tasistro

Proceedings of the Learning and Collaboration Technologies. Designing and Developing Novel Learning Experiences, 2014

2013

Proof Assistant Based on Didactic Considerations.

Jorge Pais, Alvaro Tasistro

J. Univers. Comput. Sci., 2013

2000

The n-dimensional projective approach as a tool for spatial reasoning.

Jorge Pais, Carlos A. Pinto-Ferreira

Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000

1998

Search strategies for reasoning about spatial ontologies.

Jorge Pais, Carlos A. Pinto-Ferreira

Proceedings of the Tenth IEEE International Conference on Tools with Artificial Intelligence, 1998