Concepedia

Isabel Navarrete

IN

Statistics

Publications

5

Citations

90

H-Index

5

Active since

1997

Affiliations

Universidad de Murcia(Current)

Isabel Navarrete is an author at Universidad de Murcia specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningComputer ScienceFormal MethodsTemporal ReasoningSemanticsSpatial ReasoningFormal VerificationIntelligent SystemsSystems Engineering

Publications per year

1997–2013

5

Publications

5

Spatial reasoning with rectangular cardinal relations

Isabel Navarrete, Antonio Morales, Guido Sciavicco et al. · Annals of Mathematics and Artificial Intelligence · 2013 · 26 citations

Spatial Reasoning, Engineering, Spatialtemporal Reasoning +4

Qualitative temporal reasoning with points and durations

Isabel Navarrete, R. Marı́n · International Joint Conference on Artificial Intelligence · 1997 · 24 citations

Engineering, Point Algebra, Spatialtemporal Reasoning +14

On point-duration networks for temporal reasoning

Isabel Navarrete, Abdul Sattar, Rattana Wetprasit · Artificial Intelligence · 2002 · 15 citations

Artificial Intelligence, Engineering, Spatialtemporal Reasoning +7

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

Antonio Morales, Isabel Navarrete, Guido Sciavicco · Annals of Mathematics and Artificial Intelligence · 2007 · 13 citations

Applied Logic, Non-classical Logic, Engineering +8

Consistency checking of basic cardinal constraints over connected regions

Isabel Navarrete, Antonio Morales, Guido Sciavicco · 2007 · 12 citations

1–5 of 5