# Amar Isli

According to our database

Collaborative distances:

^{1}, Amar Isli authored at least 23 papers between 1996 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2020

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

CoRR, 2020

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

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.

CoRR, 2020

2004

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

CoRR, 2004

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

CoRR, 2004

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

CoRR, 2004

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

CoRR, 2003

CoRR, 2003

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

CoRR, 2003

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

CoRR, 2003

2001

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.

Artif. Intell., 2000

Proceedings of the Spatial Cognition II, 2000

1998

Temporal Constraint Satisfaction Techniques in Job Shop Scheduling Problem Solving.

Constraints An Int. J., 1998

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

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

Proceedings of the Artificial Intelligence: Methodology, 1998

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

1997

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

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

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.

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.

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

Global Consistency in Interval Algebra Networks: Tractable Subclasses.

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