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
|
||
|
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
|
||
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
|
|||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
Distributed Monitoring of Peer-to-Peer Systems (demo)International Conference on Data Engineering, IEEE, Apr 2008, Cancun, Mexico
Communication dans un congrès
inria-00259059v1
|
||
|
Constant-Delay Enumeration for Nondeterministic Document SpannersICDT, Mar 2019, Lisbon, Portugal. ⟨10.4230/LIPIcs.ICDT.2019.22⟩
Communication dans un congrès
hal-02338344v1
|
||
|
Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits2022
Pré-publication, Document de travail
hal-03778758v1
|
||
|
Querying Visible and Invisible InformationLICS 2016 - 31st Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2016, New York City, United States. pp.297-306 ⟨10.1145/2933575.2935306⟩
Communication dans un congrès
hal-01411118v1
|
||
Analyzing data-centric applications: Why, what-if, and how-to.32nd IEEE International Conference on Data Engineering, ICDE 2016, May 2016, Helsinki, Finland
Communication dans un congrès
hal-01413879v1
|
|||
|
INFERENCE FROM VISIBLE INFORMATION AND BACKGROUND KNOWLEDGEACM Transactions on Computational Logic, 2021
Article dans une revue
hal-03454215v1
|
||
|
Inference from Visible Information and Background KnowledgeACM Transactions on Computational Logic, 2021, 22, pp.1 - 69. ⟨10.1145/3452919⟩
Article dans une revue
hal-03448703v1
|
||
|
Monadic Datalog, Tree Validity, and Limited Access ContainmentACM Transactions on Computational Logic, 2020, 21 (1), pp.6:1-6:45. ⟨10.1145/3344514⟩
Article dans une revue
hal-02307999v1
|
- 1
- 2