المؤلفون: Lequen, Arnaud, Cooper, Martin C., Maris, Frédéric

مصطلحات موضوعية: Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/2406.16555

المؤلفون: Bolander, Thomas^Aff10, Lequen, Arnaud^Aff11

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Martins, Manuel A., editor^Aff8, Sedlár, Igor, editor^Aff9

المصدر: Dynamic Logic. New Trends and Applications : Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers. 12569:87-102

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Cooper, Martin C., Lequen, Arnaud, Maris, Frédéric

مصطلحات موضوعية: isomorphism, constraint propagation, Mathematics of computing → Matchings and factors, planning, complexity, Computing methodologies → Planning for deterministic actions

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b90ff5b866ef6c973e133575e8878a3a