Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

12 Results
Author: personID (integer) : 983890

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

Martin Bromberger , Irina Dragoste , Rasha Faqeh , Christof Fetzer , Markus Krötzsch et al.
FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.3-24, ⟨10.1007/978-3-030-86205-3_1⟩
Conference papers hal-03531889v1
Image document

Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract)

Camille Bourgaux , David Carral , Markus Krötzsch , Sebastian Rudolph , Michaël Thomazo et al.
IJCAI-ECAI 2022 - 31st International Joint Conference on Artificial Intelligence - 25th European Conference on Artificial Intelligence, Jul 2022, Vienna, Austria. pp.5269-5273, ⟨10.24963/ijcai.2022/733⟩
Conference papers hal-03801049v1
Image document

Formalizing ontology alignment and its operations with category theory

Antoine Zimmermann , Markus Krötzsch , Jérôme Euzenat , Pascal Hitzler
Proc. 4th International conference on Formal ontology in information systems (FOIS), Nov 2006, Baltimore, United States. pp.277-288
Conference papers hal-00825949v1
Image document

Query Containment for Highly Expressive Datalog Fragments

Pierre Bourhis , Markus Krötzsch , Sebastian Rudolph
2014
Preprints, Working Papers, ... hal-01098974v1

Deciding Hyperproperties Combined with Functional Specifications

Raven Beutner , David Carral , Bernd Finkbeiner , Jana Hofmann , Markus Krötzsch et al.
LICS 2022 - 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa, Israel. pp.1-13/56, ⟨10.1145/3531130.3533369⟩
Conference papers lirmm-03833578v1
Image document

How to Best Nest Regular Path Queries

Pierre Bourhis , Markus Krötzsch , Sebastian Rudolph
Informal Proceedings of the 27th International Workshop on Description Logics, Jul 2014, Vienne, Austria
Conference papers hal-01098979v1
Image document

Integrated view and comparison of alignment semantics

Pascal Hitzler , Jérôme Euzenat , Markus Krötzsch , Luciano Serafini , Heiner Stuckenschmidt et al.
[Contract] 2005, pp.32
Reports hal-00922275v1
Image document

Complexity of universality and related problems for partially ordered NFAs

Markus Krötzsch , Tomáš Masopust , Michaël Thomazo
Information and Computation, 2017, 255, pp.177 - 192. ⟨10.1016/j.ic.2017.06.004⟩
Journal articles hal-01571398v1
Image document

On the Complexity of Universality for Partially Ordered NFAs

Markus Krötzsch , Tomáš Masopust , Michaël Thomazo
41st International Symposium on Mathematical Foundations of Computer Science , Aug 2016, Krakow, Poland. ⟨10.4230/LIPIcs.MFCS.2016.62⟩
Conference papers hal-01334958v1

Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) Workshops Co-Located with 15th International Semantic Web Conference (ISWC 2016), Kobe, Japan, October 17th - to - 18th, 2016

Daniele Dell'Aglio , Emanuele Della Valle , Thomas Eiter , Markus Krötzsch , Maria Maleshkova et al.
Dell'Aglio, Daniele and Valle, Emanuele Della and Eiter, Thomas and Krötzsch, Markus and Maleshkova, Maria and Verborgh, Ruben and Facca, Federico M. and Mrissa, Michael. CEUR-WS, 1783, 2017, CEUR Workshop Proceedings
Books hal-01913203v1
Image document

Capturing Homomorphism-Closed Decidable Queries with Existential Rules

Camille Bourgaux , David Carral , Markus Krötzsch , Sebastian Rudolph , Michaël Thomazo et al.
KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, Nov 2021, Virtual, Vietnam. pp.141-150, ⟨10.24963/kr.2021/14⟩
Conference papers lirmm-03345614v1
Image document

Reasonable Highly Expressive Query Languages

Pierre Bourhis , Markus Krötzsch , Sebastian Rudolph
IJCAI, Jul 2015, Buenos Aires, Argentina. ⟨10.1007/978-3-662-47666-6_5⟩
Conference papers hal-01211282v1