Antonio
Morales Nicolas
Investigador Doctor
Isabel
Navarrete Sánchez
Isabel Navarrete Sánchez-rekin lankidetzan egindako argitalpenak (4)
2013
-
Spatial reasoning with rectangular cardinal relations: The convex tractable subalgebra
Annals of Mathematics and Artificial Intelligence, Vol. 67, Núm. 1, pp. 31-70
2007
-
A new modal logic for reasoning about space: Spatial propositional neighborhood logic
Annals of Mathematics and Artificial Intelligence, Vol. 51, Núm. 1, pp. 1-25
-
Consistency checking of basic cardinal constraints over connected regions
IJCAI International Joint Conference on Artificial Intelligence
-
Using temporal logic for spatial reasoning: Temporalized propositional neighborhood logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)