Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.

Isabel Navarrete

dblp:87/535 · DBLP profile ↗
← Back
7ranked-venue papers
4as first author
0since 2021 · last 2013
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 6 · 4 first-authorGraphics, computer vision, multimedia, augmented reality and games · 2 · 2 first-authorComputer networks · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
3 papers
Logic in computer science · 56% Computational geometry · 44%
Artificial intelligence
3 papers
Knowledge representation and reasoning · 100%

Topics — the 5 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Knowledge representation and reasoning
spatial reasoning
0.112007
Consistency Checking of Basic Cardinal Constraints over Connected Regions · IJCAI 2007
Knowledge, reasoning and agents › Knowledge representation and reasoning
temporal reasoning
0.122002
On point-duration networks for temporal reasoning · Artif. Intell. 2002
Qualitative Temporal Reasoning with Points and Durations · IJCAI 1997
Logic in computer science
temporal logic
0.122002
On point-duration networks for temporal reasoning · Artif. Intell. 2002
Qualitative Temporal Reasoning with Points and Durations · IJCAI 1997
Logic in computer science
temporal reasoning
0.012002
On point-duration networks for temporal reasoning · Artif. Intell. 2002
Knowledge, reasoning and agents › Knowledge representation and reasoning › temporal reasoning
qualitative temporal reasoning
0.011997
Qualitative Temporal Reasoning with Points and Durations · IJCAI 1997

Methods — techniques the papers use, named apart from their topics

consistency checking · 0.1qualitative reasoning · 0.0
YearPublicationVenuePosition
2013 An energy efficient middleware for an ad-hoc AAL wireless sensor network
Francisco J. Fernández-Luque, Félix Martínez, Ginés Doménech-Asensi, Isabel Navarrete, Juan Zapata-Pérez, Ramón Ruiz
Ad Hoc Networks5
2012 A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints
Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon
ICAART (1)2
2007 Consistency Checking of Basic Cardinal Constraints over Connected Regions
Isabel Navarrete, Antonio Morales, Guido Sciavicco
IJCAI1
2003 Deciding consistency of a point-duration network with metric constraints
abstract
We introduce a new model, MPDN, for quantitative temporal reasoning with points and durations, that supposes an extension of the TCSP formalism and previous point-duration network models. The problem of deciding consistency for a MPDN is shown to be NP-complete. So, we identify a tractable fragment, named simple MPDN, that subsumes the STP model and allows for duration reasoning. Necessary and sufficient conditions for deciding consistency of a simple MPDN are used to design an algorithm for consistency checking, whose time complexity is cubic in the number of variables. This is a significant improvement, not only in computational complexity but also in simplicity, over previous non-specific algorithms that can be applied to solve the consistency problem.
Isabel Navarrete, Abdul Sattar 0001, Roque Marín
TIME1
2002 On point-duration networks for temporal reasoning
Isabel Navarrete, Abdul Sattar 0001, Rattana Wetprasit, Roque Marín
Artif. Intell.1
2001 Fuzzy temporal constraint logic: a valid resolution principle
María-Antonia Cárdenas-Viedma, Roque Marín, Isabel Navarrete
Fuzzy Sets Syst.3
1997 Qualitative Temporal Reasoning with Points and Durations
Isabel Navarrete, Roque Marín
IJCAI1