الرئيسية › دليل الباحثين › Amar Isli

Amar Isli

الانتماء : University of Sciences and Technology Houari Boumediene

• 1منشورات (انتماء جزائري)
• 39مجموع المنشورات
• 213الاستشهادات
• 7مؤشر h

OpenAlex

هل هذا أنت؟ عرّف بأبحاثك

أنشئ ملفك على DzCademia مجانًا وأضف مقالاتك: ستظهر بسهولة أكبر على Google وفي مساعدي الذكاء الاصطناعي مثل ChatGPT، فيقرؤها ويستشهد بها عدد أكبر من الناس.

إنشاء ملفي المجاني إضافة منشوراتي

مجالات البحث

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

المنشورات (1)

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

البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).