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