Amar Isli

23 papers A 1B 2C 1Misc 2Journal 12Unranked 5
YearRankTypeTitle / Venue / Authors
2020 J jnl
A spatio-temporalisation of ALC(D) and its translation into alternating automata augmented with spatial constraints.
CoRR
Amar Isli
2020 J jnl
Arc-Consistency computes the minimal binarised domains of an STP. Use of the result in a TCSP solver, in a TCSP-based job shop scheduler, and in generalising Dijkstra's one-to-all algorithm.
CoRR
Amar Isli
2020 J jnl
Buchi automata augmented with spatial constraints: simulating an alternating with a nondeterministic and deciding the emptiness problem for the latter.
CoRR
Amar Isli
2004 J jnl
A TCSP-like decidable constraint language generalising existing cardinal direction relations
CoRR
Amar Isli
2004 J jnl
An ALC(D)-based combination of temporal constraints and spatial constraints suitable for continuous (spatial) change
CoRR
Amar Isli
2004 J jnl
Augmenting ALC(D) (atemporal) roles and (aspatial) concrete domain with temporal roles and a spatial concrete domain -first results
CoRR
Amar Isli
2004 — conf
Combining Cardinal Direction Relations and Relative Relations in QSR.
AI&M
Amar Isli
2003 J jnl
A ternary Relation Algebra of directed lines
CoRR
Amar Isli
2003 J jnl
Bridging the gap between modal temporal logics and constraint-based QSR as an ALC(D) spatio-temporalisation with weakly cyclic TBoxes
CoRR
Amar Isli
2003 J jnl
Combining cardinal direction relations and relative orientation relations in Qualitative Spatial Reasoning
CoRR
Amar Isli, Volker Haarslev, Ralf Möller
2003 J jnl
Integrating existing cone-shaped and projection-based cardinal direction relations and a TCSP-like decidable generalisation
CoRR
Amar Isli
2001 Misc conf
On Deciding Consistency for CSPs of Cyclic Time Intervals.
FLAIRS
Amar Isli
2000 — conf
A Topological Calculus for Cartographic Entities.
Spatial Cognition
Amar Isli, Lledó Museros Cabedo, Thomas Barkowsky, Reinhard Moratz
2000 J jnl
A new approach to cyclic ordering of 2D orientations using ternary relation algebras.
Artif. Intell.
Amar Isli, Anthony G. Cohn
1998 — conf
A System Handling RCC-8 Queries on 2D Regions Representable in the Closure algebra of Half-Planes.
IEA/AIE (Vol. 1)
Brandon Bennett, Amar Isli, Anthony G. Cohn
1998 — conf
An Algebra for Cyclic Ordering of 2D Orientations.
AAAI/IAAI
Amar Isli, Anthony G. Cohn
1998 Misc conf
Study of Symmetry in Qualitative Temporal Interval Networks.
AIMSA
Belaid Benhamou, Amar Isli
1998 J jnl
Temporal Constraint Satisfaction Techniques in Job Shop Scheduling Problem Solving.
Constraints An Int. J.
Said Belhadji, Amar Isli
1997 — conf
A Logical Approach to Incorporating Qualitative Spatial Reasoning into GIS (Extended Abstract).
COSIT
Brandon Bennett, Anthony G. Cohn, Amar Isli
1997 B conf
Combining Multiple Representations in a Spatial Reasoning System.
ICTAI
Brandon Bennett, Anthony G. Cohn, Amar Isli
1996 B conf
AI Tools in Scheduling Problem Solving: A Solver Based on a "Well-Behaved" Restriction of TCSPs.
ICTAI
Said Belhadji, Amar Isli
1996 A conf
Global Consistency in Interval Algebra Networks: Tractable Subclasses.
ECAI
Christian Bessière, Amar Isli, Gerard Ligozat
1996 C conf
Networks of Qualitative Interval Relations: Combining Circuit Consistency and Path Consistency in the Search for a Solution.
TIME
Amar Isli, Hachemi Bennaceur