Suchergebnisse - Thomazo, Michaël

1

On Boolean combinations forming piecewise testable languages von Masopust, Tomáš, Thomazo, Michaël

Veröffentlicht in Theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Complexity of universality and related problems for partially ordered NFAs von Krötzsch, Markus, Masopust, Tomáš, Thomazo, Michaël

Veröffentlicht in Information and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

An Introduction to Ontology-Based Query Answering with Existential Rules von Mugnier, Marie-Laure, Thomazo, Michaël

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

On the height of towers of subsequences and prefixes von Holub, Štěpán, Masopust, Tomáš, Thomazo, Michaël

Veröffentlicht in Information and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

On the complexity of entailment in existential conjunctive first-order logic with atomic negation von Mugnier, Marie-Laure, Simonet, Geneviève, Thomazo, Michaël

Veröffentlicht in Information and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules von Bienvenu, Meghyn, Thomazo, Michaël

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

On the Complexity of k-Piecewise Testability and the Depth of Automata von Masopust, Tomáš, Thomazo, Michaël

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

What Is a Reasonable Argumentation Semantics? von Gaggl, Sarah Alice, Rudolph, Sebastian, Thomazo, Michaël

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Sound, complete and minimal UCQ-rewriting for existential rules von König, Mélanie, Leclère, Michel, Mugnier, Marie-Laure, Thomazo, Michaël

Veröffentlicht in Semantic Web

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Parallelisable Existential Rules: a Story of Pieces von Buron, Maxime, Mugnier, Marie-Laure, Thomazo, Michaël

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Normalisations of Existential Rules: Not so Innocuous von Carral, David, Larroque, Lucas, Mugnier, Marie-Laure, Thomazo, Michaël

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Answering Counting Queries over DL-Lite Ontologies von Bienvenu, Meghyn, Manière, Quentin, Thomazo, Michaël

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Capturing Homomorphism-Closed Decidable Queries with Existential Rules von Bourgaux, Camille, Carral, David, Krötzsch, Markus, Rudolph, Sebastian, Thomazo, Michaël

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Reasoning about disclosure in data integration in the presence of source constraints von Benedikt, Michael, Bourhis, Pierre, Jachiet, Louis, Thomazo, Michaël

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

A Sound and Complete Backward Chaining Algorithm for Existential Rules von König, Mélanie, Leclère, Michel, Mugnier, Marie-Laure, Thomazo, Michaël

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

On the Exploration of the Query Rewriting Space with Existential Rules von König, Mélanie, Leclère, Michel, Mugnier, Marie-Laure, Thomazo, Michaël

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

On $k$-piecewise testability (preliminary report) von Masopust, Tomáš, Thomazo, Michaël

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Parallelisable Existential Rules: a Story of Pieces von Buron, Maxime, Mugnier, Marie-Laure, Thomazo, Michaël

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Complexity of Universality and Related Problems for Partially Ordered NFAs von Krötzsch, Markus, Masopust, Tomáš, Thomazo, Michaël

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

On the Height of Towers of Subsequences and Prefixes von Holub, Štěpán, Masopust, Tomáš, Thomazo, Michaël

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

On Boolean combinations forming piecewise testable languages von Masopust, Tomáš, Thomazo, Michaël

Complexity of universality and related problems for partially ordered NFAs von Krötzsch, Markus, Masopust, Tomáš, Thomazo, Michaël

An Introduction to Ontology-Based Query Answering with Existential Rules von Mugnier, Marie-Laure, Thomazo, Michaël

On the height of towers of subsequences and prefixes von Holub, Štěpán, Masopust, Tomáš, Thomazo, Michaël

On the complexity of entailment in existential conjunctive first-order logic with atomic negation von Mugnier, Marie-Laure, Simonet, Geneviève, Thomazo, Michaël

On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules von Bienvenu, Meghyn, Thomazo, Michaël

On the Complexity of k-Piecewise Testability and the Depth of Automata von Masopust, Tomáš, Thomazo, Michaël

What Is a Reasonable Argumentation Semantics? von Gaggl, Sarah Alice, Rudolph, Sebastian, Thomazo, Michaël

Sound, complete and minimal UCQ-rewriting for existential rules von König, Mélanie, Leclère, Michel, Mugnier, Marie-Laure, Thomazo, Michaël

Parallelisable Existential Rules: a Story of Pieces von Buron, Maxime, Mugnier, Marie-Laure, Thomazo, Michaël

Normalisations of Existential Rules: Not so Innocuous von Carral, David, Larroque, Lucas, Mugnier, Marie-Laure, Thomazo, Michaël

Answering Counting Queries over DL-Lite Ontologies von Bienvenu, Meghyn, Manière, Quentin, Thomazo, Michaël

Capturing Homomorphism-Closed Decidable Queries with Existential Rules von Bourgaux, Camille, Carral, David, Krötzsch, Markus, Rudolph, Sebastian, Thomazo, Michaël

Reasoning about disclosure in data integration in the presence of source constraints von Benedikt, Michael, Bourhis, Pierre, Jachiet, Louis, Thomazo, Michaël

A Sound and Complete Backward Chaining Algorithm for Existential Rules von König, Mélanie, Leclère, Michel, Mugnier, Marie-Laure, Thomazo, Michaël

On the Exploration of the Query Rewriting Space with Existential Rules von König, Mélanie, Leclère, Michel, Mugnier, Marie-Laure, Thomazo, Michaël

On $k$-piecewise testability (preliminary report) von Masopust, Tomáš, Thomazo, Michaël

Parallelisable Existential Rules: a Story of Pieces von Buron, Maxime, Mugnier, Marie-Laure, Thomazo, Michaël

Complexity of Universality and Related Problems for Partially Ordered NFAs von Krötzsch, Markus, Masopust, Tomáš, Thomazo, Michaël

On the Height of Towers of Subsequences and Prefixes von Holub, Štěpán, Masopust, Tomáš, Thomazo, Michaël

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle