Zobrazeno 1 - 10
of 120
pro vyhledávání: '"Marta Cialdea Mayer"'
Autor:
Gabriele Sartor, Davide Zollo, Marta Cialdea Mayer, Angelo Oddi, Riccardo Rasconi, Vieri Giuliano Santucci
Publikováno v:
AIxIA 2021 – Advances in Artificial Intelligence ISBN: 9783031084201
In this work we present an empirical study where we demonstrate the possibility of developing an artificial agent that is capable to autonomously explore an experimental scenario. During the exploration, the agent is able to discover and learn intere
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0e53ee975ee3afadf7d54124efa14c6d
http://arxiv.org/abs/2206.01815
http://arxiv.org/abs/2206.01815
Autor:
Marta Cialdea Mayer
Publikováno v:
Journal of Automated Reasoning. 64:135-165
This work describes the Sibyl prover, an implementation of a tableau based proof procedure for multi-modal hybrid logic with the converse, graded and global modalities, and enriched with features largely used in description logics: transitivity and r
In order to represent planning problems, Artificial Intelligence planning languagesare used to describe environment’s conditions and operators which can leadto desired goals by generating a chain of actions based on these conditions andoperators. H
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dc4699cbb35c9dc0b2fcb0aca0f704f7
Autor:
Alliot, Jean-Marc, Marta Cialdea Mayer, Demolombe, Robert, Diéguez, Martín, Fariñas del Cerro, Luis
Metabolic networks, formed by a series of metabolic pathways, are made of intracellular and extracellular reactions that determine the biochemical properties of a cell, and by a set of interactions that guide and regulate the activity of these reacti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::740b61f6f4fa1ed94bfa58a23480223e
http://arxiv.org/abs/2008.09546
http://arxiv.org/abs/2008.09546
Publikováno v:
Theoretical computer science 815 (2020): 247–269. doi:10.1016/j.tcs.2020.02.011
info:cnr-pdr/source/autori:Gigante, Nicola; Montanari, Angelo; Orlandini, Andrea; Mayer, Marta Cialdea; Reynolds, Mark/titolo:On timeline-based games and their complexity/doi:10.1016%2Fj.tcs.2020.02.011/rivista:Theoretical computer science/anno:2020/pagina_da:247/pagina_a:269/intervallo_pagine:247–269/volume:815
Theoretical Computer Science
info:cnr-pdr/source/autori:Gigante, Nicola; Montanari, Angelo; Orlandini, Andrea; Mayer, Marta Cialdea; Reynolds, Mark/titolo:On timeline-based games and their complexity/doi:10.1016%2Fj.tcs.2020.02.011/rivista:Theoretical computer science/anno:2020/pagina_da:247/pagina_a:269/intervallo_pagine:247–269/volume:815
Theoretical Computer Science
In timeline-based planning, domains are described as sets of independent, but interacting, components, whose behaviour over time (the set of timelines) is governed by a set of temporal constraints. A distinguishing feature of timeline-based planning
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::39bc286a3a73abfba8289071b0a261a4
http://www.cnr.it/prodotto/i/421808
http://www.cnr.it/prodotto/i/421808
Autor:
Alessandro Micarelli, Carla Limongelli, Marta Cialdea Mayer, Elio Strollo, Giuseppe Sansonetti
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030507251
HCI (38)
HCI (38)
One of the major problems facing our cities is the disposal of the huge amount of waste produced every day. A possible solution is represented by recycling. In this article, we propose a system for automatic recognition and extraction of materials fr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0200290f720e9b2070820955f2f5feec
https://hdl.handle.net/11590/373578
https://hdl.handle.net/11590/373578
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030351656
AI*IA
AI*IA
The ultimate goal of automated planning is the execution of plans by an artificial agent in the environment. When interactions and collaboration with humans are considered, robust plan execution requires even more highly flexible and adaptable contro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1a89f7ba87b982bf7a28a4f2c8014a04
https://doi.org/10.1007/978-3-030-35166-3_18
https://doi.org/10.1007/978-3-030-35166-3_18
Publikováno v:
AI*IA 2017 Advances in Artificial Intelligence ISBN: 9783319701684
AI*IA
Lecture Notes in Computer Science
Lecture Notes in Computer Science-AI*IA 2017 Advances in Artificial Intelligence
Advances in Artificial Intelligence, AI*IA 2017
AI*IA
Lecture Notes in Computer Science
Lecture Notes in Computer Science-AI*IA 2017 Advances in Artificial Intelligence
Advances in Artificial Intelligence, AI*IA 2017
This paper presents a novel planning framework, called PLATINUm that advances the state of the art with the ability of dealing with temporal uncertainty both at planning and plan execution level. PLATINUm is a comprehensive planning system endowed wi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4e0ddf6e0c953bca853581bd23ccdd1c
https://doi.org/10.1007/978-3-319-70169-1_37
https://doi.org/10.1007/978-3-319-70169-1_37
Publikováno v:
AI*IA 2016 Advances in Artificial Intelligence ISBN: 9783319491295
AI*IA
AI*IA 2016 Advances in Artificial Intelligence, pp. 508–522, 28/11/2016, 01/12/2016
info:cnr-pdr/source/autori:Alessandro Umbrico, Amedeo Cesta, Marta Cialdea Mayer, Andrea Orlandini/congresso_nome:AI*IA 2016 Advances in Artificial Intelligence/congresso_luogo:/congresso_data:28%2F11%2F2016, 01%2F12%2F2016/anno:2016/pagina_da:508/pagina_a:522/intervallo_pagine:508–522
AI*IA
AI*IA 2016 Advances in Artificial Intelligence, pp. 508–522, 28/11/2016, 01/12/2016
info:cnr-pdr/source/autori:Alessandro Umbrico, Amedeo Cesta, Marta Cialdea Mayer, Andrea Orlandini/congresso_nome:AI*IA 2016 Advances in Artificial Intelligence/congresso_luogo:/congresso_data:28%2F11%2F2016, 01%2F12%2F2016/anno:2016/pagina_da:508/pagina_a:522/intervallo_pagine:508–522
The "timeline-based" is a particular paradigm of temporal planning that has been successfully applied in many real-world scenarios. Different timeline-based planning systems have been developed, each using its own planning specification language and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5dfe5c64748409e305a2d2d678a4194c
https://doi.org/10.1007/978-3-319-49130-1_37
https://doi.org/10.1007/978-3-319-49130-1_37
Publikováno v:
Journal of Applied Non-Classical Logics
Journal of Applied Non-Classical Logics, Taylor & Francis, 2017, 27 (3-4), pp.269--291. ⟨10.1080/11663081.2018.1427986⟩
Journal of Applied Non-Classical Logics, 2017, 27 (3-4), pp.269--291. ⟨10.1080/11663081.2018.1427986⟩
Journal of Applied Non-Classical Logics, Taylor & Francis, 2017, 27 (3-4), pp.269--291. ⟨10.1080/11663081.2018.1427986⟩
Journal of Applied Non-Classical Logics, 2017, 27 (3-4), pp.269--291. ⟨10.1080/11663081.2018.1427986⟩
International audience; The interactions among the components of a biological system can be given a logical representation that is useful for reasoning about them. One of the relevant problems that may be raised in this context is finding what would
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::29f95be1c792af3dfda1da926ac44c2a
https://hal.archives-ouvertes.fr/hal-01764395
https://hal.archives-ouvertes.fr/hal-01764395