Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Martel, Mauricio
50  Ergebnisse:
Personensuche X
?
1

A PO Characterisation of Reconfiguration:

, In: Lecture Notes in Computer Science; Theoretical Aspects of Computing – ICTAC 2022,
Abd Alrahman, Yehia ; Martel, Mauricio ; Piterman, Nir - p. 42-59 , 2022
Link: https://doi.org/10.1007/..
 
?
2

Undecidability of relation-changing modal logics:

, In: Dynamic Logic. New Trends and Applications / edited by Alexandre Madeira, Mário Benevides
Areces, Carlos ; Fervari, Raul ; Hoffmann, Guillaume.. (2018)  - p. 1-16
Link: https://doi.org/10.1007/..
 
?
3

Conservative extensions and satisfiability in fragments of .. 

complexity and expressive power 
Martel, Mauricio , 2018
Link: http://nbn-resolving.de/..
 
?
4

Conservative extensions and satisfiability in fragments of .. 

complexity and expressive power 
Martel, Mauricio , 2018
Exemplar:  Zentrale:Magazinturm E01 ts 4855
 
?
5

Satisfiability for relation-changing logics:

Areces, Carlos ; Fervari, Raul ; Hoffmann, Guillaume.
Journal of Logic and Computation.  28 (2018)  7 - p. 1443-1470 , 2018
Link: https://doi.org/10.1093/..
 
?
6

Conservative extensions in guarded and two-variable fragmen..:

, In: 44th International Colloquium on Automata, Languages, and Programming / edited by Ioannis Chatzigiannakis, Piotr Indyk, Fabian Kuhn, Anca Muscholl ; EATCS
Jung, Jean Christoph ; Martel, Mauricio ; Wolter, Frank... (2017) 
Link: http://dx.doi.org/10.423..
 
?
7

Query conservative extensions in horn description logics wi..:

, In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17) / edited by Carles Sierra, IIIA-CSIC
Jung, Jean Christoph ; Martel, Mauricio ; Lutz, Carsten.. (2017)  - p. 1116-1122
Link: https://www.ijcai.org/pr..
 
?
8

Satisfiability for relation-changing logics:

Areces, Carlos ; Fervari, Raul ; Hoffmann, Guillaume.. (2018)  7 - p. 1443-1470
Link: https://doi.org/10.1093/..
 
?
9

Interleaving & Reconfigurable Interaction: Separating Choic..:

Alrahman, Yehia Abd ; Martel, Mauricio ; Piterman, Nir
http://arxiv.org/abs/2107.14668.  , 2021
Link: http://arxiv.org/abs/210..
 
?
10

Conservative Extensions in Horn Description Logics with Inv..:

Jung, Jean Christoph ; Lutz, Carsten ; Martel, Mauricio.
http://arxiv.org/abs/2011.09858.  , 2020
Link: http://arxiv.org/abs/201..
 
?
11

Querying the Unary Negation Fragment with Regular Path Expr..:

Jung, Jean Christoph ; Lutz, Carsten ; Martel, Mauricio.
doi:10.4230/LIPIcs.ICDT.2018.15.  , 2018
Link: https://doi.org/10.4230/..
 
?
12

Conservative Extensions in Guarded and Two-Variable Fragmen..:

Jung, Jean Christoph ; Lutz, Carsten ; Martel, Mauricio..
doi:10.4230/LIPIcs.ICALP.2017.108.  , 2017
Link: https://doi.org/10.4230/..
 
?
13

Conservative Extensions in Guarded and Two-Variable Fragmen..:

Jung, Jean Christoph ; Lutz, Carsten ; Martel, Mauricio..
http://arxiv.org/abs/1705.10115.  , 2017
Link: http://arxiv.org/abs/170..
 
?
14

Relation-Changing Logics as Fragments of Hybrid Logics:

Areces, Carlos ; Fervari, Raul ; Hoffmann, Guillaume.
http://arxiv.org/abs/1609.04086.  , 2016
Link: http://arxiv.org/abs/160..
 
?
15

Satisfiability for relation-changing logics:

Areces, Carlos Eduardo ; Fervari, Raul Alberto ; Hoffmann, Guillaume Emmanuel.
info:eu-repo/semantics/altIdentifier/doi/10.1093/logcom/exy022.  ,
Link: http://hdl.handle.net/11..
 
1-15