Welcome to Amar Isli's Home Page

---

Contact Details   Research Interests   Publications  

Contact Details

Email: isli@comp.leeds.ac.uk
Phone:

• From the UK: 0113 233 58 78
• From abroad: +44 113 233 58 78

• From the UK: 0113 233 54 68
• From abroad: +44 113 233 54 68

Research Interests

My research interests can be summarised as follows:

• Constraint-based temporal reasoning, both quantitative and qualitative, and its applications to the solving of real-life problems, such as planning and scheduling
• Qualitative spatial reasoning and its applications to reasoning about physical systems
• Tractable subclasses of constraint-based (temporal and spatial) frameworks

Publications

International journals

IJ1998a

S Belhadji, and A Isli, Temporal Constraint Satisfaction Techniques in Job Shop Scheduling Problem Solving, CONSTRAINTS, Volume 3 (2 & 3), Special Issue ``Spatial and Temporal Reasoning", (1998) 203--211, Kluwer. (gzipped version)

National journals

NJ1996a

A Isli, Converting a Büchi alternating automaton to a usual nondeterministic one, the Indian Journal SADHANA, Volume 21 (2), Indian Academy of Sciences, (1996) 213-228.

International conferences

IC1998c

B Benhamou and A Isli, Study of Symmetry in Qualitative Temporal Interval Networks, to appear in Proceedings of the 8th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA), Lecture Notes in Artificial Intelligence, Springer-Verlag, Sozopol, Bulgaria, (1998) 88-101.

IC1998b

A Isli and A G Cohn, An Algebra for Cyclic Ordering of 2D Orientations, in Proceedings of the 15th American Conference on Artificial Intelligence (AAAI), Madison, WI, (1998) 643--649, AAAI/MIT Press. (gzipped version)

IC1998a

B Bennett, A Isli and A G Cohn, A System Handling RCC-8 Queries on 2D Regions Representable in the Closure Algebra of Half-Planes, in Proceedings of the 11th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (IEA-AIE), Lecture Notes in Artificial Intelligence 1415, Springer-Verlag, Castellón, (1998) 281--290. (gzipped version)

IC1997b

B Bennett, A G Cohn and A Isli, Combining Multiple Representations in a Spatial Reasoning System, in Proceedings of the 9th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), California, (1997) 314--322. (gzipped version)

IC1997a

B Bennett, A G Cohn and A Isli, A Logical Approach to Incorporating Qualitative Spatial Reasoning into GIS (Extended Abstract), in Proceedings of the Third International Conference on Spatial Information Theory (COSIT), (1997) 503--504.

IC1996b

C Bessière, A Isli and G Ligozat, Global consistency in interval algebra networks: tractable subclasses, In: Wahlster W (editor), Proceedings of the 12th European Conference on Artificial Intelligence (ECAI), Budapest, (1996) 3--7, John Wiley. (gzipped version)

IC1996a

S Belhadji and A Isli, AI tools in scheduling problem solving: a solver based on a ``well-behaved" restriction of TCSPs (Extended Abstract), in Proceedings of the 8th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Toulouse, (1996) 438--439.

IC1994a

A Isli, An Acceptor for Allen's Ord-Horn Subclass, in Proceedings of the International Conference on Artificial Intelligence : Methodology, Systems, Applications (AIMSA), Sofia, (1994) 119-128.

National conferences

NC1996a

A Isli, Raisonnement temporel à base de contraintes : augmenter l'expressivité de l'algèbre des points sans compromettre la polynomialité, in Proceedings of the French 10th congress Reconnaissance des Formes et Intelligence Artificielle (RFIA), Rennes, (1996) 1003-1012.

International workshops

IW1998b

B Benhamou and A Isli, Study of Symmetry in Qualitative Temporal Interval Networks (this is a slightly smaller version of IC1998c), in Proceedings of ECAI-98 Workshop on Spatial and Temporal Reasoning, Brighton, (1998) 41-50.

IW1998a

A Isli and A G Cohn, Qualitative Spatial Reasoning à la Allen: An Algebra for Cyclic Ordering of 2D Orientations (A slightly longer version of the AAAI-98 paper), In: Feng Zhao & Kenneth Yip (editors), Proceedings of Qualitative Reasoning: The Twelfth International Workshop, Cape Cod, Massachusetts, (1998) 65--76, AAAI Technical Report WS-98-01, AAAI Press. (gzipped version)

IW1997a

B Bennett, A Isli and A G Cohn, When does a Composition Table provide a complete and tractable proof procedure for a relational constraint language?, in Proceedings of IJCAI-97 Workshop on Spatial and Temporal Reasoning, Nagoya, Japan, (1997).

IW1996b

S Belhadji and A Isli, Scheduling problems as special temporal constraint satisfaction problems, in Proceedings of AAAI-96 Workshop on Spatial and Temporal Reasoning, Portland, Oregon, (1996) 57--60.

IW1996a

A Isli and H Bennaceur, Qualitative interval networks: combining path consistency and circuit consistency in the search for a solution, in Proceedings of the Third International Workshop on Temporal Representation and Reasoning (TIME), Key West, Florida, (1996) 57--62.

IW1994a

A Isli, Mapping an LPTL formula into a Büchi alternating automaton accepting its models, in Proceedings of the ICTL (International Conference on Temporal Logic) workshop, Bonn, (1994) 85-90.