#### Filter Results:

- Full text PDF available (12)

#### Publication Year

1998

2015

- This year (0)
- Last 5 years (6)
- Last 10 years (7)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Jorge Pais, Alvaro Tasistro
- J. UCS
- 2013

We consider some issues concerning the role of Formal Logic in Software Engineering education, which lead us to promote the learning of formal proof through extensive, appropriately guided practice. To this end, we propose to adopt Natural Deduction as proof system and to make use of an adequate proof assistant to carry out formal proof on machine. We… (More)

- Jorge Pais, Carlos A. Pinto-Ferreira
- ICTAI
- 1998

The utilization of spatial ontologies to representing and reasoning about real-world problems exhibits some advantages when compared with traditional approaches. Namely reification, flexibility, efSiciency and process understanding are considerably improved. However, the search mechanism, which underlies the reasoning process, always has exponential… (More)

In this paper, we introduce a novel pictorial approach for solving problems in n-dimensional Euclidean spaces called the n-dimensional projective approach. The projective approach is based on a hierarchical and modular architecture, where its ground module is rooted on geometrical concepts. The result is an effective and consistent spatial approach able to… (More)

This paper presents a semi-optimal heuristic search algorithm called N-Best, which is both a functional extension and a simpler implementation of the First-Best Algorithm (the N-Best algorithm with N=1) presented in [1]. Certain real-world problems particularly those that are tackled by planners in Qualitative Reasoning need the construction of models with… (More)

- Iñigo Olalde, Juan Capote, +7 authors Oscar Ramirez
- Genetics Selection Evolution
- 2015

Canarian Black (CB) pigs belong to an autochthonous and endangered breed, which is spread throughout the Canarian archipelago. It is commonly accepted that they represent a relic of the pig populations that were bred by the Berbers in North Africa over millennia. It is important to note that the geographic isolation of the Canary Islands has preserved this… (More)

We discuss the design of a proof assistant for the Formal Logic calculus of Natural Deduction based on didactic considerations. We propose to incorporate several features that are not present in the elsewhere available tools, among them the display and edition of derivations as trees, the use of metatheorems (derived rules) as lemmas, and the possibility of… (More)

- Jorge Pais, Alvaro Tasistro
- HCI
- 2014

We present a proof assistant designed to help learning formal proof, particularly in the system of Natural Deduction for First-Order Logic. The assistant handles formulas and derivations containing metavariables and allows to maintain a library of instanciable lemmas. It possesses a graphical interface presenting proofs as trees and handles multiple… (More)

- Jorge Pais, Carlos A. Pinto-Ferreira
- ICTAI
- 2000

In this paper, we describe the n-dimensional projective approach as a hierarchical and modular architecture with a processing mechanism that underlies both spatial backtracking and multiple physical properties of entities. Also, it is shown in Euclidean space how cognitive activities of an agent are improved in terms of flexibility (e.g. alternative… (More)

This paper presents a semi-optimal heuristic search algorithm called Pruned N-Best, which has both the search behavior of the N-Best heuristic search algorithm and the minimization of backtracking search to applying a pruning technique over certain search paths. This minimization increases the Pruned N-Best algorithm efficiency when compared with others… (More)