The following pages link to Marta Cialdea Mayer (Q229749):
Displaying 4 items.
- Erratum to: ``Extension of a decision procedure for a fragment of hybrid logic with binders'' (Q286791) (← links)
- Planning and execution with flexible timelines: a formal account (Q329417) (← links)
- Linear temporal logic as an executable semantics for planning languages (Q1006453) (← links)
- AI*IA 2003: Advances in Artificial Intelligence (Q5897333) (← links)
