


default search action
Essays Dedicated Val Tannen 2024
- Antoine Amarilli

, Alin Deutsch:
The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen, Tannen's Festschrift, University of Pennsylvania, Philadelphia, PA, USA, May 24-25, 2024. OASIcs 119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-320-1 - Front Matter, Table of Contents, Preface, Conference Organization. 0:i-0:xii

- Teodoro Baldazzi, Luigi Bellomarini, Stefano Ceri, Andrea Colombo, Andrea Gentili, Emanuel Sallinger, Paolo Atzeni:

Explaining Enterprise Knowledge Graphs with Large Language Models and Ontological Reasoning. 1:1-1:20 - Siddharth Bhaskar, Steven Lindell, Scott Weinstein:

Traversal-Invariant Characterizations of Logarithmic Space. 2:1-2:17 - Sophie Brinke, Erich Grädel, Lovro Mrkonjic, Matthias Naaf:

Semiring Provenance in the Infinite. 3:1-3:26 - Peter Buneman, Stijn Vansummeren:

Annotation and More Annotation: Some Problems Posed by (and to) Val Tannen. 4:1-4:8 - Alin Deutsch:

Chasing Parallelism in Aggregating Graph Queries. 5:1-5:14 - Wenfei Fan, Shuhao Liu:

Fishing Fort: A System for Graph Analytics with ML Prediction and Logic Deduction. 6:1-6:18 - Jean Gallier:

A Note on Logical PERs and Reducibility. Logical Relations Strike Again! 7:1-7:12 - Nikolaos Myrtakis, Ioannis Tsamardinos, Vassilis Christophides:

AutoML for Explainable Anomaly Detection (XAD). 8:1-8:23 - Pierre Senellart:

On the Impact of Provenance Semiring Theory on the Design of a Provenance-Aware Database System. 9:1-9:10 - Dan Suciu:

Different Differences in Semirings. 10:1-10:20 - Limsoon Wong:

An Intensional Expressiveness Gap of Comprehension Syntax. 11:1-11:13

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














