Mauricio Martel

ORCID

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 11

Top Venues

University of Bremen, Germany (PHD)

Education History

University of Bremen, Germany

PHD

Publications

Yehia Abd Alrahman, Mauricio Martel, Nir Piterman
A PO Characterisation of Reconfiguration. ICTAC (2022)
Yehia Abd Alrahman, Mauricio Martel, Nir Piterman
Interleaving & Reconfigurable Interaction: Separating Choice from Scheduling using Glue. CoRR (2021)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
Conservative Extensions in Horn Description Logics with Inverse Roles. CoRR (2020)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
Conservative Extensions in Horn Description Logics with Inverse Roles. J. Artif. Intell. Res. 68 (2020)
Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel
Satisfiability for relation-changing logics. J. Log. Comput. 28 (7) (2018)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
Querying the Unary Negation Fragment with Regular Path Expressions. ICDT (2018)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter
Conservative Extensions in Guarded and Two-Variable Fragments. CoRR (2017)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter
Conservative Extensions in Guarded and Two-Variable Fragments. ICALP (2017)
Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel
Undecidability of Relation-Changing Modal Logics. DALI@TABLEAUX (2017)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
Query Conservative Extensions in Horn Description Logics with Inverse Roles. IJCAI (2017)
Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel
Relation-Changing Logics as Fragments of Hybrid Logics. GandALF (2016)

Mauricio Martel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mauricio Martel