Accueil › Annuaire des chercheurs › Amar Isli

Amar Isli

Affiliation : University of Sciences and Technology Houari Boumediene

• 1Publications (affiliation algérienne)
• 39Publications au total
• 213Citations
• 7Indice h

OpenAlex

Profil de recherche

Amar Isli compte 1 publication référencée (2020). Ses travaux paraissent dans « arXiv (Cornell University) ».

C’est vous ? Faites connaître vos travaux

Créez gratuitement votre profil DzCademia et ajoutez vos articles : ils apparaîtront plus facilement sur Google et dans les assistants d’IA comme ChatGPT. Plus de personnes pourront vous lire et vous citer.

Créer mon profil gratuit Ajouter mes publications

Domaines de recherche

• 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)

Données bibliographiques issues d’OpenAlex (base ouverte).