Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Magnus Madsen, Jonathan Lindegaard Starup, Ondrej Lhoták |
Flix: A Meta Programming Language for Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022., pp. 202-206, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik |
Datalog Rewriting for Guarded TGDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022., pp. 104-113, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Georg Gottlob, Jinsong Guo, Aditya Jami, Markus Kröll, Stéphane Reissfeldee, Lukas Schweizer, Eric Aichinger, Stefano Sferrazza |
CompeGen: Computing Company Competitor Pairs By Knowledge Based Inference Combined With Empirical Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022., pp. 207-211, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Matthias Lanzinger, Przemyslaw Andrzej Walega |
Datalog with Existential Quantifiers and Temporal Operators (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022., pp. 139-144, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri |
A Formal Comparison between Datalog-based Languages for Stream Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022., pp. 151-165, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo |
Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022., pp. 14-26, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Zhiwei Fan, Sunil Mallireddy, Paraschos Koutris |
Towards Better Understanding of the Performance and Design of Datalog Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022., pp. 166-180, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano 0001, Daniele Theseider Dupré |
Model Checking Verification of MultiLayer Perceptrons in Datalog: a Many-valued Approach with Typicality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022., pp. 54-67, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Teodoro Baldazzi, Davide Benedetto, Matteo Brandetti, Adriano Vlad, Luigi Bellomarini, Emanuel Sallinger |
Datalog-based Reasoning with Heuristics over Knowledge Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022., pp. 114-126, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau |
Reasoning Techniques in DatalogMTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022., pp. 127-138, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob |
New Perspectives for Fuzzy Datalog (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022., pp. 42-47, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Isaac Mackey, Jianwen Su |
A Rule-Based Constraint Language for Event Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022., pp. 145-150, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Carmine Dodaro, Marco Maratea, Francesco Riccio |
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022., pp. 188-201, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna |
Querying Data Exchange Settings Beyond Positive Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022., pp. 27-41, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Haya Majid Qureshi, Wolfgang Faber 0001 |
Meta-reasoning over OWL 2 QL using Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022., pp. 181-187, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Georg Gottlob, Marco Manna, Cinzia Marte |
Dyadic Existential Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022., pp. 83-96, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Reinhard Pichler |
Novel Techniques in Datalog Optimization (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022., pp. 1, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Mario Alviano, Andreas Pieris (eds.) |
Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Aaron Bembenek, Michael Greenberg 0002, Stephen Chong |
Formulog: Datalog + SMT + FP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022., pp. 48-53, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Markus Nissl, Emanuel Sallinger |
Towards Bridging Traditional and Smart Contracts with Datalog-based Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022., pp. 68-82, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Adrian Chmurovic, Mantas Simkus |
Well-founded Semantics for Recursive SHACL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022., pp. 2-13, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Lorenzo De Lauretis, Fabio Persia, Stefania Costantini |
Intelligent Agents and Complex Event Processing to enhance Patient Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022., pp. 212-218, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Maximilian Marx 0001, Markus Krötzsch |
Tuple-Generating Dependencies Capture Complex Values (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022., pp. 97-103, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Mario Alviano, Andreas Pieris (eds.) |
Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019, Philadelphia, PA (USA), June 4-5, 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Pedro Cabalar, Torsten Schaub |
Dynamic and Temporal Answer Set Programming on Linear Finite Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019, Philadelphia, PA (USA), June 4-5, 2019., pp. 3-6, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta 0001 |
Constraint Answer Set Programming without Grounding and its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019, Philadelphia, PA (USA), June 4-5, 2019., pp. 22-26, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Sahil Gupta, Yi-Yun Cheng, Bertram Ludäscher |
Possible Worlds Explorer: Datalog & Answer Set Programming for the Rest of Us. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019, Philadelphia, PA (USA), June 4-5, 2019., pp. 44-55, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Francesco Ricca |
An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019, Philadelphia, PA (USA), June 4-5, 2019., pp. 7-9, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Anduo Wang, Zhijia Chen |
A Logical Approach to Representing and Reasoning About Interdomain Routing Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019, Philadelphia, PA (USA), June 4-5, 2019., pp. 68-79, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Jack Clearman, Ruslan R. Fayzrakhmanov, Georg Gottlob, Yavor Nenov, Stéphane Reissfelder, Emanuel Sallinger, Evgeny Sherkhonov |
Feature Engineering and Explainability with Vadalog: A Recommender Systems Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019, Philadelphia, PA (USA), June 4-5, 2019., pp. 39-43, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Molham Aref |
Relational Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019, Philadelphia, PA (USA), June 4-5, 2019., pp. 1, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Carlo Allocca, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari |
Large-Scale Reasoning on Expressive Horn Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019, Philadelphia, PA (USA), June 4-5, 2019., pp. 10-21, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Leonid Ryzhyk, Mihai Budiu |
Differential Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019, Philadelphia, PA (USA), June 4-5, 2019., pp. 56-67, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Stefan Brass, Mario Wenzel |
Performance Analysis and Comparison of Deductive Systems and SQL Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019, Philadelphia, PA (USA), June 4-5, 2019., pp. 27-38, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Michael Gelfond |
Logic Programming and Non-monotonic Reasoning from 1991 to 2019: a Personal Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019, Philadelphia, PA (USA), June 4-5, 2019., pp. 2, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Matteo Interlandi |
Reasoning about Knowledge in Distributed Systems Using Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 99-110, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | William R. Marczak, Peter Alvaro, Neil Conway, Joseph M. Hellerstein, David Maier 0001 |
Confluence Analysis for Distributed Programs: A Model-Theoretic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 135-147, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Saccà, Edoardo Serra |
Data Exchange in Datalog Is Mainly a Matter of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 153-164, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Onofrio Febbraro, Giovanni Grasso 0001, Nicola Leone, Kristian Reale, Francesco Ricca |
Datalog Development Tools - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 81-85, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tom J. Ameloot, Jan Van den Bussche |
On the CRON Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 44-55, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yuri Gurevich |
Datalog: A Perspective and the Potential. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 9-20, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri |
Magic-Sets for Datalog with Existential Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 31-43, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marianne Shaw, Paraschos Koutris, Bill Howe, Dan Suciu |
Optimizing Large-Scale Semi-Naïve Datalog Evaluation in Hadoop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 165-176, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari |
Inconsistency-Tolerant Query Rewriting for Linear Datalog+/-. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 123-134, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Todd J. Green, Molham Aref, Grigoris Karvounarakis |
LogicBlox, Platform and Language: A Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 1-8, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sven Köhler 0003, Bertram Ludäscher, Yannis Smaragdakis |
Declarative Datalog Debugging for Mere Mortals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 111-122, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Brass |
Order in Datalog with Applications to Declarative Output. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 56-67, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Laure Mugnier |
Existential Rules: A Graph-Based View - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 21-26, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jaffer Gardezi, Leopoldo E. Bertossi |
Query Rewriting Using Datalog for Duplicate Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 86-98, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Barceló, Reinhard Pichler (eds.) |
Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![Springer, 978-3-642-32924-1 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Ritter 0001, Till Westmann |
Business Network Reconstruction Using Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 148-152, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Civili, Riccardo Rosati 0001 |
A Broad Class of First-Order Rewritable Tuple-Generating Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 68-80, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Zaniolo |
Logical Foundations of Continuous Query Languages for Data Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 177-189, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Axel Polleres |
How (Well) Do Datalog, SPARQL and RIF Interplay? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, pp. 27-30, 2012, Springer, 978-3-642-32924-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Oege de Moor, Georg Gottlob, Tim Furche, Andrew Jon Sellers (eds.) |
Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![Springer, 978-3-642-24205-2 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Pichler |
Exploiting Bounded Treewidth with Datalog (A Survey). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 88-105, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva |
Datalog-Based Program Analysis with BES and RWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 1-20, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Foto N. Afrati, Vinayak R. Borkar, Michael J. Carey 0001, Neoklis Polyzotis, Jeffrey D. Ullman |
Cluster Computing, Recursion and Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 120-144, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jan Maluszynski, Andrzej Szalas |
Living with Inconsistency and Taming Nonmonotonicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 384-398, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner |
First-Order Encodings for Modular Nonmonotonic Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 59-77, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris |
Datalog+/-: A Family of Languages for Ontology Querying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 351-368, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Serge Abiteboul, Meghyn Bienvenu, Alban Galland, Marie-Christine Rousset |
Distributed Datalog Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 252-261, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Orsi 0001, Letizia Tanca |
Context Modelling and Context-Aware Querying - (Can Datalog Be of Help?). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 225-244, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina |
The Disjunctive Datalog System DLV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 282-301, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Robert Baumgartner |
Datalog-Related Aspects in Lixto Visual Developer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 145-160, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Arenas, Pablo Barceló, Juan L. Reutter |
Datalog as a Query Language for Data Exchange Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 302-320, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Verónica Dahl |
Informing Datalog through Language Intelligence - A Personal Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 161-180, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael Gelfond |
Knowledge Representation Language P-Log - A Short Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 369-383, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jason Eisner, Nathaniel Wesley Filardo |
Dyna: Extending Datalog for Modern AI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 181-220, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Lifschitz |
Datalog Programs and Their Stable Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 78-87, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stefania Costantini |
Answer Set Modules for Logical Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 37-58, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | François Bry, Tim Furche, Clemens Ley, Bruno Marnette, Benedikt Linse, Sebastian Schaffert |
Datalog Relaunched: Simulation Unification and Value Invention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 321-350, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Magnani, Danilo Montesi |
Datalog for the Web 2.0: The Case of Social Network Data Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 221-224, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Piero A. Bonatti |
Datalog for Security, Privacy and Trust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 21-36, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Woltran |
Equivalence between Extended Datalog Programs - A Brief Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 106-119, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Peter Alvaro, William R. Marczak, Neil Conway, Joseph M. Hellerstein, David Maier 0001, Russell Sears |
Dedalus: Datalog in Time and Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 262-281, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yannis Smaragdakis, Martin Bravenboer |
Using Datalog for Fast and Easy Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 245-251, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|