A formal semantics for agent distribution and fault tolerance in Jason.

Álvaro Fernández Díaz

Álvaro Fernández Díaz Lars-Åke Fredlund Clara Benac Earle Julio Mariño A formal semantics for agent distribution and fault tolerance in Jason. 100874 2023 June 133 J. Log. Algebraic Methods Program. https://doi.org/10.1016/j.jlamp.2023.100874 db/journals/jlap/jlap133.html#DiazFEM23

Álvaro Fernández Díaz eJason: a Framework for Distributed and Fault-Tolerant Multi-Agent Systems. Technical University of Madrid, Spain 2018 https://oa.upm.es/50369/ https://www.base-search.net/Record/dea86c9547d37f04fff479aff81927d535c95fd4bd7e39378acd929a3c21173d base-search.net (ftunivpmadrid:oai:oa.upm.es:50369) Álvaro Fernández Díaz Clara Benac Earle Lars-Åke Fredlund Pitfalls of Jason Concurrency. 19-33 2018 EMAS@AAMAS https://doi.org/10.1007/978-3-030-25693-7_2 conf/emas/2018 db/conf/emas/emas2018.html#DiazEF18

Álvaro Fernández Díaz Clara Benac Earle Lars-Åke Fredlund Adding distribution and fault tolerance to Jason. 205-232 2015 98 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2014.01.007 db/journals/scp/scp98.html#DiazEF15

Elena Gómez-Martínez Álvaro Fernández Díaz Embedded Systems for People with Special Needs: Insights from a Real Case. 431-436 2014 EUROMICRO-SEAA https://doi.org/10.1109/SEAA.2014.52 https://doi.ieeecomputersociety.org/10.1109/SEAA.2014.52 conf/euromicro/2014 db/conf/euromicro/euromicro2014.html#Gomez-MartinezD14 Álvaro Fernández Díaz Clara Benac Earle Lars-Åke Fredlund Adding distribution and fault tolerance to jason. 95-106 2012 AGERE!@SPLASH https://doi.org/10.1145/2414639.2414651 conf/agere/2012 db/conf/agere/agere2012.html#DiazEF12 Álvaro Fernández Díaz Clara Benac Earle Lars-Åke Fredlund Erlang as an implementation platform for BDI languages. 1-10 2012 Erlang Workshop https://doi.org/10.1145/2364489.2364491 conf/erlang/2012 db/conf/erlang/erlang2012.html#DiazEF12 Álvaro Fernández Díaz Clara Benac Earle Lars-Åke Fredlund eJason: An Implementation of Jason in Erlang. 1-16 2012 ProMAS https://doi.org/10.1007/978-3-642-38700-5_1 conf/promas/2012 db/conf/promas/promas2012.html#DiazEF12 Álvaro Fernández Díaz Christel Baier Clara Benac Earle Lars-Åke Fredlund Static Partial Order Reduction for Probabilistic Concurrent Systems. 104-113 2012 QEST https://doi.org/10.1109/QEST.2012.22 https://doi.ieeecomputersociety.org/10.1109/QEST.2012.22 conf/qest/2012 db/conf/qest/qest2012.html#DiazBEF12 Álvaro Fernández Díaz Clara Benac Earle Lars-Åke Fredlund Implementing a multiagent negotiation protocol in Erlang. 69-74 2010 Erlang Workshop https://doi.org/10.1145/1863509.1863520 conf/erlang/2010 db/conf/erlang/erlang2010.html#DiazEF10 Victor Pablos Ceruelo Susana Muñoz-Hernández Álvaro Fernández Díaz Developing user-sensitive search engines from fuzzy concepts. 175-186 2010 JISBD conf/jisbd/2010 db/conf/jisbd/jisbd2010.html#CerueloMF10 Christel Baier Victor Pablos Ceruelo Clara Benac Earle Lars-Åke Fredlund Elena Gómez-Martínez Julio Mariño-CarballoJulio Mariño Susana Muñoz-Hernández