المؤلفون: Molinari, A., Montanari, A., Murano, A., Perelli, G., Peron, A.

المصدر: Acta Informatica 53 (2016) 587-619

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Computational Complexity

الوصول الحر: http://arxiv.org/abs/1601.03195Test

المؤلفون: Gutierrez, J, Najib, M, Perelli, G, Wooldridge, M

العلاقة: https://ora.ox.ac.uk/objects/uuid:b65fd80b-0c1c-4c26-a9e1-6459146d7d3aTest; https://doi.org/10.1007/s10472-022-09804-3Test

الإتاحة: https://doi.org/10.1007/s10472-022-09804-3Test
https://ora.ox.ac.uk/objects/uuid:b65fd80b-0c1c-4c26-a9e1-6459146d7d3aTest

المؤلفون: Gutierrez J., Perelli G., Wooldridge M.

المساهمون: Gutierrez, J., Perelli, G., Wooldridge, M.

مصطلحات موضوعية: Formal verification, Game, Multi-agent system, Temporal logic

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000607516300006; volume:276; numberofpages:16; journal:INFORMATION AND COMPUTATION; http://hdl.handle.net/11573/1403477Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85082814589

الإتاحة: https://doi.org/10.1016/j.ic.2020.104555Test
http://hdl.handle.net/11573/1403477Test

المؤلفون: De Giacomo G., Perelli G.

المساهمون: De Giacomo, G., Perelli, G.

مصطلحات موضوعية: linear temporal logic, synthesi, planning, behavioral semantic

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-031-43263-7; info:eu-repo/semantics/altIdentifier/isbn/978-3-031-43264-4; ispartofbook:European Conference on Multi-Agent Systems; European Conference on Multi-Agent Systems; volume:14282 LNAI; firstpage:133; lastpage:149; numberofpages:17; https://hdl.handle.net/11573/1691215Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85172013593

الإتاحة: https://doi.org/10.1007/978-3-031-43264-4_9Test
https://hdl.handle.net/11573/1691215Test

المؤلفون: Perelli G.

المساهمون: Perelli, G.

مصطلحات موضوعية: Logics for agents and multi-agent system, Synthesis of agent-based system, Verification techniques for multiagent systems, including model checking

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-151089200-2; info:eu-repo/semantics/altIdentifier/wos/WOS:000474345000026; ispartofbook:AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and Multi Agent Systems; 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019; volume:1; firstpage:188; lastpage:196; numberofpages:9; serie:PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS; http://hdl.handle.net/11573/1403129Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85071642502

الإتاحة: http://hdl.handle.net/11573/1403129Test

المؤلفون: Gutierrez J., Najib M., Perelli G., Wooldridge M.

المساهمون: Gutierrez, J., Najib, M., Perelli, G., Wooldridge, M.

مصطلحات موضوعية: Multi-Agent System, Rational Verification, Temporal Logics

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-0-9992411-4-1; info:eu-repo/semantics/altIdentifier/wos/WOS:000761735100047; 28th International Joint Conference on Artificial Intelligence, IJCAI 2019; volume:2019-; firstpage:329; lastpage:335; numberofpages:7; journal:IJCAI; http://hdl.handle.net/11573/1403423Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85071637826

الإتاحة: https://doi.org/10.24963/ijcai.2019/47Test
http://hdl.handle.net/11573/1403423Test

المؤلفون: Bouyer P., Kupferman O., Markey N., Maubert B., Murano A., Perelli G.

المساهمون: Bouyer, P., Kupferman, O., Markey, N., Maubert, B., Murano, A., Perelli, G.

مصطلحات موضوعية: Strategy Logic, Multi-Agent System, Fuzzy Reasoning

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-099924114-1; info:eu-repo/semantics/altIdentifier/wos/WOS:000761735101099; 28th International Joint Conference on Artificial Intelligence, IJCAI 2019; volume:2019-; firstpage:1588; lastpage:1594; numberofpages:7; journal:IJCAI; http://hdl.handle.net/11573/1403362Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85074922709

الإتاحة: https://doi.org/10.24963/ijcai.2019/220Test
http://hdl.handle.net/11573/1403362Test

المؤلفون: Gutierrez J., Najib M., Perelli G., Wooldridge M.

المساهمون: Fokkink W., van Glabbeek R., Gutierrez, J., Najib, M., Perelli, G., Wooldridge, M.

مصطلحات موضوعية: Game, Model checking, Nash equilibrium, Synthesi, Temporal logic

العلاقة: ispartofbook:30th International Conference on Concurrency Theory (CONCUR 2019); 30th International Conference on Concurrency Theory, CONCUR 2019; volume:140; numberofpages:16; serie:LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS; http://hdl.handle.net/11573/1403127Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85071649192

الإتاحة: https://doi.org/10.4230/LIPIcs.CONCUR.2019.22Test
http://hdl.handle.net/11573/1403127Test

المؤلفون: Abate, A, Gutierrez, J, Hammond, L, Harrenstein, P, Kwiatkowska, M, Najib, M, Perelli, G, Steeples, T, Wooldridge, M

العلاقة: https://ora.ox.ac.uk/objects/uuid:9c38675f-eda4-4f3b-ba6b-5b70e8c8d987Test; https://doi.org/10.1007/s10489-021-02658-yTest

الإتاحة: https://doi.org/10.1007/s10489-021-02658-yTest
https://ora.ox.ac.uk/objects/uuid:9c38675f-eda4-4f3b-ba6b-5b70e8c8d987Test

المؤلفون: Gutierrez J., Harrenstein P., Perelli G., Wooldridge M.

المساهمون: Gutierrez, J., Harrenstein, P., Perelli, G., Wooldridge, M.

مصطلحات موضوعية: Bisimulation, Concurrency, Logic and Game, Nash Equilibrium

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/18605974; info:eu-repo/semantics/altIdentifier/wos/WOS:000505787200004; volume:15; issue:3; lastpage:49; journal:LOGICAL METHODS IN COMPUTER SCIENCE; http://hdl.handle.net/11573/1403431Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85074158987

الإتاحة: https://doi.org/10.23638/LMCS-15Test(3:32)2019
http://hdl.handle.net/11573/1403431Test