Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/datalog:"
download as .bib file
@inproceedings{DBLP:conf/datalog/0001K22,
author = {Maximilian Marx and
Markus Kr{\"{o}}tzsch},
editor = {Mario Alviano and
Andreas Pieris},
title = {Tuple-Generating Dependencies Capture Complex Values (Extended Abstract)},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {97--103},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/short3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:45 +0100},
biburl = {https://dblp.org/rec/conf/datalog/0001K22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/BaldazziBBVBS22,
author = {Teodoro Baldazzi and
Davide Benedetto and
Matteo Brandetti and
Adriano Vlad and
Luigi Bellomarini and
Emanuel Sallinger},
editor = {Mario Alviano and
Andreas Pieris},
title = {Datalog-based Reasoning with Heuristics over Knowledge Graphs},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {114--126},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/BaldazziBBVBS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/BartoliBE0D22,
author = {Francesco Bartoli and
Marco Botta and
Roberto Esposito and
Laura Giordano and
Daniele Theseider Dupr{\'{e}}},
editor = {Mario Alviano and
Andreas Pieris},
title = {Model Checking Verification of MultiLayer Perceptrons in Datalog:
a Many-valued Approach with Typicality},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {54--67},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/BartoliBE0D22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Bembenek0C22,
author = {Aaron Bembenek and
Michael Greenberg and
Stephen Chong},
editor = {Mario Alviano and
Andreas Pieris},
title = {Formulog: Datalog + {SMT} + {FP}},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {48--53},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/short2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/Bembenek0C22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/BenediktBGKM22,
author = {Michael Benedikt and
Maxime Buron and
Stefano Germano and
Kevin Kappelmann and
Boris Motik},
editor = {Mario Alviano and
Andreas Pieris},
title = {Datalog Rewriting for Guarded TGDs},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {104--113},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/short4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/BenediktBGKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/CalauttiGMT22,
author = {Marco Calautti and
Sergio Greco and
Cristian Molinaro and
Irina Trubitsyna},
editor = {Mario Alviano and
Andreas Pieris},
title = {Querying Data Exchange Settings Beyond Positive Queries},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {27--41},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/CalauttiGMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/ChmurovicS22,
author = {Adrian Chmurovic and
Mantas Simkus},
editor = {Mario Alviano and
Andreas Pieris},
title = {Well-founded Semantics for Recursive {SHACL}},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {2--13},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/paper1.pdf},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/ChmurovicS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/DodaroMR22,
author = {Carmine Dodaro and
Marco Maratea and
Francesco Riccio},
editor = {Mario Alviano and
Andreas Pieris},
title = {A Tool for Encoding Controlled Natural Language Specifications as
{ASP} Rules},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {188--201},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/DodaroMR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/FanMK22,
author = {Zhiwei Fan and
Sunil Mallireddy and
Paraschos Koutris},
editor = {Mario Alviano and
Andreas Pieris},
title = {Towards Better Understanding of the Performance and Design of Datalog
Systems},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {166--180},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/FanMK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/GheerbrantLRS22,
author = {Am{\'{e}}lie Gheerbrant and
Leonid Libkin and
Alexandra Rogova and
Cristina Sirangelo},
editor = {Mario Alviano and
Andreas Pieris},
title = {Certain Answers of Extensions of Conjunctive Queries by Datalog and
First-Order Rewriting},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {14--26},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/GheerbrantLRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/GottlobGJKRSAS22,
author = {Georg Gottlob and
Jinsong Guo and
Aditya Jami and
Markus Kr{\"{o}}ll and
St{\'{e}}phane Reissfeldee and
Lukas Schweizer and
Eric Aichinger and
Stefano Sferrazza},
editor = {Mario Alviano and
Andreas Pieris},
title = {CompeGen: Computing Company Competitor Pairs By Knowledge Based Inference
Combined With Empirical Validation},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {207--211},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/short9.pdf},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/GottlobGJKRSAS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/GottlobMM22,
author = {Georg Gottlob and
Marco Manna and
Cinzia Marte},
editor = {Mario Alviano and
Andreas Pieris},
title = {Dyadic Existential Rules},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {83--96},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/GottlobMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/LanzingerSG22,
author = {Matthias Lanzinger and
Stefano Sferrazza and
Georg Gottlob},
editor = {Mario Alviano and
Andreas Pieris},
title = {New Perspectives for Fuzzy Datalog (Extended Abstract)},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {42--47},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/short1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/LanzingerSG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/LanzingerW22,
author = {Matthias Lanzinger and
Przemyslaw Andrzej Walega},
editor = {Mario Alviano and
Andreas Pieris},
title = {Datalog with Existential Quantifiers and Temporal Operators (Extended
Abstract)},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {139--144},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/short5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/LanzingerW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/LauretisPC22,
author = {Lorenzo De Lauretis and
Fabio Persia and
Stefania Costantini},
editor = {Mario Alviano and
Andreas Pieris},
title = {Intelligent Agents and Complex Event Processing to enhance Patient
Monitoring},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {212--218},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/short10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/LauretisPC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/LeoneMMP22,
author = {Nicola Leone and
Marco Manna and
Maria Concetta Morelli and
Simona Perri},
editor = {Mario Alviano and
Andreas Pieris},
title = {A Formal Comparison between Datalog-based Languages for Stream Reasoning},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {151--165},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/LeoneMMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/MackeyS22,
author = {Isaac Mackey and
Jianwen Su},
editor = {Mario Alviano and
Andreas Pieris},
title = {A Rule-Based Constraint Language for Event Streams},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {145--150},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/short6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/MackeyS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/MadsenSL22,
author = {Magnus Madsen and
Jonathan Lindegaard Starup and
Ondrej Lhot{\'{a}}k},
editor = {Mario Alviano and
Andreas Pieris},
title = {Flix: {A} Meta Programming Language for Datalog},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {202--206},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/short8.pdf},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/MadsenSL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/NisslS22,
author = {Markus Nissl and
Emanuel Sallinger},
editor = {Mario Alviano and
Andreas Pieris},
title = {Towards Bridging Traditional and Smart Contracts with Datalog-based
Languages},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {68--82},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/NisslS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Pichler22,
author = {Reinhard Pichler},
editor = {Mario Alviano and
Andreas Pieris},
title = {Novel Techniques in Datalog Optimization (Abstract)},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {1},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/invited1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/Pichler22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Qureshi022,
author = {Haya Majid Qureshi and
Wolfgang Faber},
editor = {Mario Alviano and
Andreas Pieris},
title = {Meta-reasoning over {OWL} 2 {QL} using Datalog},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {181--187},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/short7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/Qureshi022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/WalegaZG22,
author = {Przemyslaw Andrzej Walega and
Michal Zawidzki and
Bernardo Cuenca Grau},
editor = {Mario Alviano and
Andreas Pieris},
title = {Reasoning Techniques in DatalogMTL},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {127--138},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/paper8.pdf},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/WalegaZG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/datalog/2022,
editor = {Mario Alviano and
Andreas Pieris},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203},
urn = {urn:nbn:de:0074-3203-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/AlloccaCCCCFFGL19,
author = {Carlo Allocca and
Francesco Calimeri and
Cristina Civili and
Roberta Costabile and
Bernardo Cuteri and
Alessio Fiorentino and
Davide Fusc{\`{a}} and
Stefano Germano and
Giovanni Laboccetta and
Marco Manna and
Simona Perri and
Kristian Reale and
Francesco Ricca and
Pierfrancesco Veltri and
Jessica Zangari},
editor = {Mario Alviano and
Andreas Pieris},
title = {Large-Scale Reasoning on Expressive Horn Ontologies},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {2368},
pages = {10--21},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2368/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:45 +0100},
biburl = {https://dblp.org/rec/conf/datalog/AlloccaCCCCFFGL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Aref19,
author = {Molham Aref},
editor = {Mario Alviano and
Andreas Pieris},
title = {Relational Artificial Intelligence},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {2368},
pages = {1},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2368/invited1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/Aref19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/AriasCCG19,
author = {Joaqu{\'{\i}}n Arias and
Manuel Carro and
Zhuo Chen and
Gopal Gupta},
editor = {Mario Alviano and
Andreas Pieris},
title = {Constraint Answer Set Programming without Grounding and its Applications},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {2368},
pages = {22--26},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2368/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/AriasCCG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/BrassW19,
author = {Stefan Brass and
Mario Wenzel},
editor = {Mario Alviano and
Andreas Pieris},
title = {Performance Analysis and Comparison of Deductive Systems and {SQL}
Databases},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {2368},
pages = {27--38},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2368/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/BrassW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/CabalarS19,
author = {Pedro Cabalar and
Torsten Schaub},
editor = {Mario Alviano and
Andreas Pieris},
title = {Dynamic and Temporal Answer Set Programming on Linear Finite Traces},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {2368},
pages = {3--6},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2368/invited3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/CabalarS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/ClearmanFGNRSS19,
author = {Jack Clearman and
Ruslan R. Fayzrakhmanov and
Georg Gottlob and
Yavor Nenov and
St{\'{e}}phane Reissfelder and
Emanuel Sallinger and
Evgeny Sherkhonov},
editor = {Mario Alviano and
Andreas Pieris},
title = {Feature Engineering and Explainability with Vadalog: {A} Recommender
Systems Application},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {2368},
pages = {39--43},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2368/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/ClearmanFGNRSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Gelfond19,
author = {Michael Gelfond},
editor = {Mario Alviano and
Andreas Pieris},
title = {Logic Programming and Non-monotonic Reasoning from 1991 to 2019: a
Personal Perspective},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {2368},
pages = {2},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2368/invited2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/Gelfond19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/GuptaCL19,
author = {Sahil Gupta and
Yi{-}Yun Cheng and
Bertram Lud{\"{a}}scher},
editor = {Mario Alviano and
Andreas Pieris},
title = {Possible Worlds Explorer: Datalog {\&} Answer Set Programming
for the Rest of Us},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {2368},
pages = {44--55},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2368/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/GuptaCL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Ricca19,
author = {Francesco Ricca},
editor = {Mario Alviano and
Andreas Pieris},
title = {An Extension of Datalog for Modelling and Solving Complex Combinatorial
Problems},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {2368},
pages = {7--9},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2368/invited4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/Ricca19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/RyzhykB19,
author = {Leonid Ryzhyk and
Mihai Budiu},
editor = {Mario Alviano and
Andreas Pieris},
title = {Differential Datalog},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {2368},
pages = {56--67},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2368/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/RyzhykB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/WangC19,
author = {Anduo Wang and
Zhijia Chen},
editor = {Mario Alviano and
Andreas Pieris},
title = {A Logical Approach to Representing and Reasoning About Interdomain
Routing Policies},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {2368},
pages = {68--79},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2368/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/WangC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/datalog/2019,
editor = {Mario Alviano and
Andreas Pieris},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {2368},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2368},
urn = {urn:nbn:de:0074-2368-2},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/AlvianoLMTV12,
author = {Mario Alviano and
Nicola Leone and
Marco Manna and
Giorgio Terracina and
Pierfrancesco Veltri},
editor = {Pablo Barcel{\'{o}} and
Reinhard Pichler},
title = {Magic-Sets for Datalog with Existential Quantifiers},
booktitle = {Datalog in Academia and Industry - Second International Workshop,
Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7494},
pages = {31--43},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32925-8\_5},
doi = {10.1007/978-3-642-32925-8\_5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/AlvianoLMTV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/AmelootB12,
author = {Tom J. Ameloot and
Jan Van den Bussche},
editor = {Pablo Barcel{\'{o}} and
Reinhard Pichler},
title = {On the {CRON} Conjecture},
booktitle = {Datalog in Academia and Industry - Second International Workshop,
Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7494},
pages = {44--55},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32925-8\_6},
doi = {10.1007/978-3-642-32925-8\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/AmelootB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Brass12,
author = {Stefan Brass},
editor = {Pablo Barcel{\'{o}} and
Reinhard Pichler},
title = {Order in Datalog with Applications to Declarative Output},
booktitle = {Datalog in Academia and Industry - Second International Workshop,
Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7494},
pages = {56--67},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32925-8\_7},
doi = {10.1007/978-3-642-32925-8\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/Brass12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/CiviliR12,
author = {Cristina Civili and
Riccardo Rosati},
editor = {Pablo Barcel{\'{o}} and
Reinhard Pichler},
title = {A Broad Class of First-Order Rewritable Tuple-Generating Dependencies},
booktitle = {Datalog in Academia and Industry - Second International Workshop,
Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7494},
pages = {68--80},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32925-8\_8},
doi = {10.1007/978-3-642-32925-8\_8},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/CiviliR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/FebbraroGLRR12,
author = {Onofrio Febbraro and
Giovanni Grasso and
Nicola Leone and
Kristian Reale and
Francesco Ricca},
editor = {Pablo Barcel{\'{o}} and
Reinhard Pichler},
title = {Datalog Development Tools - (Extended Abstract)},
booktitle = {Datalog in Academia and Industry - Second International Workshop,
Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7494},
pages = {81--85},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32925-8\_9},
doi = {10.1007/978-3-642-32925-8\_9},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/FebbraroGLRR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/GardeziB12,
author = {Jaffer Gardezi and
Leopoldo E. Bertossi},
editor = {Pablo Barcel{\'{o}} and
Reinhard Pichler},
title = {Query Rewriting Using Datalog for Duplicate Resolution},
booktitle = {Datalog in Academia and Industry - Second International Workshop,
Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7494},
pages = {86--98},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32925-8\_10},
doi = {10.1007/978-3-642-32925-8\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/GardeziB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/GreenAK12,
author = {Todd J. Green and
Molham Aref and
Grigoris Karvounarakis},
editor = {Pablo Barcel{\'{o}} and
Reinhard Pichler},
title = {LogicBlox, Platform and Language: {A} Tutorial},
booktitle = {Datalog in Academia and Industry - Second International Workshop,
Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7494},
pages = {1--8},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32925-8\_1},
doi = {10.1007/978-3-642-32925-8\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/GreenAK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Gurevich12,
author = {Yuri Gurevich},
editor = {Pablo Barcel{\'{o}} and
Reinhard Pichler},
title = {Datalog: {A} Perspective and the Potential},
booktitle = {Datalog in Academia and Industry - Second International Workshop,
Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7494},
pages = {9--20},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32925-8\_2},
doi = {10.1007/978-3-642-32925-8\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/Gurevich12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Interlandi12,
author = {Matteo Interlandi},
editor = {Pablo Barcel{\'{o}} and
Reinhard Pichler},
title = {Reasoning about Knowledge in Distributed Systems Using Datalog},
booktitle = {Datalog in Academia and Industry - Second International Workshop,
Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7494},
pages = {99--110},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32925-8\_11},
doi = {10.1007/978-3-642-32925-8\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/Interlandi12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/KohlerLS12,
author = {Sven K{\"{o}}hler and
Bertram Lud{\"{a}}scher and
Yannis Smaragdakis},
editor = {Pablo Barcel{\'{o}} and
Reinhard Pichler},
title = {Declarative Datalog Debugging for Mere Mortals},
booktitle = {Datalog in Academia and Industry - Second International Workshop,
Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7494},
pages = {111--122},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32925-8\_12},
doi = {10.1007/978-3-642-32925-8\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/KohlerLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/LukasiewiczMS12,
author = {Thomas Lukasiewicz and
Maria Vanina Martinez and
Gerardo I. Simari},
editor = {Pablo Barcel{\'{o}} and
Reinhard Pichler},
title = {Inconsistency-Tolerant Query Rewriting for Linear Datalog+/-},
booktitle = {Datalog in Academia and Industry - Second International Workshop,
Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7494},
pages = {123--134},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32925-8\_13},
doi = {10.1007/978-3-642-32925-8\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/LukasiewiczMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/MarczakACHM12,
author = {William R. Marczak and
Peter Alvaro and
Neil Conway and
Joseph M. Hellerstein and
David Maier},
editor = {Pablo Barcel{\'{o}} and
Reinhard Pichler},
title = {Confluence Analysis for Distributed Programs: {A} Model-Theoretic
Approach},
booktitle = {Datalog in Academia and Industry - Second International Workshop,
Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7494},
pages = {135--147},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32925-8\_14},
doi = {10.1007/978-3-642-32925-8\_14},
timestamp = {Tue, 07 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/MarczakACHM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Mugnier12,
author = {Marie{-}Laure Mugnier},
editor = {Pablo Barcel{\'{o}} and
Reinhard Pichler},
title = {Existential Rules: {A} Graph-Based View - (Extended Abstract)},
booktitle = {Datalog in Academia and Industry - Second International Workshop,
Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7494},
pages = {21--26},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32925-8\_3},
doi = {10.1007/978-3-642-32925-8\_3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/Mugnier12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Polleres12,
author = {Axel Polleres},
editor = {Pablo Barcel{\'{o}} and
Reinhard Pichler},
title = {How (Well) Do Datalog, {SPARQL} and {RIF} Interplay?},
booktitle = {Datalog in Academia and Industry - Second International Workshop,
Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7494},
pages = {27--30},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32925-8\_4},
doi = {10.1007/978-3-642-32925-8\_4},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/Polleres12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/RitterW12,
author = {Daniel Ritter and
Till Westmann},
editor = {Pablo Barcel{\'{o}} and
Reinhard Pichler},
title = {Business Network Reconstruction Using Datalog},
booktitle = {Datalog in Academia and Industry - Second International Workshop,
Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7494},
pages = {148--152},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32925-8\_15},
doi = {10.1007/978-3-642-32925-8\_15},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/RitterW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/SaccaS12,
author = {Domenico Sacc{\`{a}} and
Edoardo Serra},
editor = {Pablo Barcel{\'{o}} and
Reinhard Pichler},
title = {Data Exchange in Datalog Is Mainly a Matter of Choice},
booktitle = {Datalog in Academia and Industry - Second International Workshop,
Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7494},
pages = {153--164},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32925-8\_16},
doi = {10.1007/978-3-642-32925-8\_16},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/SaccaS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/ShawKHS12,
author = {Marianne Shaw and
Paraschos Koutris and
Bill Howe and
Dan Suciu},
editor = {Pablo Barcel{\'{o}} and
Reinhard Pichler},
title = {Optimizing Large-Scale Semi-Na{\"{\i}}ve Datalog Evaluation in
Hadoop},
booktitle = {Datalog in Academia and Industry - Second International Workshop,
Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7494},
pages = {165--176},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32925-8\_17},
doi = {10.1007/978-3-642-32925-8\_17},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/ShawKHS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Zaniolo12,
author = {Carlo Zaniolo},
editor = {Pablo Barcel{\'{o}} and
Reinhard Pichler},
title = {Logical Foundations of Continuous Query Languages for Data Streams},
booktitle = {Datalog in Academia and Industry - Second International Workshop,
Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7494},
pages = {177--189},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32925-8\_18},
doi = {10.1007/978-3-642-32925-8\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/Zaniolo12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/datalog/2012,
editor = {Pablo Barcel{\'{o}} and
Reinhard Pichler},
title = {Datalog in Academia and Industry - Second International Workshop,
Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7494},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32925-8},
doi = {10.1007/978-3-642-32925-8},
isbn = {978-3-642-32924-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/datalog/2010,
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24206-9},
doi = {10.1007/978-3-642-24206-9},
isbn = {978-3-642-24205-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/AbiteboulBGR10,
author = {Serge Abiteboul and
Meghyn Bienvenu and
Alban Galland and
Marie{-}Christine Rousset},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Distributed Datalog Revisited},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {252--261},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_15},
doi = {10.1007/978-3-642-24206-9\_15},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/datalog/AbiteboulBGR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/AfratiBCPU10,
author = {Foto N. Afrati and
Vinayak R. Borkar and
Michael J. Carey and
Neoklis Polyzotis and
Jeffrey D. Ullman},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Cluster Computing, Recursion and Datalog},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {120--144},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_8},
doi = {10.1007/978-3-642-24206-9\_8},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/AfratiBCPU10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/AlpuenteFJV10,
author = {Mar{\'{\i}}a Alpuente and
Marco Antonio Feli{\'{u}} and
Christophe Joubert and
Alicia Villanueva},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Datalog-Based Program Analysis with {BES} and {RWL}},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {1--20},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_1},
doi = {10.1007/978-3-642-24206-9\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/AlpuenteFJV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/AlvaroMCHMS10,
author = {Peter Alvaro and
William R. Marczak and
Neil Conway and
Joseph M. Hellerstein and
David Maier and
Russell Sears},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Dedalus: Datalog in Time and Space},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {262--281},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_16},
doi = {10.1007/978-3-642-24206-9\_16},
timestamp = {Tue, 07 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/AlvaroMCHMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/AlvianoFLPPT10,
author = {Mario Alviano and
Wolfgang Faber and
Nicola Leone and
Simona Perri and
Gerald Pfeifer and
Giorgio Terracina},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {The Disjunctive Datalog System {DLV}},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {282--301},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_17},
doi = {10.1007/978-3-642-24206-9\_17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/AlvianoFLPPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/ArenasBR10,
author = {Marcelo Arenas and
Pablo Barcel{\'{o}} and
Juan L. Reutter},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Datalog as a Query Language for Data Exchange Systems},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {302--320},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_18},
doi = {10.1007/978-3-642-24206-9\_18},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/ArenasBR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Baumgartner10,
author = {Robert Baumgartner},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Datalog-Related Aspects in Lixto Visual Developer},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {145--160},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_9},
doi = {10.1007/978-3-642-24206-9\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/Baumgartner10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Bonatti10,
author = {Piero A. Bonatti},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Datalog for Security, Privacy and Trust},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {21--36},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_2},
doi = {10.1007/978-3-642-24206-9\_2},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/Bonatti10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/BryFLMLS10,
author = {Fran{\c{c}}ois Bry and
Tim Furche and
Clemens Ley and
Bruno Marnette and
Benedikt Linse and
Sebastian Schaffert},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Datalog Relaunched: Simulation Unification and Value Invention},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {321--350},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_19},
doi = {10.1007/978-3-642-24206-9\_19},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/BryFLMLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/CaliGLP10,
author = {Andrea Cal{\`{\i}} and
Georg Gottlob and
Thomas Lukasiewicz and
Andreas Pieris},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Datalog+/-: {A} Family of Languages for Ontology Querying},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {351--368},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_20},
doi = {10.1007/978-3-642-24206-9\_20},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/CaliGLP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Costantini10,
author = {Stefania Costantini},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Answer Set Modules for Logical Agents},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {37--58},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_3},
doi = {10.1007/978-3-642-24206-9\_3},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/Costantini10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Dahl10,
author = {Ver{\'{o}}nica Dahl},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Informing Datalog through Language Intelligence - {A} Personal Perspective},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {161--180},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_10},
doi = {10.1007/978-3-642-24206-9\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/Dahl10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Dao-TranEFK10,
author = {Minh Dao{-}Tran and
Thomas Eiter and
Michael Fink and
Thomas Krennwallner},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {First-Order Encodings for Modular Nonmonotonic Datalog Programs},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {59--77},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_4},
doi = {10.1007/978-3-642-24206-9\_4},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/Dao-TranEFK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/EisnerF10,
author = {Jason Eisner and
Nathaniel Wesley Filardo},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Dyna: Extending Datalog for Modern {AI}},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {181--220},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_11},
doi = {10.1007/978-3-642-24206-9\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/EisnerF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Gelfond10,
author = {Michael Gelfond},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Knowledge Representation Language P-Log - {A} Short Introduction},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {369--383},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_21},
doi = {10.1007/978-3-642-24206-9\_21},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/Gelfond10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Lifschitz10,
author = {Vladimir Lifschitz},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Datalog Programs and Their Stable Models},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {78--87},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_5},
doi = {10.1007/978-3-642-24206-9\_5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/Lifschitz10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/MagnaniM10,
author = {Matteo Magnani and
Danilo Montesi},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Datalog for the Web 2.0: The Case of Social Network Data Management},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {221--224},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_12},
doi = {10.1007/978-3-642-24206-9\_12},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/MagnaniM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/MaluszynskiS10,
author = {Jan Maluszynski and
Andrzej Szalas},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Living with Inconsistency and Taming Nonmonotonicity},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {384--398},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_22},
doi = {10.1007/978-3-642-24206-9\_22},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/MaluszynskiS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/OrsiT10,
author = {Giorgio Orsi and
Letizia Tanca},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Context Modelling and Context-Aware Querying - (Can Datalog Be of
Help?)},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {225--244},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_13},
doi = {10.1007/978-3-642-24206-9\_13},
timestamp = {Tue, 26 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/OrsiT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Pichler10,
author = {Reinhard Pichler},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Exploiting Bounded Treewidth with Datalog {(A} Survey)},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {88--105},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_6},
doi = {10.1007/978-3-642-24206-9\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/Pichler10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/SmaragdakisB10,
author = {Yannis Smaragdakis and
Martin Bravenboer},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Using Datalog for Fast and Easy Program Analysis},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {245--251},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_14},
doi = {10.1007/978-3-642-24206-9\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/SmaragdakisB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Woltran10,
author = {Stefan Woltran},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Equivalence between Extended Datalog Programs - {A} Brief Survey},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {106--119},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_7},
doi = {10.1007/978-3-642-24206-9\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/Woltran10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-07 09:44 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
