Amar Isli
Amar Isli
Lecturer at the Faculty of Computer Science, USTHB, Algiers
Verified email at - Homepage
Cited by
Cited by
A new approach to cyclic ordering of 2D orientations using ternary relation algebras
A Isli, AG Cohn
Artificial Intelligence 122 (1-2), 137-187, 2000
When does a composition table provide a complete and tractable proof procedure for a relational constraint language
B Bennett, A Isli, AG Cohn
Proceedings of the IJCAI-97 workshop on Spatial and Temporal Reasoning, 1997
An algebra for cyclic ordering of 2d orientations
A Isli, AG Cohn
AAAI/IAAI, 643-649, 1998
Global consistency in interval algebra networks: tractable subclasses'
C Bessiere, A Isli, G Ligozat
ECAI, 3-7, 1996
Qualitative spatial representation and reasoning: algebraic models for relative position
A Isli, R Moratz
Univ., Bibliothek des Fachbereichs Informatik, 1999
A system handling RCC-8 queries on 2D regions representable in the closure algebra of half-planes
B Bennett, A Isli, AG Cohn
International Conference on Industrial, Engineering and Other Applications …, 1998
A topological calculus for cartographic entities
A Isli, LM Cabedo, T Barkowsky, R Moratz
Spatial Cognition II: Integrating Abstract Theories, Empirical Studies …, 2000
Combining multiple representations in a spatial reasoning system
B Bennett, AG Cohn, A Isli
Proceedings Ninth IEEE International Conference on Tools with Artificial …, 1997
Combining cardinal direction relations and other orientation relations in QSR
A Isli
Proc. of 8th International Symposium on Artificial Intelligence and …, 2004
A logical approach to incorporating qualitative spatial reasoning into GIS
B Bennett, AG Cohn, A Isli
International Conference on Spatial Information Theory, 503-504, 1997
Temporal constraint satisfaction techniques in job shop scheduling problem solving
S Belhadji, A Isli
Constraints 3, 203-211, 1998
Converting a Büchi alternating automaton to a usual nondeterministic one
A Isli
Sadhana 21, 213-228, 1996
On Deciding Consistency for CSPs of Cyclic Time Intervals.
A Isli
FLAIRS, 547-551, 2001
Integrating cardinal direction relations and other orientation relations in Qualitative Spatial Reasoning
A Isli
arXiv preprint cs/0307048, 2003
A ternary Relation Algebra of directed lines
A Isli
arXiv preprint cs/0307050, 2003
Bridging the gap between modal temporal logics and constraint-based QSR as an ALC (D) spatio-temporalisation with weakly cyclic TBoxes
A Isli
arXiv preprint cs/0307040, 2003
Qualitative spatial reasoning a la Allen: An algebra for cyclic ordering of 2D orientations
A Isli, AG Cohn
A binarized-domains arc-consistency algorithm for TCSPs: its computational analysis and its use as a filtering procedure in solution search algorithms
A Isli
arXiv preprint arXiv:2002.11508, 2020
Integrating existing cone-shaped and projection-based cardinal direction relations and a TCSP-like decidable generalisation
A Isli
arXiv preprint cs/0311051, 2003
Qualitative spatial reasoning: A new approach to cyclic ordering of 2D orientations
A Isli, AG Cohn
The system can't perform the operation now. Try again later.
Articles 1–20