Výsledky vyhledávání - "Cialdea Mayer"

Akademický článek

Logical connectives for two-state semantics.

Autor: Cialdea Mayer, Marta, Fariñas del Cerro, Luis

Publikováno v: Journal of Applied Non-Classical Logics; 2023, Vol. 33 Issue 3/4, p520-536, 17p

Zobrazit plný text záznamu

Option Discovery for Autonomous Generation of Symbolic Knowledge

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

Zobrazit plný text záznamu

A Prover Dealing with Nominals, Binders, Transitivity and Relation Hierarchies

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

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6aa481a94b10e1efda21cf7f44790a97
https://doi.org/10.1007/s10817-019-09513-3

Zobrazit plný text záznamu

On timeline-based games and their complexity

Autor: Marta Cialdea Mayer, Mark Reynolds, Andrea Orlandini, Nicola Gigante, Angelo Montanari

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

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

Zobrazit plný text záznamu

Design of Timeline-Based Planning Systems for Safe Human-Robot Collaboration

Autor: Orlandini, Andrea, Cialdea Mayer, Marta, Umbrico, Alessandro, Cesta, Amedeo

Publikováno v: Knowledge Engineering Tools and Techniques for AI Planning
Knowledge Engineering Tools and Techniques for AI Planning ISBN: 9783030385606
pp. 231–248. Cham, Heidelberg, New York, Dordrecht, London: Springer, 2020
info:cnr-pdr/source/autori:Orlandini, Andrea and Cialdea Mayer, Marta and Umbrico, Alessandro and Cesta, Amedeo/titolo:Design of Timeline-Based Planning Systems for Safe Human-Robot Collaboration/titolo_volume:/curatori_volume:/editore: /anno:2020

During the last decade, industrial collaborative robots have entered assembly cells supporting human workers in repetitive and physical demanding operations. Such human-robot collaboration (HRC) scenarios entail many open issues. The deployment of hi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::833d71048edd1ade6615001b64d438b9

Zobrazit plný text záznamu

Evaluating Robustness of an Acting Framework over Temporally Uncertain Domains

Autor: Alessandro Umbrico, Andrea Orlandini, Marta Cialdea Mayer, Amedeo Cesta

Publikováno v: Lecture Notes in Computer Science ISBN: 9783030351656
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

Zobrazit plný text záznamu

A Language for Timeline-based Planning

Autor: Giulio Bernardi, Amedeo Cesta, Andrea Orlandini, Alessandro Umbrico, Marta Cialdea Mayer

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

Zobrazit plný text záznamu

A framework for modelling Molecular Interaction Maps

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

Zobrazit plný text záznamu

An AI-Based Approach to Automatic Waste Sorting

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)

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

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání