Home › Researcher directory › Amar Isli

Amar Isli

Affiliation : University of Sciences and Technology Houari Boumediene

• 1Publications (affiliation in Algeria)
• 39Total publications
• 213Citations
• 7h-index

OpenAlex

Research profile

Amar Isli has 1 indexed publication (2020). Their work appears in “arXiv (Cornell University)”.

Is this you? Get your research seen

Create your free DzCademia profile and add your articles: they will show up more easily on Google and in AI assistants like ChatGPT, so more people can read and cite your work.

Create my free profile Add my publications

Research areas

• Logic, Reasoning, and Knowledge
• Constraint Satisfaction and Optimization
• Advanced Graph Theory Research
• Formal Methods in Verification
• AI-based Problem Solving and Planning

Publications (1)

• A spatio-temporalisation of ALC(D) and its translation into alternating automata augmented with spatial constraints
  2020 · arXiv (Cornell University)

Bibliographic data from OpenAlex (open database).