Isabel Navarrete

According to our database, Isabel Navarrete authored at least 15 papers between 1997 and 2013.

Collaborative distances:

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

2013

Spatial reasoning with rectangular cardinal relations - The convex tractable subalgebra.

Isabel Navarrete, Antonio Morales Nicolás, Guido Sciavicco, M. Antonia Cárdenas Viedma

Ann. Math. Artif. Intell., 2013

An energy efficient middleware for an ad-hoc AAL wireless sensor network.

Francisco J. Fernández-Luque, David Pérez, Félix Martínez, Ginés Doménech, Isabel Navarrete, Juan Zapata-Pérez, Ramón Ruiz

Ad Hoc Networks, 2013

2012

Modeling a Risk Detection System for Elderly's Home-Care with a Network of Timed Automata.

Isabel Navarrete, José A. Rubio, Juan A. Botía, José T. Palma, Francisco Campuzano

Proceedings of the Ambient Assisted Living and Home Care - 4th International Workshop, 2012

Efficient Spatial Reasoning with Rectangular Cardinal Relations and Metric Constraints.

Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon

Proceedings of the Agents and Artificial Intelligence - 4th International Conference, 2012

A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints.

Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon

Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1, 2012

2007

A new modal logic for reasoning about space: spatial propositional neighborhood logic.

Antonio Morales Nicolás, Isabel Navarrete, Guido Sciavicco

Ann. Math. Artif. Intell., 2007

Consistency Checking of Basic Cardinal Constraints over Connected Regions.

Isabel Navarrete, Antonio Morales, Guido Sciavicco

Proceedings of the IJCAI 2007, 2007

Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic.

Antonio Morales Nicolás, Isabel Navarrete, Guido Sciavicco

Proceedings of the Computer Aided Systems Theory, 2007

2003

Problemas de Satisfacción de Restricciones Temporales.

Roque Marín, Isabel Navarrete

Inteligencia Artif., 2003

Deciding consistency of a point-duration network with metric constraints.

Isabel Navarrete, Abdul Sattar, Roque Marín

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

2002

On point-duration networks for temporal reasoning.

Isabel Navarrete, Abdul Sattar, Rattana Wetprasit, Roque Marín

Artif. Intell., 2002

2001

Fuzzy temporal constraint logic: a valid resolution principle.

María-Antonia Cárdenas-Viedma, Roque Marín, Isabel Navarrete

Fuzzy Sets Syst., 2001

2000

Un nuevo Modelo Tratable y Eficiente para Razonamiento Temporal Cualitativo con Puntos y Duraciones (Premio Jose Cuena al mejor articulo de CAEPIA99/TTIA99).

Isabel Navarrete, Roque Marín, María-Antonia Cárdenas-Viedma, Maria Mercedes Balsa

Inteligencia Artif., 2000

Efficient Resolution Mechanism for Fuzzy Temporal Constraint Logic.

María-Antonia Cárdenas-Viedma, Isabel Navarrete, Roque Marín

Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning, 2000

1997

Qualitative Temporal Reasoning with Points and Durations.

Isabel Navarrete, Roque Marín

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997