Marta Cialdea Mayer

Identifiers

• name variant Marta Cialdea Mayer 0.60 · backfill

Papers (2)

1. A game-theoretic approach to timeline-based planning with uncertainty cs.AI · 2018 · author #3
2. A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies (extended version) cs.LO · 2013 · author #1

Mentions

• 1312.2894 #1 · backfill · confidence 0.70 Marta Cialdea Mayer

Frequent Coauthors

• Andrea Orlandini 1 shared papers
• Angelo Montanari 1 shared papers
• Mark Reynolds 1 shared papers
• Nicola Gigante 1 shared papers