Amar Isli

According to our database, Amar Isli authored at least 23 papers between 1996 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

A spatio-temporalisation of ALC(D) and its translation into alternating automata augmented with spatial constraints.

Amar Isli

CoRR, 2020

Buchi automata augmented with spatial constraints: simulating an alternating with a nondeterministic and deciding the emptiness problem for the latter.

Amar Isli

CoRR, 2020

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.

Amar Isli

CoRR, 2020

2004

An ALC(D)-based combination of temporal constraints and spatial constraints suitable for continuous (spatial) change

Amar Isli

CoRR, 2004

A TCSP-like decidable constraint language generalising existing cardinal direction relations

Amar Isli

CoRR, 2004

Augmenting ALC(D) (atemporal) roles and (aspatial) concrete domain with temporal roles and a spatial concrete domain -first results

Amar Isli

CoRR, 2004

Combining Cardinal Direction Relations and Relative Relations in QSR.

Amar Isli

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2004

2003

Integrating existing cone-shaped and projection-based cardinal direction relations and a TCSP-like decidable generalisation

Amar Isli

CoRR, 2003

A ternary Relation Algebra of directed lines

Amar Isli

CoRR, 2003

Combining cardinal direction relations and relative orientation relations in Qualitative Spatial Reasoning

Amar Isli, Volker Haarslev, Ralf Möller

CoRR, 2003

Bridging the gap between modal temporal logics and constraint-based QSR as an ALC(D) spatio-temporalisation with weakly cyclic TBoxes

Amar Isli

CoRR, 2003

2001

On Deciding Consistency for CSPs of Cyclic Time Intervals.

Amar Isli

Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, 2001

2000

A new approach to cyclic ordering of 2D orientations using ternary relation algebras.

Amar Isli, Anthony G. Cohn

Artif. Intell., 2000

A Topological Calculus for Cartographic Entities.

Amar Isli, Lledó Museros Cabedo, Thomas Barkowsky, Reinhard Moratz

Proceedings of the Spatial Cognition II, 2000

1998

Temporal Constraint Satisfaction Techniques in Job Shop Scheduling Problem Solving.

Said Belhadji, Amar Isli

Constraints An Int. J., 1998

A System Handling RCC-8 Queries on 2D Regions Representable in the Closure algebra of Half-Planes.

Brandon Bennett, Amar Isli, Anthony G. Cohn

Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998

Study of Symmetry in Qualitative Temporal Interval Networks.

Belaid Benhamou, Amar Isli

Proceedings of the Artificial Intelligence: Methodology, 1998

An Algebra for Cyclic Ordering of 2D Orientations.

Amar Isli, Anthony G. Cohn

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

Combining Multiple Representations in a Spatial Reasoning System.

Brandon Bennett, Anthony G. Cohn, Amar Isli

Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997

A Logical Approach to Incorporating Qualitative Spatial Reasoning into GIS (Extended Abstract).

Brandon Bennett, Anthony G. Cohn, Amar Isli

Proceedings of the Spatial Information Theory: A Theoretical Basis for GIS, 1997

1996

Networks of Qualitative Interval Relations: Combining Circuit Consistency and Path Consistency in the Search for a Solution.

Amar Isli, Hachemi Bennaceur

Proceedings of the Third International Workshop on Temporal Representation and Reasoning, 1996

AI Tools in Scheduling Problem Solving: A Solver Based on a "Well-Behaved" Restriction of TCSPs.

Said Belhadji, Amar Isli

Proceedings of the Eigth International Conference on Tools with Artificial Intelligence, 1996

Global Consistency in Interval Algebra Networks: Tractable Subclasses.

Christian Bessière, Amar Isli, Gerard Ligozat

Proceedings of the 12th European Conference on Artificial Intelligence, 1996