-
1
المؤلفون: Yehia Abd Alrahman, Perelli, G., Piterman, N.
المصدر: Scopus-Elsevier
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Computation and Language, Multi-agent Systems, Temporal Logics, Model-Checking, Computation and Language (cs.CL), Logic in Computer Science (cs.LO)
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1202984d804dae89955af5b2d630f591Test
-
2
المؤلفون: Giuseppe Perelli, Thomas Steeples, Julian Gutierrez, Michael Wooldridge, Sasha Rubin, Aniello Murano
المساهمون: Gutierrez, J., Murano, A., Perelli, G., Rubin, S., Steeples, T., Wooldridge, M.
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science::Computer Science and Game Theory, Computer Science - Logic in Computer Science, Computer Networks and Communications, Process (engineering), Computer science, Computer Science - Artificial Intelligence, media_common.quotation_subject, Context (language use), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Multi-Agent Systems, symbols.namesake, Linear temporal logic, Computer Science - Computer Science and Game Theory, 0202 electrical engineering, electronic engineering, information engineering, Computer Science - Multiagent Systems, Function (engineering), Rational Verification, media_common, Temporal Logics, Quantitative Reasoning, ComputingMilieux_PERSONALCOMPUTING, 020207 software engineering, Lexicographical order, Decidability, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), 010201 computation theory & mathematics, Nash equilibrium, Theory of computation, symbols, Mathematical economics, Software, Information Systems, Computer Science and Game Theory (cs.GT), Multiagent Systems (cs.MA)
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::804051dd62340f61a2ed8c32a87de903Test
http://arxiv.org/abs/2008.05643Test -
3
المؤلفون: Nicolas Markey, Bastien Maubert, Aniello Murano, Orna Kupferman, Patricia Bouyer, Giuseppe Perelli
المساهمون: Laboratoire Spécification et Vérification [Cachan] (LSV), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS), The Hebrew University of Jerusalem (HUJ), SUpervision of large MOdular and distributed systems (SUMO), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Dipartimento di Ingegneria Elettrica e delle Tecnologie dell'Informazione [Napoli] (DIETI), University of Naples Federico II = Università degli studi di Napoli Federico II, University of Leicester, European Project: 308087,EC:FP7:ERC,ERC-2012-StG_20111012,EQUALIS(2013), Bouyer, P., Kupferman, O., Markey, N., Maubert, B., Murano, A., Perelli, G., Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Università degli studi di Napoli Federico II
المصدر: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
IJCAI 2019-28th International Joint Conference on Artificial Intelligence
IJCAI 2019-28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1588-1594, ⟨10.24963/ijcai.2019/220⟩
IJCAI
Scopus-Elsevierمصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 0209 industrial biotechnology, Theoretical computer science, Computer science, media_common.quotation_subject, Stability (learning theory), 02 engineering and technology, Fuzzy logic, Multi-Agent Systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], 020901 industrial engineering & automation, 0202 electrical engineering, electronic engineering, information engineering, Quality (business), ComputingMilieux_MISCELLANEOUS, media_common, Strategy Logic, Fuzzy Reasoning, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Extension (predicate logic), Logic in Computer Science (cs.LO), Qualitative reasoning, [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA], 020201 artificial intelligence & image processing, Value (mathematics)
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0a8b9acdb67963b83bd7446d0065a88cTest
http://hdl.handle.net/11573/1403362Test