المؤلفون: Boumazouza, Ryma, Cheikh-Alili, Fahima, Mazure, Bertrand, Tabia, Karim

المصدر: The 23rd International Conference on Artificial Intelligence (ICAI'21), Jul 2021, Las Vegas, United States. https://www.springer.com/series/11769

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

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

المؤلفون: Boumazouza, Ryma, Cheikh-Alili, Fahima, Mazure, Bertrand, Tabia, Karim

المصدر: CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Nov 2021, Virtual Event Queensland Australia, Australia. pp.120-129

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

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

المؤلفون: Boumazouza, Ryma, Cheikh-Alili, Fahima, Mazure, Bertrand, Tabia, Karim

المصدر: 14th International Conference, SUM 2020, Bozen-Bolzano, Italy, Sep 2020, Virtual event Bozen-Bolzano, Italy. pp.270-277

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

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

المؤلفون: Boumazouza, Ryma^Aff10, Cheikh-Alili, Fahima^Aff10, Mazure, Bertrand^Aff10, Tabia, Karim^Aff10

المساهمون: 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, Davis, Jesse, editor^Aff8, Tabia, Karim, editor^Aff9

المصدر: Scalable Uncertainty Management : 14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 23–25, 2020, Proceedings. 12322:270-277

المؤلفون: Chafik, Anasse, Cheikh-Alili, Fahima, Condotta, Jean-François, Varzinczak, Ivan

المصدر: Journal of Applied Non-Classical Logics; Mar2023, Vol. 33 Issue 1, p1-51, 51p

مصطلحات موضوعية: DESCRIPTION logics, ARTIFICIAL intelligence, LOGIC, NONMONOTONIC logic, COMPUTER systems, MODAL logic

الشركة/الكيان: KLM Royal Dutch Airlines (Company)

المؤلفون: Chafik, Anasse, Cheikh-Alili, Fahima, Condotta, Jean-François, Varzinczak, Ivan

مصطلحات موضوعية: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Non-monotonic reasoning, Tableau Calculi, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Temporal logic, Theory of computation → Modal and temporal logics

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

المؤلفون: Balbiani, Philippe, Cheikh-Alili, Fahima

المساهمون: Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), Centre de Recherche en Informatique de Lens (CRIL), Université d'Artois (UA)-Centre National de la Recherche Scientifique (CNRS), IRIT - Institut de recherche en informatique de Toulouse, Chevallier, Francois

المصدر: [Research Report] IRIT-Institut de recherche en informatique de Toulouse. 2010

مصطلحات موضوعية: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], composition problem, decidability issues, Web services, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3e97680082949ef55cf69f0866a58168
https://hal.archives-ouvertes.fr/hal-00872818

المؤلفون: Balbiani, Philippe, Cheikh Alili, Fahima, Héam, P.-C., Kouchnarenko, Olga

المصدر: ENTCS: Electronic Notes in Theoretical Computer Science; Jun2010, Vol. 263, p31-46, 16p

مصطلحات موضوعية: CONSTRAINT satisfaction, WEB services, MACHINE theory, BOOLEAN searching, COMPUTATIONAL complexity, MATHEMATICAL sequences