Search dblp for Publications

export results for "stream:streams/conf/lid:"

 download as .bib file

@inproceedings{DBLP:conf/lid/AgierFPRW11,
  author    = {Marie Agier and
               Christine Froidevaux and
               Jean{-}Marc Petit and
               Yoan Renaud and
               Jef Wijsen},
  editor    = {George H. L. Fletcher and
               Slawek Staworko},
  title     = {On Armstrong-compliant logical query languages},
  booktitle = {Proceedings of the 4th International Workshop on Logic in Databases,
               Uppsala, Sweden, {(EDBT/ICDT} '10 joint conference), March 25, 2011,
               Proceedings},
  pages     = {33--40},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/1966357.1966365},
  doi       = {10.1145/1966357.1966365},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/AgierFPRW11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/Almendros-Jimenez11,
  author    = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
  editor    = {George H. L. Fletcher and
               Slawek Staworko},
  title     = {A Prolog library for {OWL} {RL}},
  booktitle = {Proceedings of the 4th International Workshop on Logic in Databases,
               Uppsala, Sweden, {(EDBT/ICDT} '10 joint conference), March 25, 2011,
               Proceedings},
  pages     = {49--56},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/1966357.1966367},
  doi       = {10.1145/1966357.1966367},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/lid/Almendros-Jimenez11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/Cheney11,
  author    = {James Cheney},
  editor    = {George H. L. Fletcher and
               Slawek Staworko},
  title     = {Is provenance logical?},
  booktitle = {Proceedings of the 4th International Workshop on Logic in Databases,
               Uppsala, Sweden, {(EDBT/ICDT} '10 joint conference), March 25, 2011,
               Proceedings},
  pages     = {2--6},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/1966357.1966359},
  doi       = {10.1145/1966357.1966359},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/Cheney11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/GardeziBK11,
  author    = {Jaffer Gardezi and
               Leopoldo E. Bertossi and
               Iluju Kiringa},
  editor    = {George H. L. Fletcher and
               Slawek Staworko},
  title     = {Matching dependencies with arbitrary attribute values: semantics,
               query answering and integrity constraints},
  booktitle = {Proceedings of the 4th International Workshop on Logic in Databases,
               Uppsala, Sweden, {(EDBT/ICDT} '10 joint conference), March 25, 2011,
               Proceedings},
  pages     = {23--30},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/1966357.1966362},
  doi       = {10.1145/1966357.1966362},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/lid/GardeziBK11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/GrahneO11,
  author    = {G{\"{o}}sta Grahne and
               Adrian Onet},
  editor    = {George H. L. Fletcher and
               Slawek Staworko},
  title     = {Closed world chasing},
  booktitle = {Proceedings of the 4th International Workshop on Logic in Databases,
               Uppsala, Sweden, {(EDBT/ICDT} '10 joint conference), March 25, 2011,
               Proceedings},
  pages     = {7--14},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/1966357.1966360},
  doi       = {10.1145/1966357.1966360},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/lid/GrahneO11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/KharlamovNS11,
  author    = {Evgeny Kharlamov and
               Werner Nutt and
               Pierre Senellart},
  editor    = {George H. L. Fletcher and
               Slawek Staworko},
  title     = {Value joins are expensive over (probabilistic) {XML}},
  booktitle = {Proceedings of the 4th International Workshop on Logic in Databases,
               Uppsala, Sweden, {(EDBT/ICDT} '10 joint conference), March 25, 2011,
               Proceedings},
  pages     = {41--48},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/1966357.1966366},
  doi       = {10.1145/1966357.1966366},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/KharlamovNS11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/Kolaitis11,
  author    = {Phokion G. Kolaitis},
  editor    = {George H. L. Fletcher and
               Slawek Staworko},
  title     = {Schema mappings and data examples},
  booktitle = {Proceedings of the 4th International Workshop on Logic in Databases,
               Uppsala, Sweden, {(EDBT/ICDT} '10 joint conference), March 25, 2011,
               Proceedings},
  pages     = {1},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/1966357.1966358},
  doi       = {10.1145/1966357.1966358},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/lid/Kolaitis11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/MaslowskiW11,
  author    = {Dany Maslowski and
               Jef Wijsen},
  editor    = {George H. L. Fletcher and
               Slawek Staworko},
  title     = {On counting database repairs},
  booktitle = {Proceedings of the 4th International Workshop on Logic in Databases,
               Uppsala, Sweden, {(EDBT/ICDT} '10 joint conference), March 25, 2011,
               Proceedings},
  pages     = {15--22},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/1966357.1966361},
  doi       = {10.1145/1966357.1966361},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/MaslowskiW11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/Pankowski11,
  author    = {Tadeusz Pankowski},
  editor    = {George H. L. Fletcher and
               Slawek Staworko},
  title     = {Detecting semantics-preserving {XML} schema mappings based on annotations
               to {OWL} ontology},
  booktitle = {Proceedings of the 4th International Workshop on Logic in Databases,
               Uppsala, Sweden, {(EDBT/ICDT} '10 joint conference), March 25, 2011,
               Proceedings},
  pages     = {57},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/1966357.1966368},
  doi       = {10.1145/1966357.1966368},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/lid/Pankowski11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/RauseoMT11,
  author    = {Angelo Rauseo and
               Davide Martinenghi and
               Letizia Tanca},
  editor    = {George H. L. Fletcher and
               Slawek Staworko},
  title     = {Context through answer set programming},
  booktitle = {Proceedings of the 4th International Workshop on Logic in Databases,
               Uppsala, Sweden, {(EDBT/ICDT} '10 joint conference), March 25, 2011,
               Proceedings},
  pages     = {58},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/1966357.1966369},
  doi       = {10.1145/1966357.1966369},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/lid/RauseoMT11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/RazniewskiN11,
  author    = {Simon Razniewski and
               Werner Nutt},
  editor    = {George H. L. Fletcher and
               Slawek Staworko},
  title     = {Checking query completeness over incomplete data},
  booktitle = {Proceedings of the 4th International Workshop on Logic in Databases,
               Uppsala, Sweden, {(EDBT/ICDT} '10 joint conference), March 25, 2011,
               Proceedings},
  pages     = {32},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/1966357.1966364},
  doi       = {10.1145/1966357.1966364},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/lid/RazniewskiN11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/Zaniolo11,
  author    = {Carlo Zaniolo},
  editor    = {George H. L. Fletcher and
               Slawek Staworko},
  title     = {The logic of query languages for data streams},
  booktitle = {Proceedings of the 4th International Workshop on Logic in Databases,
               Uppsala, Sweden, {(EDBT/ICDT} '10 joint conference), March 25, 2011,
               Proceedings},
  pages     = {31},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/1966357.1966363},
  doi       = {10.1145/1966357.1966363},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/lid/Zaniolo11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lid/2011,
  editor    = {George H. L. Fletcher and
               Slawek Staworko},
  title     = {Proceedings of the 4th International Workshop on Logic in Databases,
               Uppsala, Sweden, {(EDBT/ICDT} '10 joint conference), March 25, 2011,
               Proceedings},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0609-6},
  timestamp = {Mon, 19 Sep 2011 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/2011.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/AsirelliRT96,
  author    = {Patrizia Asirelli and
               Chiara Renso and
               Franco Turini},
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {Language Extensions for Semantic Integration of Deductive Databases},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {415--434},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031754},
  doi       = {10.1007/BFb0031754},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/AsirelliRT96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/BaralL96,
  author    = {Chitta Baral and
               Jorge Lobo},
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {Formal Characterization of Active Databases},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {175--195},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031741},
  doi       = {10.1007/BFb0031741},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/BaralL96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/BonnerM96,
  author    = {Anthony J. Bonner and
               Giansalvatore Mecca},
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {Sequence Datalog: Declarative String Manipulation in Databases},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {399--413},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031753},
  doi       = {10.1007/BFb0031753},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/BonnerM96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/Boulanger96,
  author    = {Dmitri Boulanger},
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {Analysis of Logic-Based Systems},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {281--301},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031747},
  doi       = {10.1007/BFb0031747},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/Boulanger96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/Cabibbo96,
  author    = {Luca Cabibbo},
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {Expressiveness of Semipositive Logic Programs with Value Invention},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {457--474},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031756},
  doi       = {10.1007/BFb0031756},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/Cabibbo96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/DobbieT96,
  author    = {Gillian Dobbie and
               Rodney W. Topor},
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {Arithmetic and Aggregate Operators in Deductive Object-Oriented Databases},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {389--397},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031752},
  doi       = {10.1007/BFb0031752},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/DobbieT96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/EiterLS96,
  author    = {Thomas Eiter and
               Nicola Leone and
               Domenico Sacc{\`{a}}},
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {The Expressive Power of Partial Models in Disjunctive Deductive Databases},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {245--264},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031745},
  doi       = {10.1007/BFb0031745},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/EiterLS96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/GireH96,
  author    = {Fran{\c{c}}oise Gire and
               H. Khanh Hoang},
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {A More Expressive Deterministic Query Language with Efficient Symmetry-Based
               Choice Construct},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {475--495},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031757},
  doi       = {10.1007/BFb0031757},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/GireH96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/GrecoMS96,
  author    = {Sergio Greco and
               Cristinel Mateis and
               Eugenio Spadafora},
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {Unification of Bounded Simple Set Terms in Deductive Databases},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {435--453},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031755},
  doi       = {10.1007/BFb0031755},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/GrecoMS96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/JakobovitsV96,
  author    = {Hadassa Jakobovits and
               Dirk Vermeir},
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {R-Stable Models for Logic Programs},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {233--243},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031744},
  doi       = {10.1007/BFb0031744},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/JakobovitsV96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/KeroT96,
  author    = {Bob Kero and
               Shalom Tsur},
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {The {IQ} System: {A} Deductive Database Information Lens for Reasoning
               about Textual Information},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {367--385},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031751},
  doi       = {10.1007/BFb0031751},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/KeroT96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/KowalskiS96,
  author    = {Robert A. Kowalski and
               Fariba Sadri},
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {Towards a Unified Agent Architecture that Combines Rationality with
               Reactivity},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {137--149},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031739},
  doi       = {10.1007/BFb0031739},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/KowalskiS96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/KuijpersPSB96,
  author    = {Bart Kuijpers and
               Jan Paredaens and
               Marc Smits and
               Jan Van den Bussche},
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {Termination Properties of Spatial Datalog Programs},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {101--116},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031737},
  doi       = {10.1007/BFb0031737},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/KuijpersPSB96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/LakshmananS96,
  author    = {Laks V. S. Lakshmanan and
               Nematollaah Shiri},
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {A Parametric Approach to Deductive Databases with Uncertainty},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {61--81},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031735},
  doi       = {10.1007/BFb0031735},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/LakshmananS96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/LaurentV96,
  author    = {Dominique Laurent and
               Christel Vrain},
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {Learning Query Rules for Optimizing Databases with Update Rules},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {153--172},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031740},
  doi       = {10.1007/BFb0031740},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/LaurentV96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/LeoneRS96,
  author    = {Nicola Leone and
               Pasquale Rullo and
               Francesco Scarcello},
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {Stable Model Checking for Disjunctive Logic Programs},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {265--278},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031746},
  doi       = {10.1007/BFb0031746},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/LeoneRS96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/LudascherML96,
  author    = {Bertram Lud{\"{a}}scher and
               Wolfgang May and
               Georg Lausen},
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {Nested Transactions in a Logical Language for Active Rules},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {197--222},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031742},
  doi       = {10.1007/BFb0031742},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/LudascherML96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/MartinS96,
  author    = {Carme Mart{\'{\i}}n and
               Jaume Sistac},
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {Applying Transition Rules to Bitemporal Deductive Databases for Integrity
               Constraint Checking},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {117--134},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031738},
  doi       = {10.1007/BFb0031738},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/MartinS96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/Minker96,
  author    = {Jack Minker},
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {Logic and Databases: {A} 20 Year Retrospective},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {3--57},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031734},
  doi       = {10.1007/BFb0031734},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/Minker96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/Pulido96,
  author    = {Estrella Pulido},
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {Database Query Evaluation with the {STARBASE} Method},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {323--342},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031749},
  doi       = {10.1007/BFb0031749},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/Pulido96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/SagonasSW96,
  author    = {Konstantinos Sagonas and
               Terrance Swift and
               David Scott Warren},
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {The Limits of Fixed-Order Computation},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {343--363},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031750},
  doi       = {10.1007/BFb0031750},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/SagonasSW96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/SiebesTUVZ96,
  author    = {Arno Siebes and
               Shalom Tsur and
               Jeffrey D. Ullman and
               Laurent Vieille and
               Carlo Zaniolo},
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {Deductive Databases: Challenges, Opportunities and Future Directions
               (Panel Discussion)},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {225--229},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031743},
  doi       = {10.1007/BFb0031743},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/SiebesTUVZ96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/SpalkaC96,
  author    = {Adrian Spalka and
               Armin B. Cremers},
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {An Axiomatic Interpretation of Confidentiality Demands in Logic-Based
               Relational Databases},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {303--319},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031748},
  doi       = {10.1007/BFb0031748},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/SpalkaC96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/SubrahmanianW96,
  author    = {V. S. Subrahmanian and
               Charlie Ward},
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {A Deductive Database Approach to Planning in Uncertain Environments},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {83--98},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031736},
  doi       = {10.1007/BFb0031736},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/SubrahmanianW96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lid/1996,
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031733},
  doi       = {10.1007/BFb0031733},
  isbn      = {3-540-61814-7},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/lid/1996.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics