Filter your results
- 8
- 1
- 1
- 1
- 1
- 12
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 12
- 5
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 11
- 11
- 11
- 11
- 10
- 10
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 12
- 9
- 3
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
|
|
sorted by
|
|
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear ArithmeticFroCos 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
|
||
|
Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract)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
|
||
|
Formalizing ontology alignment and its operations with category theoryProc. 4th International conference on Formal ontology in information systems (FOIS), Nov 2006, Baltimore, United States. pp.277-288
Conference papers
hal-00825949v1
|
||
|
Query Containment for Highly Expressive Datalog Fragments2014
Preprints, Working Papers, ...
hal-01098974v1
|
||
|
Deciding Hyperproperties Combined with Functional SpecificationsLICS 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
|
||
|
How to Best Nest Regular Path QueriesInformal Proceedings of the 27th International Workshop on Description Logics, Jul 2014, Vienne, Austria
Conference papers
hal-01098979v1
|
||
|
Integrated view and comparison of alignment semantics[Contract] 2005, pp.32
Reports
hal-00922275v1
|
||
|
Complexity of universality and related problems for partially ordered NFAsInformation and Computation, 2017, 255, pp.177 - 192. ⟨10.1016/j.ic.2017.06.004⟩
Journal articles
hal-01571398v1
|
||
|
On the Complexity of Universality for Partially Ordered NFAs41st 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, 2016Dell'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
|
|||
|
Capturing Homomorphism-Closed Decidable Queries with Existential RulesKR 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
|
||
|
Reasonable Highly Expressive Query LanguagesIJCAI, Jul 2015, Buenos Aires, Argentina. ⟨10.1007/978-3-662-47666-6_5⟩
Conference papers
hal-01211282v1
|