2 citations · 3 across the 5 of their papers we have counts for
5 papers
Option Discovery for Autonomous Generation of Symbolic Knowledge
Gabriele Sartor, Davide Zollo, Marta Cialdea Mayer +3
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.…
A framework for modelling Molecular Interaction Maps
Jean-Marc Alliot, Marta Cialdea Mayer, Robert Demolombe +2
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 se…
A game-theoretic approach to timeline-based planning with uncertainty
Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer +2
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 temp…
A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies (extended version)
Marta Cialdea Mayer
In previous works, a tableau calculus has been defined, which constitutes a decision procedure for hybrid logic with the converse and global modalities and a restricted use of the…
Tableaux for multi-modal hybrid logic with binders, transitive relations and relation hierarchies
M. Cialdea Mayer
In a previous paper, a tableau calculus has been presented, which constitute a decision procedure for hybrid logic with the converse and global modalities and a restricted use of t…