| 2007 |
|---|
| 10 | EE | Antonio Morales,
Isabel Navarrete,
Guido Sciavicco:
Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic.
EUROCAST 2007: 313-320 |
| 9 | EE | Isabel Navarrete,
Antonio Morales,
Guido Sciavicco:
Consistency Checking of Basic Cardinal Constraints over Connected Regions.
IJCAI 2007: 495-500 |
| 8 | EE | Antonio Morales,
Isabel Navarrete,
Guido Sciavicco:
A new modal logic for reasoning about space: spatial propositional neighborhood logic.
Ann. Math. Artif. Intell. 51(1): 1-25 (2007) |
| 2003 |
|---|
| 7 | EE | Isabel Navarrete,
Abdul Sattar,
Roque Marín:
Deciding consistency of a point-duration network with metric constraints.
TIME 2003: 147-154 |
| 6 | EE | Roque Marín,
Isabel Navarrete:
Problemas de Satisfacción de Restricciones Temporales.
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 20: 111-120 (2003) |
| 2002 |
|---|
| 5 | EE | Isabel Navarrete,
Abdul Sattar,
Rattana Wetprasit,
Roque Marín:
On point-duration networks for temporal reasoning.
Artif. Intell. 140(1/2): 39-70 (2002) |
| 2001 |
|---|
| 4 | EE | M. A. Cárdenas Viedma,
Roque Marín,
Isabel Navarrete:
Fuzzy temporal constraint logic: a valid resolution principle.
Fuzzy Sets and Systems 117(2): 231-250 (2001) |
| 2000 |
|---|
| 3 | EE | M. A. Cárdenas Viedma,
Isabel Navarrete,
Roque Marín:
Efficient Resolution Mechanism for Fuzzy Temporal Constraint Logic.
TIME 2000: 39-46 |
| 2 | EE | Isabel Navarrete,
Roque Marín,
M. A. Cárdenas Viedma,
Maria Mercedes Balsa:
Un nuevo Modelo Tratable y Eficiente para Razonamiento Temporal Cualitativo con Puntos y Duraciones (Premio Jose Cuena al mejor articulo de CAEPIA99/TTIA99).
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 9: 12-19 (2000) |
| 1997 |
|---|
| 1 | | Isabel Navarrete,
Roque Marín:
Qualitative Temporal Reasoning with Points and Durations.
IJCAI 1997: 1454-1459 |
