Mauricio Martel

12 papers A* 2A 1C 1Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2022 C conf
A PO Characterisation of Reconfiguration.
ICTAC
Yehia Abd Alrahman, Mauricio Martel, Nir Piterman
2021 J jnl
Interleaving & Reconfigurable Interaction: Separating Choice from Scheduling using Glue.
CoRR
Yehia Abd Alrahman, Mauricio Martel, Nir Piterman
2020 J jnl
Conservative Extensions in Horn Description Logics with Inverse Roles.
CoRR
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
2020 J jnl
Conservative Extensions in Horn Description Logics with Inverse Roles.
J. Artif. Intell. Res.
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
2018 — —
Conservative Extensions and Satisfiability in Fragments of First-Order Logic: Complexity and Expressive Power.
Mauricio Martel
2018 A conf
Querying the Unary Negation Fragment with Regular Path Expressions.
ICDT
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
2018 J jnl
Satisfiability for relation-changing logics.
J. Log. Comput.
Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel
2017 A* conf
Conservative Extensions in Guarded and Two-Variable Fragments.
ICALP
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter
2017 J jnl
Conservative Extensions in Guarded and Two-Variable Fragments.
CoRR
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter
2017 A* conf
Query Conservative Extensions in Horn Description Logics with Inverse Roles.
IJCAI
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
2017 — conf
Undecidability of Relation-Changing Modal Logics.
DALI@TABLEAUX
Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel
2016 — conf
Relation-Changing Logics as Fragments of Hybrid Logics.
GandALF
Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel