Filtrer vos résultats
- 45
- 14
- 38
- 15
- 4
- 1
- 1
- 1
- 59
- 1
- 1
- 2
- 8
- 9
- 2
- 6
- 9
- 5
- 4
- 2
- 3
- 1
- 1
- 3
- 1
- 1
- 59
- 46
- 42
- 12
- 12
- 11
- 8
- 8
- 7
- 6
- 6
- 5
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 59
- 12
- 11
- 10
- 7
- 6
- 6
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
59 résultats
|
|
triés par
|
|
Data Centric Workflows for CrowdsourcingPetri Nets 2020 - 41st International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2020, Paris, France. pp.1-39
Communication dans un congrès
hal-02508838v1
|
||
|
Query Answering with Transitive and Linear-Ordered DataTwenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, Jul 2016, New York, United States
Communication dans un congrès
hal-01413881v1
|
||
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description LogicsPrinciples of Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa
Communication dans un congrès
hal-01413887v1
|
|||
PROX: Approximated Summarization of Data ProvenanceInternational Conference on Extending Database Technology, Mar 2016, Bordeaux, France. 2016
Poster de conférence
hal-01420452v1
|
|||
|
The AXML Artifact Model16th International Symposium on Temporal Representation and Reasoning, Jul 2009, Brixen-Bressanone, Italy
Communication dans un congrès
inria-00447694v1
|
||
Definability and Interpolation within Decidable Fixpoint LogicsLogical Methods in Computer Science, 2019, 15 (3), ⟨10.23638/LMCS-15(3:29)2019⟩
Article dans une revue
hal-02392433v1
|
|||
|
Mixed-World Reasoning with Existential Rules under Active-Domain SemanticsTwenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI), Aug 2019, Macao, Macau SAR China. ⟨10.24963/ijcai.2019/216⟩
Communication dans un congrès
hal-02342129v1
|
||
|
Highly Expressive Query Languages for Unordered Data TreesTheory of Computing Systems, 2015, 57, pp.927-966. ⟨10.1007/s00224-015-9617-5⟩
Article dans une revue
hal-01167068v1
|
||
|
How to Best Nest Regular Path QueriesInformal Proceedings of the 27th International Workshop on Description Logics, Jul 2014, Vienne, Austria
Communication dans un congrès
hal-01098979v1
|
||
|
Oblivious and Semi-Oblivious Boundedness for Existential RulesIJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1581-1587, ⟨10.24963/ijcai.2019/219⟩
Communication dans un congrès
lirmm-02148142v1
|
||
|
Making Cross Products and Guarded Ontology Languages CompatibleIJCAI 2017 - Twenty-Sixth International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. pp.880-886, ⟨10.24963/ijcai.2017/122⟩
Communication dans un congrès
hal-01638346v1
|
||
|
JSON: Data model and query languagesInformation Systems, 2020, 89, ⟨10.1016/j.is.2019.101478⟩
Article dans une revue
hal-03094643v1
|
||
|
Equivalence-Invariant Algebraic Provenance for Hyperplane Update QueriesSigmod, Jun 2020, Portland, United States. ⟨10.1145/3318464.3380578⟩
Communication dans un congrès
hal-03094605v1
|
||
|
Ethical Challenges in the Future of WorkBulletin of the Technical Committee on Data Engineering, 2019
Article dans une revue
hal-03094585v1
|
||
|
Query Containment for Highly Expressive Datalog Fragments2014
Pré-publication, Document de travail
hal-01098974v1
|
||
|
Satisfiability and relevance for queries over active documentsProceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009,, Jun 2009, Providence, United States
Communication dans un congrès
inria-00429645v1
|
||
|
Recursive queries on trees and data treesProceedings of the 16th International Conference on Database Theory, Mar 2013, Genoa, Italy
Communication dans un congrès
hal-00809297v1
|
||
|
Which XML Schemas are Streaming Bounded Repairable?Theory of Computing Systems, 2015, ⟨10.1007/s00224-015-9611-y⟩
Article dans une revue
hal-01211290v1
|
||
|
Analysis of Schemas with Access RestrictionsACM Transactions on Database Systems, 2015, 40 (1), pp.Article No. 5. ⟨10.1145/2699500⟩
Article dans une revue
hal-01211288v1
|
||
Approximated Summarization of Data ProvenanceCIKM, Oct 2015, Melbourn, Australia
Communication dans un congrès
hal-01211286v1
|
|||
|
Combined Tractability of Query Evaluation via Tree Automata and Cycluits (Extended Version)2016
Pré-publication, Document de travail
hal-01439309v1
|
||
|
Query Answering with Transitive and Linear-Ordered DataJournal of Artificial Intelligence Research, 2018, 63, pp.191-264. ⟨10.1613/jair.1.11240⟩
Article dans une revue
hal-02338348v1
|
||
|
Towards Efficient Reasoning under Guarded-based Disjunctive Existential RulesMathematical Foundations of Computer Science (MFCS), Aug 2014, Budapest, Hungary
Communication dans un congrès
hal-01053179v1
|
||
|
Which DTDs are Streaming Bounded Repairable?International Conference on Database Theory (ICDT), Mar 2013, Genoa, Italy. pp.57-68, ⟨10.1145/2448496.2448505⟩
Communication dans un congrès
hal-00829423v1
|
||
|
On Distances between Words with ParametersCPM 2023, Jun 2023, Champs-sur-Marne, Marne-la-Vallée, France. pp.6:1-6:23, ⟨10.4230/LIPIcs.CPM.2023.6⟩
Communication dans un congrès
hal-04080842v1
|
||
|
A Step Up in Expressiveness of Decidable Fixpoint LogicsProceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2016, New York, United States
Communication dans un congrès
hal-01413890v1
|
||
|
Bounded Repairability for Regular Tree LanguagesACM Transactions on Database Systems, 2016, 41 (3), pp.1-45. ⟨10.1145/2898995⟩
Article dans une revue
hal-01411116v1
|
||
|
Acyclic Query Answering Under Guarded Disjunctive Existential Rules and Consequences to DLsInformal Proceedings of the 27th International Workshop on Description Logics, Jul 2014, Vienne, Austria
Communication dans un congrès
hal-01098983v1
|
||
|
Reasonable Highly Expressive Query LanguagesIJCAI, Jul 2015, Buenos Aires, Argentina. ⟨10.1007/978-3-662-47666-6_5⟩
Communication dans un congrès
hal-01211282v1
|
||
|
A Circuit-Based Approach to Efficient EnumerationICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming, Jul 2017, Varsovie, Poland. pp.1-15, ⟨10.4230/LIPIcs.ICALP.2017.111⟩
Communication dans un congrès
hal-01639179v1
|
- 1
- 2