BibTeX records: Ronald Fagin

download as .bib file

@inproceedings{DBLP:conf/icdt/BurdickFKPT17,
  author    = {Douglas Burdick and
               Ronald Fagin and
               Phokion G. Kolaitis and
               Lucian Popa and
               Wang Chiew Tan},
  title     = {Expressive Power of Entity-Linking Frameworks},
  booktitle = {20th International Conference on Database Theory, {ICDT} 2017, March
               21-24, 2017, Venice, Italy},
  pages     = {10:1--10:18},
  year      = {2017},
  crossref  = {DBLP:conf/icdt/2017},
  url       = {https://doi.org/10.4230/LIPIcs.ICDT.2017.10},
  doi       = {10.4230/LIPIcs.ICDT.2017.10},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icdt/BurdickFKPT17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamdm/FaginKMSV16,
  author    = {Ronald Fagin and
               Ravi Kumar and
               Mohammad Mahdian and
               D. Sivakumar and
               Erik Vee},
  title     = {An Algorithmic View of Voting},
  journal   = {{SIAM} J. Discrete Math.},
  volume    = {30},
  number    = {4},
  pages     = {1978--1996},
  year      = {2016},
  url       = {https://doi.org/10.1137/15M1046915},
  doi       = {10.1137/15M1046915},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamdm/FaginKMSV16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tods/FaginKRV16,
  author    = {Ronald Fagin and
               Benny Kimelfeld and
               Frederick Reiss and
               Stijn Vansummeren},
  title     = {Declarative Cleaning of Inconsistencies in Information Extraction},
  journal   = {{ACM} Trans. Database Syst.},
  volume    = {41},
  number    = {1},
  pages     = {6:1--6:44},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2877202},
  doi       = {10.1145/2877202},
  timestamp = {Tue, 03 Jan 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/tods/FaginKRV16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tods/BurdickFKPT16,
  author    = {Douglas Burdick and
               Ronald Fagin and
               Phokion G. Kolaitis and
               Lucian Popa and
               Wang{-}Chiew Tan},
  title     = {A Declarative Framework for Linking Entities},
  journal   = {{ACM} Trans. Database Syst.},
  volume    = {41},
  number    = {3},
  pages     = {17:1--17:38},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2894748},
  doi       = {10.1145/2894748},
  timestamp = {Tue, 03 Jan 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/tods/BurdickFKPT16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pods/Fagin16,
  author    = {Ronald Fagin},
  title     = {Optimal Score Aggregation Algorithms},
  booktitle = {Proceedings of the 35th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
               of Database Systems, {PODS} 2016, San Francisco, CA, USA, June 26
               - July 01, 2016},
  pages     = {55},
  year      = {2016},
  crossref  = {DBLP:conf/pods/2016},
  url       = {http://doi.acm.org/10.1145/2902251.2902308},
  doi       = {10.1145/2902251.2902308},
  timestamp = {Sat, 18 Jun 2016 14:40:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/Fagin16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/FaginKRV15,
  author    = {Ronald Fagin and
               Benny Kimelfeld and
               Frederick Reiss and
               Stijn Vansummeren},
  title     = {Document Spanners: {A} Formal Approach to Information Extraction},
  journal   = {J. {ACM}},
  volume    = {62},
  number    = {2},
  pages     = {12:1--12:51},
  year      = {2015},
  url       = {http://doi.acm.org/10.1145/2699442},
  doi       = {10.1145/2699442},
  timestamp = {Fri, 09 Dec 2016 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jacm/FaginKRV15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigmod/FaginKRV15,
  author    = {Ronald Fagin and
               Benny Kimelfeld and
               Frederick Reiss and
               Stijn Vansummeren},
  title     = {A Relational Framework for Information Extraction},
  journal   = {{SIGMOD} Record},
  volume    = {44},
  number    = {4},
  pages     = {5--16},
  year      = {2015},
  url       = {http://doi.acm.org/10.1145/2935694.2935696},
  doi       = {10.1145/2935694.2935696},
  timestamp = {Tue, 10 May 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sigmod/FaginKRV15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icdt/BurdickFKPT15,
  author    = {Douglas Burdick and
               Ronald Fagin and
               Phokion G. Kolaitis and
               Lucian Popa and
               Wang Chiew Tan},
  title     = {A Declarative Framework for Linking Entities},
  booktitle = {18th International Conference on Database Theory, {ICDT} 2015, March
               23-27, 2015, Brussels, Belgium},
  pages     = {25--43},
  year      = {2015},
  crossref  = {DBLP:conf/icdt/2015},
  url       = {https://doi.org/10.4230/LIPIcs.ICDT.2015.25},
  doi       = {10.4230/LIPIcs.ICDT.2015.25},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icdt/BurdickFKPT15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginKK15,
  author    = {Ronald Fagin and
               Benny Kimelfeld and
               Phokion G. Kolaitis},
  title     = {Dichotomies in the Complexity of Preferred Repairs},
  booktitle = {Proceedings of the 34th {ACM} Symposium on Principles of Database
               Systems, {PODS} 2015, Melbourne, Victoria, Australia, May 31 - June
               4, 2015},
  pages     = {3--15},
  year      = {2015},
  crossref  = {DBLP:conf/pods/2015},
  url       = {http://doi.acm.org/10.1145/2745754.2745762},
  doi       = {10.1145/2745754.2745762},
  timestamp = {Sun, 24 May 2015 12:17:12 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/FaginKK15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icdt/BenediktFM14,
  author    = {Michael Benedikt and
               Ronald Fagin and
               Wim Martens},
  title     = {The {ICDT} 2014 Test of Time Award},
  booktitle = {Proc. 17th International Conference on Database Theory (ICDT), Athens,
               Greece, March 24-28, 2014.},
  pages     = {257},
  year      = {2014},
  crossref  = {DBLP:conf/icdt/2014},
  url       = {https://doi.org/10.5441/002/icdt.2014.27},
  doi       = {10.5441/002/icdt.2014.27},
  timestamp = {Tue, 01 Aug 2017 15:18:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icdt/BenediktFM14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginKRV14,
  author    = {Ronald Fagin and
               Benny Kimelfeld and
               Frederick Reiss and
               Stijn Vansummeren},
  title     = {Cleaning inconsistencies in information extraction via prioritized
               repairs},
  booktitle = {Proceedings of the 33rd {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
               Principles of Database Systems, PODS'14, Snowbird, UT, USA, June 22-27,
               2014},
  pages     = {164--175},
  year      = {2014},
  crossref  = {DBLP:conf/pods/2014},
  url       = {http://doi.acm.org/10.1145/2594538.2594540},
  doi       = {10.1145/2594538.2594540},
  timestamp = {Sun, 22 Jun 2014 11:31:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/FaginKRV14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/ArenasBFL13,
  author    = {Marcelo Arenas and
               Pablo Barcel{\'{o}} and
               Ronald Fagin and
               Leonid Libkin},
  title     = {Solutions and query rewriting in data exchange},
  journal   = {Inf. Comput.},
  volume    = {228},
  pages     = {28--61},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.ic.2013.06.002},
  doi       = {10.1016/j.ic.2013.06.002},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iandc/ArenasBFL13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cikm/Fagin13,
  author    = {Ronald Fagin},
  title     = {Applying theory to practice},
  booktitle = {22nd {ACM} International Conference on Information and Knowledge Management,
               CIKM'13, San Francisco, CA, USA, October 27 - November 1, 2013},
  pages     = {3--4},
  year      = {2013},
  crossref  = {DBLP:conf/cikm/2013},
  url       = {http://doi.acm.org/10.1145/2505515.2523611},
  doi       = {10.1145/2505515.2523611},
  timestamp = {Thu, 07 Nov 2013 11:16:05 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/cikm/Fagin13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginKRV13,
  author    = {Ronald Fagin and
               Benny Kimelfeld and
               Frederick Reiss and
               Stijn Vansummeren},
  title     = {Spanners: a formal framework for information extraction},
  booktitle = {Proceedings of the 32nd {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
               Principles of Database Systems, {PODS} 2013, New York, NY, {USA} -
               June 22 - 27, 2013},
  pages     = {37--48},
  year      = {2013},
  crossref  = {DBLP:conf/pods/2013},
  url       = {http://doi.acm.org/10.1145/2463664.2463665},
  doi       = {10.1145/2463664.2463665},
  timestamp = {Wed, 26 Jun 2013 09:51:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/FaginKRV13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-1119,
  author    = {Ronald Fagin and
               Joseph Y. Halpern},
  title     = {A New Approach to Updating Beliefs},
  journal   = {CoRR},
  volume    = {abs/1304.1119},
  year      = {2013},
  url       = {http://arxiv.org/abs/1304.1119},
  archivePrefix = {arXiv},
  eprint    = {1304.1119},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1304-1119},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icdt/DarwenDF12,
  author    = {Hugh Darwen and
               C. J. Date and
               Ronald Fagin},
  title     = {A normal form for preventing redundant tuples in relational databases},
  booktitle = {15th International Conference on Database Theory, {ICDT} '12, Berlin,
               Germany, March 26-29, 2012},
  pages     = {114--126},
  year      = {2012},
  crossref  = {DBLP:conf/icdt/2012},
  url       = {http://doi.acm.org/10.1145/2274576.2274589},
  doi       = {10.1145/2274576.2274589},
  timestamp = {Fri, 15 Jun 2012 15:12:09 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icdt/DarwenDF12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginK12,
  author    = {Ronald Fagin and
               Phokion G. Kolaitis},
  title     = {Local transformations and conjunctive-query equivalence},
  booktitle = {Proceedings of the 31st {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
               Principles of Database Systems, {PODS} 2012, Scottsdale, AZ, USA,
               May 20-24, 2012},
  pages     = {179--190},
  year      = {2012},
  crossref  = {DBLP:conf/pods/2012},
  url       = {http://doi.acm.org/10.1145/2213556.2213583},
  doi       = {10.1145/2213556.2213583},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/FaginK12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-3745,
  author    = {Marcelo Arenas and
               Ronald Fagin and
               Alan Nash},
  title     = {Composition with Target Constraints},
  journal   = {Logical Methods in Computer Science},
  volume    = {7},
  number    = {3},
  year      = {2011},
  url       = {https://doi.org/10.2168/LMCS-7(3:13)2011},
  doi       = {10.2168/LMCS-7(3:13)2011},
  timestamp = {Wed, 03 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1106-3745},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/FaginKK11,
  author    = {Ronald Fagin and
               Benny Kimelfeld and
               Phokion G. Kolaitis},
  title     = {Probabilistic data exchange},
  journal   = {J. {ACM}},
  volume    = {58},
  number    = {4},
  pages     = {15:1--15:55},
  year      = {2011},
  url       = {http://doi.acm.org/10.1145/1989727.1989729},
  doi       = {10.1145/1989727.1989729},
  timestamp = {Fri, 06 Jan 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jacm/FaginKK11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/mst/AtseriasBCFGR11,
  author    = {Albert Atserias and
               Miko{\l}aj Boja{\'{n}}czyk and
               Balder ten Cate and
               Ronald Fagin and
               Floris Geerts and
               Kenneth Ross},
  title     = {Foreword},
  journal   = {Theory Comput. Syst.},
  volume    = {49},
  number    = {2},
  pages     = {365--366},
  year      = {2011},
  url       = {https://doi.org/10.1007/s00224-011-9329-4},
  doi       = {10.1007/s00224-011-9329-4},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/mst/AtseriasBCFGR11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tods/FaginKPT11,
  author    = {Ronald Fagin and
               Phokion G. Kolaitis and
               Lucian Popa and
               Wang Chiew Tan},
  title     = {Reverse data exchange: Coping with nulls},
  journal   = {{ACM} Trans. Database Syst.},
  volume    = {36},
  number    = {2},
  pages     = {11:1--11:42},
  year      = {2011},
  url       = {http://doi.acm.org/10.1145/1966385.1966389},
  doi       = {10.1145/1966385.1966389},
  timestamp = {Wed, 11 Jan 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/tods/FaginKPT11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginKLRV11,
  author    = {Ronald Fagin and
               Benny Kimelfeld and
               Yunyao Li and
               Sriram Raghavan and
               Shivakumar Vaithyanathan},
  title     = {Rewrite rules for search database systems},
  booktitle = {Proceedings of the 30th {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
               Principles of Database Systems, {PODS} 2011, June 12-16, 2011, Athens,
               Greece},
  pages     = {271--282},
  year      = {2011},
  crossref  = {DBLP:conf/pods/2011},
  url       = {http://doi.acm.org/10.1145/1989284.1989322},
  doi       = {10.1145/1989284.1989322},
  timestamp = {Wed, 23 May 2012 16:53:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/FaginKLRV11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:books/sp/bellahsene2011/FaginKPT11,
  author    = {Ronald Fagin and
               Phokion G. Kolaitis and
               Lucian Popa and
               Wang Chiew Tan},
  title     = {Schema Mapping Evolution Through Composition and Inversion},
  booktitle = {Schema Matching and Mapping},
  pages     = {191--222},
  year      = {2011},
  crossref  = {DBLP:books/sp/bellahsene11},
  url       = {https://doi.org/10.1007/978-3-642-16518-4_7},
  doi       = {10.1007/978-3-642-16518-4_7},
  timestamp = {Tue, 16 May 2017 14:01:44 +0200},
  biburl    = {http://dblp.org/rec/bib/books/sp/bellahsene2011/FaginKPT11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/FaginN10,
  author    = {Ronald Fagin and
               Alan Nash},
  title     = {The structure of inverses in schema mappings},
  journal   = {J. {ACM}},
  volume    = {57},
  number    = {6},
  pages     = {31:1--31:57},
  year      = {2010},
  url       = {http://doi.acm.org/10.1145/1857914.1857915},
  doi       = {10.1145/1857914.1857915},
  timestamp = {Fri, 06 Jan 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jacm/FaginN10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/EvfimievskiFW10,
  author    = {Alexandre V. Evfimievski and
               Ronald Fagin and
               David P. Woodruff},
  title     = {Epistemic privacy},
  journal   = {J. {ACM}},
  volume    = {58},
  number    = {1},
  pages     = {2:1--2:45},
  year      = {2010},
  url       = {http://doi.acm.org/10.1145/1870103.1870105},
  doi       = {10.1145/1870103.1870105},
  timestamp = {Fri, 06 Jan 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jacm/EvfimievskiFW10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icdt/FaginKK10,
  author    = {Ronald Fagin and
               Benny Kimelfeld and
               Phokion G. Kolaitis},
  title     = {Probabilistic data exchange},
  booktitle = {Database Theory - {ICDT} 2010, 13th International Conference, Lausanne,
               Switzerland, March 23-25, 2010, Proceedings},
  pages     = {76--88},
  year      = {2010},
  crossref  = {DBLP:conf/icdt/2010},
  url       = {http://doi.acm.org/10.1145/1804669.1804681},
  doi       = {10.1145/1804669.1804681},
  timestamp = {Tue, 29 Jun 2010 07:03:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icdt/FaginKK10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icdt/ArenasFN10,
  author    = {Marcelo Arenas and
               Ronald Fagin and
               Alan Nash},
  title     = {Composition with target constraints},
  booktitle = {Database Theory - {ICDT} 2010, 13th International Conference, Lausanne,
               Switzerland, March 23-25, 2010, Proceedings},
  pages     = {129--142},
  year      = {2010},
  crossref  = {DBLP:conf/icdt/2010},
  url       = {http://doi.acm.org/10.1145/1804669.1804687},
  doi       = {10.1145/1804669.1804687},
  timestamp = {Tue, 29 Jun 2010 07:03:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icdt/ArenasFN10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginKLRV10,
  author    = {Ronald Fagin and
               Benny Kimelfeld and
               Yunyao Li and
               Sriram Raghavan and
               Shivakumar Vaithyanathan},
  title     = {Understanding queries in a search database system},
  booktitle = {Proceedings of the Twenty-Ninth {ACM} {SIGMOD-SIGACT-SIGART} Symposium
               on Principles of Database Systems, {PODS} 2010, June 6-11, 2010, Indianapolis,
               Indiana, {USA}},
  pages     = {273--284},
  year      = {2010},
  crossref  = {DBLP:conf/pods/2010},
  url       = {http://doi.acm.org/10.1145/1807085.1807121},
  doi       = {10.1145/1807085.1807121},
  timestamp = {Wed, 23 May 2012 16:53:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/FaginKLRV10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/apccm/Fagin09,
  author    = {Ronald Fagin},
  title     = {Finite Model Theory and its Origins},
  booktitle = {Conceptual Modelling 2009, Sixth Asia-Pacific Conference on Conceptual
               Modelling {(APCCM} 2009), Wellington, New Zealand, January 20-23 2009.},
  pages     = {3},
  year      = {2009},
  crossref  = {DBLP:conf/apccm/2009},
  url       = {http://crpit.com/confpapers/CRPITV96Fagin.pdf},
  timestamp = {Mon, 04 May 2009 07:51:02 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/apccm/Fagin09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FaginHHMPV09,
  author    = {Ronald Fagin and
               Laura M. Haas and
               Mauricio A. Hern{\'{a}}ndez and
               Ren{\'{e}}e J. Miller and
               Lucian Popa and
               Yannis Velegrakis},
  title     = {Clio: Schema Mapping Creation and Data Exchange},
  booktitle = {Conceptual Modeling: Foundations and Applications - Essays in Honor
               of John Mylopoulos},
  pages     = {198--236},
  year      = {2009},
  crossref  = {DBLP:conf/birthday/2009mylopoulos},
  url       = {https://doi.org/10.1007/978-3-642-02463-4_12},
  doi       = {10.1007/978-3-642-02463-4_12},
  timestamp = {Tue, 23 May 2017 01:06:47 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/FaginHHMPV09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginKPT09,
  author    = {Ronald Fagin and
               Phokion G. Kolaitis and
               Lucian Popa and
               Wang Chiew Tan},
  title     = {Reverse data exchange: coping with nulls},
  booktitle = {Proceedings of the Twenty-Eigth {ACM} {SIGMOD-SIGACT-SIGART} Symposium
               on Principles of Database Systems, {PODS} 2009, June 19 - July 1,
               2009, Providence, Rhode Island, {USA}},
  pages     = {23--32},
  year      = {2009},
  crossref  = {DBLP:conf/pods/2009},
  url       = {http://doi.acm.org/10.1145/1559795.1559800},
  doi       = {10.1145/1559795.1559800},
  timestamp = {Wed, 23 May 2012 16:53:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/FaginKPT09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icdt/2009,
  editor    = {Ronald Fagin},
  title     = {Database Theory - {ICDT} 2009, 12th International Conference, St.
               Petersburg, Russia, March 23-25, 2009, Proceedings},
  series    = {{ACM} International Conference Proceeding Series},
  volume    = {361},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-423-2},
  timestamp = {Tue, 24 Mar 2009 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/icdt/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:reference/db/Fagin09,
  author    = {Ronald Fagin},
  title     = {Equality-Generating Dependencies},
  booktitle = {Encyclopedia of Database Systems},
  pages     = {1009--1010},
  year      = {2009},
  crossref  = {DBLP:reference/db/2009},
  url       = {https://doi.org/10.1007/978-0-387-39940-9_1273},
  doi       = {10.1007/978-0-387-39940-9_1273},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/reference/db/Fagin09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:reference/db/Fagin09a,
  author    = {Ronald Fagin},
  title     = {Tuple-Generating Dependencies},
  booktitle = {Encyclopedia of Database Systems},
  pages     = {3201--3202},
  year      = {2009},
  crossref  = {DBLP:reference/db/2009},
  url       = {https://doi.org/10.1007/978-0-387-39940-9_1274},
  doi       = {10.1007/978-0-387-39940-9_1274},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/reference/db/Fagin09a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tods/FaginKPT08,
  author    = {Ronald Fagin and
               Phokion G. Kolaitis and
               Lucian Popa and
               Wang Chiew Tan},
  title     = {Quasi-inverses of schema mappings},
  journal   = {{ACM} Trans. Database Syst.},
  volume    = {33},
  number    = {2},
  pages     = {11:1--11:52},
  year      = {2008},
  url       = {http://doi.acm.org/10.1145/1366102.1366108},
  doi       = {10.1145/1366102.1366108},
  timestamp = {Wed, 11 Jan 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/tods/FaginKPT08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginKNP08,
  author    = {Ronald Fagin and
               Phokion G. Kolaitis and
               Alan Nash and
               Lucian Popa},
  title     = {Towards a theory of schema-mapping optimization},
  booktitle = {Proceedings of the Twenty-Seventh {ACM} {SIGMOD-SIGACT-SIGART} Symposium
               on Principles of Database Systems, {PODS} 2008, June 9-11, 2008, Vancouver,
               BC, Canada},
  pages     = {33--42},
  year      = {2008},
  crossref  = {DBLP:conf/pods/2008},
  url       = {http://doi.acm.org/10.1145/1376916.1376922},
  doi       = {10.1145/1376916.1376922},
  timestamp = {Wed, 23 May 2012 16:53:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/FaginKNP08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pods/EvfimievskiFW08,
  author    = {Alexandre V. Evfimievski and
               Ronald Fagin and
               David P. Woodruff},
  title     = {Epistemic privacy},
  booktitle = {Proceedings of the Twenty-Seventh {ACM} {SIGMOD-SIGACT-SIGART} Symposium
               on Principles of Database Systems, {PODS} 2008, June 9-11, 2008, Vancouver,
               BC, Canada},
  pages     = {171--180},
  year      = {2008},
  crossref  = {DBLP:conf/pods/2008},
  url       = {http://doi.acm.org/10.1145/1376916.1376941},
  doi       = {10.1145/1376916.1376941},
  timestamp = {Wed, 23 May 2012 16:53:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/EvfimievskiFW08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/AndoniFKPS08,
  author    = {Alexandr Andoni and
               Ronald Fagin and
               Ravi Kumar and
               Mihai Patrascu and
               D. Sivakumar},
  title     = {Corrigendum to "efficient similarity search and classification
               via rank aggregation" by Ronald Fagin, Ravi Kumar and D. Sivakumar
               (proc. SIGMOD'03)},
  booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
               of Data, {SIGMOD} 2008, Vancouver, BC, Canada, June 10-12, 2008},
  pages     = {1375--1376},
  year      = {2008},
  crossref  = {DBLP:conf/sigmod/2008},
  url       = {http://doi.acm.org/10.1145/1376616.1376778},
  doi       = {10.1145/1376616.1376778},
  timestamp = {Mon, 12 Sep 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sigmod/AndoniFKPS08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tods/Fagin07,
  author    = {Ronald Fagin},
  title     = {Inverting schema mappings},
  journal   = {{ACM} Trans. Database Syst.},
  volume    = {32},
  number    = {4},
  pages     = {25},
  year      = {2007},
  url       = {http://doi.acm.org/10.1145/1292609.1292615},
  doi       = {10.1145/1292609.1292615},
  timestamp = {Wed, 11 Jan 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/tods/Fagin07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginKPT07,
  author    = {Ronald Fagin and
               Phokion G. Kolaitis and
               Lucian Popa and
               Wang Chiew Tan},
  title     = {Quasi-inverses of schema mappings},
  booktitle = {Proceedings of the Twenty-Sixth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, June 11-13, 2007, Beijing, China},
  pages     = {123--132},
  year      = {2007},
  crossref  = {DBLP:conf/pods/2007},
  url       = {http://doi.acm.org/10.1145/1265530.1265548},
  doi       = {10.1145/1265530.1265548},
  timestamp = {Wed, 23 May 2012 16:53:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/FaginKPT07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamdm/FaginKMSV06,
  author    = {Ronald Fagin and
               Ravi Kumar and
               Mohammad Mahdian and
               D. Sivakumar and
               Erik Vee},
  title     = {Comparing Partial Rankings},
  journal   = {{SIAM} J. Discrete Math.},
  volume    = {20},
  number    = {3},
  pages     = {628--648},
  year      = {2006},
  url       = {https://doi.org/10.1137/05063088X},
  doi       = {10.1137/05063088X},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamdm/FaginKMSV06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pods/Fagin06,
  author    = {Ronald Fagin},
  title     = {Inverting schema mappings},
  booktitle = {Proceedings of the Twenty-Fifth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois,
               {USA}},
  pages     = {50--59},
  year      = {2006},
  crossref  = {DBLP:conf/pods/2006},
  url       = {http://doi.acm.org/10.1145/1142351.1142359},
  doi       = {10.1145/1142351.1142359},
  timestamp = {Wed, 23 May 2012 16:53:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/Fagin06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/FaginKMP05,
  author    = {Ronald Fagin and
               Phokion G. Kolaitis and
               Ren{\'{e}}e J. Miller and
               Lucian Popa},
  title     = {Data exchange: semantics and query answering},
  journal   = {Theor. Comput. Sci.},
  volume    = {336},
  number    = {1},
  pages     = {89--124},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2004.10.033},
  doi       = {10.1016/j.tcs.2004.10.033},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/FaginKMP05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tods/FaginKP05,
  author    = {Ronald Fagin and
               Phokion G. Kolaitis and
               Lucian Popa},
  title     = {Data exchange: getting to the core},
  journal   = {{ACM} Trans. Database Syst.},
  volume    = {30},
  number    = {1},
  pages     = {174--210},
  year      = {2005},
  url       = {http://doi.acm.org/10.1145/1061318.1061323},
  doi       = {10.1145/1061318.1061323},
  timestamp = {Thu, 09 Feb 2006 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/tods/FaginKP05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tods/FaginKPT05,
  author    = {Ronald Fagin and
               Phokion G. Kolaitis and
               Lucian Popa and
               Wang Chiew Tan},
  title     = {Composing schema mappings: Second-order dependencies to the rescue},
  journal   = {{ACM} Trans. Database Syst.},
  volume    = {30},
  number    = {4},
  pages     = {994--1055},
  year      = {2005},
  url       = {http://doi.acm.org/10.1145/1114244.1114249},
  doi       = {10.1145/1114244.1114249},
  timestamp = {Tue, 04 Apr 2006 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tods/FaginKPT05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginGKNST05,
  author    = {Ronald Fagin and
               Ramanathan V. Guha and
               Ravi Kumar and
               Jasmine Novak and
               D. Sivakumar and
               Andrew Tomkins},
  title     = {Multi-structural databases},
  booktitle = {Proceedings of the Twenty-fourth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, June 13-15, 2005, Baltimore, Maryland,
               {USA}},
  pages     = {184--195},
  year      = {2005},
  crossref  = {DBLP:conf/pods/2005},
  url       = {http://doi.acm.org/10.1145/1065167.1065191},
  doi       = {10.1145/1065167.1065191},
  timestamp = {Mon, 12 Sep 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/FaginGKNST05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/vldb/FaginKKNST05,
  author    = {Ronald Fagin and
               Phokion G. Kolaitis and
               Ravi Kumar and
               Jasmine Novak and
               D. Sivakumar and
               Andrew Tomkins},
  title     = {Efficient Implementation of Large-Scale Multi-Structural Databases},
  booktitle = {Proceedings of the 31st International Conference on Very Large Data
               Bases, Trondheim, Norway, August 30 - September 2, 2005},
  pages     = {958--969},
  year      = {2005},
  crossref  = {DBLP:conf/vldb/2005},
  url       = {http://www.vldb2005.org/program/paper/fri/p958-fagin.pdf},
  timestamp = {Mon, 12 Sep 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vldb/FaginKKNST05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/2005,
  editor    = {Harold N. Gabow and
               Ronald Fagin},
  title     = {Proceedings of the 37th Annual {ACM} Symposium on Theory of Computing,
               Baltimore, MD, USA, May 22-24, 2005},
  publisher = {{ACM}},
  year      = {2005},
  isbn      = {1-58113-960-8},
  timestamp = {Tue, 12 Jul 2005 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginKSMV04,
  author    = {Ronald Fagin and
               Ravi Kumar and
               Mohammad Mahdian and
               D. Sivakumar and
               Erik Vee},
  title     = {Comparing and Aggregating Rankings with Ties},
  booktitle = {Proceedings of the Twenty-third {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, June 14-16, 2004, Paris, France},
  pages     = {47--58},
  year      = {2004},
  crossref  = {DBLP:conf/pods/2004},
  url       = {http://doi.acm.org/10.1145/1055558.1055568},
  doi       = {10.1145/1055558.1055568},
  timestamp = {Mon, 12 Sep 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/FaginKSMV04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginPKT04,
  author    = {Ronald Fagin and
               Phokion G. Kolaitis and
               Lucian Popa and
               Wang Chiew Tan},
  title     = {Composing Schema Mappings: Second-Order Dependencies to the Rescue},
  booktitle = {Proceedings of the Twenty-third {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, June 14-16, 2004, Paris, France},
  pages     = {83--94},
  year      = {2004},
  crossref  = {DBLP:conf/pods/2004},
  url       = {http://doi.acm.org/10.1145/1055558.1055572},
  doi       = {10.1145/1055558.1055572},
  timestamp = {Wed, 23 May 2012 16:53:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/FaginPKT04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pods/ArenasBLF04,
  author    = {Marcelo Arenas and
               Pablo Barcel{\'{o}} and
               Ronald Fagin and
               Leonid Libkin},
  title     = {Locally Consistent Transformations and Query Answering in Data Exchange},
  booktitle = {Proceedings of the Twenty-third {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, June 14-16, 2004, Paris, France},
  pages     = {229--240},
  year      = {2004},
  crossref  = {DBLP:conf/pods/2004},
  url       = {http://doi.acm.org/10.1145/1055558.1055592},
  doi       = {10.1145/1055558.1055592},
  timestamp = {Wed, 23 May 2012 16:53:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/ArenasBLF04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/FaginLN03,
  author    = {Ronald Fagin and
               Amnon Lotem and
               Moni Naor},
  title     = {Optimal aggregation algorithms for middleware},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {66},
  number    = {4},
  pages     = {614--656},
  year      = {2003},
  url       = {https://doi.org/10.1016/S0022-0000(03)00026-6},
  doi       = {10.1016/S0022-0000(03)00026-6},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/FaginLN03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamdm/FaginKS03,
  author    = {Ronald Fagin and
               Ravi Kumar and
               D. Sivakumar},
  title     = {Comparing Top k Lists},
  journal   = {{SIAM} J. Discrete Math.},
  volume    = {17},
  number    = {1},
  pages     = {134--160},
  year      = {2003},
  url       = {http://epubs.siam.org/sam-bin/dbq/article/41285},
  timestamp = {Mon, 12 Sep 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamdm/FaginKS03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icdt/FaginKMP03,
  author    = {Ronald Fagin and
               Phokion G. Kolaitis and
               Ren{\'{e}}e J. Miller and
               Lucian Popa},
  title     = {Data Exchange: Semantics and Query Answering},
  booktitle = {Database Theory - {ICDT} 2003, 9th International Conference, Siena,
               Italy, January 8-10, 2003, Proceedings},
  pages     = {207--224},
  year      = {2003},
  crossref  = {DBLP:conf/icdt/2003},
  url       = {https://doi.org/10.1007/3-540-36285-1_14},
  doi       = {10.1007/3-540-36285-1_14},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icdt/FaginKMP03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginKP03,
  author    = {Ronald Fagin and
               Phokion G. Kolaitis and
               Lucian Popa},
  title     = {Data exchange: getting to the core},
  booktitle = {Proceedings of the Twenty-Second {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, June 9-12, 2003, San Diego, CA,
               {USA}},
  pages     = {90--101},
  year      = {2003},
  crossref  = {DBLP:conf/pods/2003},
  url       = {http://doi.acm.org/10.1145/773153.773163},
  doi       = {10.1145/773153.773163},
  timestamp = {Wed, 23 May 2012 16:53:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/FaginKP03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/FaginKS03,
  author    = {Ronald Fagin and
               Ravi Kumar and
               D. Sivakumar},
  title     = {Efficient similarity search and classification via rank aggregation},
  booktitle = {Proceedings of the 2003 {ACM} {SIGMOD} International Conference on
               Management of Data, San Diego, California, USA, June 9-12, 2003},
  pages     = {301--312},
  year      = {2003},
  crossref  = {DBLP:conf/sigmod/2003},
  url       = {http://doi.acm.org/10.1145/872757.872795},
  doi       = {10.1145/872757.872795},
  timestamp = {Mon, 12 Sep 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sigmod/FaginKS03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/soda/FaginKS03,
  author    = {Ronald Fagin and
               Ravi Kumar and
               D. Sivakumar},
  title     = {Comparing top k lists},
  booktitle = {Proceedings of the Fourteenth Annual {ACM-SIAM} Symposium on Discrete
               Algorithms, January 12-14, 2003, Baltimore, Maryland, {USA.}},
  pages     = {28--36},
  year      = {2003},
  crossref  = {DBLP:conf/soda/2003},
  url       = {http://dl.acm.org/citation.cfm?id=644108.644113},
  timestamp = {Mon, 12 Sep 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/soda/FaginKS03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/www/FaginKMNSTW03,
  author    = {Ronald Fagin and
               Ravi Kumar and
               Kevin S. McCurley and
               Jasmine Novak and
               D. Sivakumar and
               John A. Tomlin and
               David P. Williamson},
  title     = {Searching the workplace web},
  booktitle = {Proceedings of the Twelfth International World Wide Web Conference,
               {WWW} 2003, Budapest, Hungary, May 20-24, 2003},
  pages     = {366--375},
  year      = {2003},
  crossref  = {DBLP:conf/www/2003},
  url       = {http://doi.acm.org/10.1145/775152.775204},
  doi       = {10.1145/775152.775204},
  timestamp = {Mon, 12 Sep 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/www/FaginKMNSTW03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/debu/AndritsosFFHHHKMNPVVY02,
  author    = {Periklis Andritsos and
               Ronald Fagin and
               Ariel Fuxman and
               Laura M. Haas and
               Mauricio A. Hern{\'{a}}ndez and
               C. T. Howard Ho and
               Anastasios Kementsietsidis and
               Ren{\'{e}}e J. Miller and
               Felix Naumann and
               Lucian Popa and
               Yannis Velegrakis and
               Charlotte Vilarem and
               Ling{-}Ling Yan},
  title     = {Schema Management},
  journal   = {{IEEE} Data Eng. Bull.},
  volume    = {25},
  number    = {3},
  pages     = {32--38},
  year      = {2002},
  url       = {http://sites.computer.org/debull/A02SEP-CD.pdf},
  timestamp = {Wed, 19 Dec 2007 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/debu/AndritsosFFHHHKMNPVVY02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/AjtaiBFLS02,
  author    = {Mikl{\'{o}}s Ajtai and
               Randal C. Burns and
               Ronald Fagin and
               Darrell D. E. Long and
               Larry J. Stockmeyer},
  title     = {Compactly encoding unstructured inputs with differential compression},
  journal   = {J. {ACM}},
  volume    = {49},
  number    = {3},
  pages     = {318--367},
  year      = {2002},
  url       = {http://doi.acm.org/10.1145/567112.567116},
  doi       = {10.1145/567112.567116},
  timestamp = {Thu, 20 Nov 2003 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jacm/AjtaiBFLS02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/CharikarFGKRS02,
  author    = {Moses Charikar and
               Ronald Fagin and
               Venkatesan Guruswami and
               Jon M. Kleinberg and
               Prabhakar Raghavan and
               Amit Sahai},
  title     = {Query Strategies for Priced Information},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {64},
  number    = {4},
  pages     = {785--819},
  year      = {2002},
  url       = {https://doi.org/10.1006/jcss.2002.1828},
  doi       = {10.1006/jcss.2002.1828},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/CharikarFGKRS02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/CowenFKK02,
  author    = {Lenore Cowen and
               Ronald Fagin and
               Joe Kilian and
               Jon M. Kleinberg},
  title     = {Guest Editor's Foreword},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {65},
  number    = {1},
  pages     = {1},
  year      = {2002},
  url       = {https://doi.org/10.1006/jcss.2002.1834},
  doi       = {10.1006/jcss.2002.1834},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/CowenFKK02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigmod/Fagin02,
  author    = {Ronald Fagin},
  title     = {Combining Fuzzy Information: an Overview},
  journal   = {{SIGMOD} Record},
  volume    = {31},
  number    = {2},
  pages     = {109--118},
  year      = {2002},
  url       = {http://doi.acm.org/10.1145/565117.565143},
  doi       = {10.1145/565117.565143},
  timestamp = {Wed, 19 Sep 2012 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sigmod/Fagin02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/vldb/PopaVMHF02,
  author    = {Lucian Popa and
               Yannis Velegrakis and
               Ren{\'{e}}e J. Miller and
               Mauricio A. Hern{\'{a}}ndez and
               Ronald Fagin},
  title     = {Translating Web Data},
  booktitle = {{VLDB} 2002, Proceedings of 28th International Conference on Very
               Large Data Bases, August 20-23, 2002, Hong Kong, China},
  pages     = {598--609},
  year      = {2002},
  crossref  = {DBLP:conf/vldb/2002},
  url       = {http://www.vldb.org/conf/2002/S17P02.pdf},
  timestamp = {Mon, 17 Sep 2012 22:01:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vldb/PopaVMHF02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/cs-DB-0204046,
  author    = {Ronald Fagin and
               Amnon Lotem and
               Moni Naor},
  title     = {Optimal Aggregation Algorithms for Middleware},
  journal   = {CoRR},
  volume    = {cs.DB/0204046},
  year      = {2002},
  url       = {http://arxiv.org/abs/cs.DB/0204046},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/cs-DB-0204046},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigmod/MillerHHYHFP01,
  author    = {Ren{\'{e}}e J. Miller and
               Mauricio A. Hern{\'{a}}ndez and
               Laura M. Haas and
               Ling{-}Ling Yan and
               C. T. Howard Ho and
               Ronald Fagin and
               Lucian Popa},
  title     = {The Clio Project: Managing Heterogeneity},
  journal   = {{SIGMOD} Record},
  volume    = {30},
  number    = {1},
  pages     = {78--83},
  year      = {2001},
  url       = {http://doi.acm.org/10.1145/373626.373713},
  doi       = {10.1145/373626.373713},
  timestamp = {Wed, 19 Sep 2012 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sigmod/MillerHHYHFP01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginLN01,
  author    = {Ronald Fagin and
               Amnon Lotem and
               Moni Naor},
  title     = {Optimal Aggregation Algorithms for Middleware},
  booktitle = {Proceedings of the Twentieth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, May 21-23, 2001, Santa Barbara,
               California, {USA}},
  year      = {2001},
  crossref  = {DBLP:conf/pods/2001},
  url       = {http://doi.acm.org/10.1145/375551.375567},
  doi       = {10.1145/375551.375567},
  timestamp = {Wed, 23 May 2012 16:53:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/FaginLN01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sigir/SofferCCFFHM01,
  author    = {Aya Soffer and
               David Carmel and
               Doron Cohen and
               Ronald Fagin and
               Eitan Farchi and
               Michael Herscovici and
               Yo{\"{e}}lle S. Maarek},
  title     = {Static Index Pruning for Information Retrieval Systems},
  booktitle = {{SIGIR} 2001: Proceedings of the 24th Annual International {ACM} {SIGIR}
               Conference on Research and Development in Information Retrieval, September
               9-13, 2001, New Orleans, Louisiana, {USA}},
  pages     = {43--50},
  year      = {2001},
  crossref  = {DBLP:conf/sigir/2001},
  url       = {http://doi.acm.org/10.1145/383952.383958},
  doi       = {10.1145/383952.383958},
  timestamp = {Wed, 08 Feb 2017 13:37:23 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sigir/SofferCCFFHM01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/YanMHF01,
  author    = {Ling{-}Ling Yan and
               Ren{\'{e}}e J. Miller and
               Laura M. Haas and
               Ronald Fagin},
  title     = {Data-Driven Understanding and Refinement of Schema Mappings},
  booktitle = {Proceedings of the 2001 {ACM} {SIGMOD} international conference on
               Management of data, Santa Barbara, CA, USA, May 21-24, 2001},
  pages     = {485--496},
  year      = {2001},
  crossref  = {DBLP:conf/sigmod/2001},
  url       = {http://doi.acm.org/10.1145/375663.375729},
  doi       = {10.1145/375663.375729},
  timestamp = {Fri, 14 Sep 2012 11:55:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sigmod/YanMHF01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/AjtaiFS00,
  author    = {Mikl{\'{o}}s Ajtai and
               Ronald Fagin and
               Larry J. Stockmeyer},
  title     = {The Closure of Monadic {NP}},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {60},
  number    = {3},
  pages     = {660--716},
  year      = {2000},
  url       = {https://doi.org/10.1006/jcss.1999.1691},
  doi       = {10.1006/jcss.1999.1691},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/AjtaiFS00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/FaginW00,
  author    = {Ronald Fagin and
               Edward L. Wimmers},
  title     = {A formula for incorporating weights into scoring rules},
  journal   = {Theor. Comput. Sci.},
  volume    = {239},
  number    = {2},
  pages     = {309--338},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0304-3975(99)00224-8},
  doi       = {10.1016/S0304-3975(99)00224-8},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/FaginW00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lics/Fagin00,
  author    = {Ronald Fagin},
  title     = {Logic, Complexity, and Games},
  booktitle = {15th Annual {IEEE} Symposium on Logic in Computer Science, Santa Barbara,
               California, USA, June 26-29, 2000},
  pages     = {3},
  year      = {2000},
  crossref  = {DBLP:conf/lics/2000},
  url       = {https://doi.org/10.1109/LICS.2000.855750},
  doi       = {10.1109/LICS.2000.855750},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lics/Fagin00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/riao/FaginM00,
  author    = {Ronald Fagin and
               Yo{\"{e}}lle S. Maarek},
  title     = {Allowing users to weight search terms},
  booktitle = {Computer-Assisted Information Retrieval (Recherche d'Information et
               ses Applications) - {RIAO} 2000, 6th International Conference, College
               de France, France, April 12-14, 2000. Proceedings},
  pages     = {682--700},
  year      = {2000},
  crossref  = {DBLP:conf/riao/2000},
  timestamp = {Fri, 18 Sep 2009 07:51:36 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/riao/FaginM00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/FaginKKRRRST00,
  author    = {Ronald Fagin and
               Anna R. Karlin and
               Jon M. Kleinberg and
               Prabhakar Raghavan and
               Sridhar Rajagopalan and
               Ronitt Rubinfeld and
               Madhu Sudan and
               Andrew Tomkins},
  title     = {Random walks with "back buttons" (extended abstract)},
  booktitle = {Proceedings of the Thirty-Second Annual {ACM} Symposium on Theory
               of Computing, May 21-23, 2000, Portland, OR, {USA}},
  pages     = {484--493},
  year      = {2000},
  crossref  = {DBLP:conf/stoc/2000},
  url       = {http://doi.acm.org/10.1145/335305.335362},
  doi       = {10.1145/335305.335362},
  timestamp = {Thu, 30 Mar 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/FaginKKRRRST00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/CharikarFGKRS00,
  author    = {Moses Charikar and
               Ronald Fagin and
               Venkatesan Guruswami and
               Jon M. Kleinberg and
               Prabhakar Raghavan and
               Amit Sahai},
  title     = {Query strategies for priced information (extended abstract)},
  booktitle = {Proceedings of the Thirty-Second Annual {ACM} Symposium on Theory
               of Computing, May 21-23, 2000, Portland, OR, {USA}},
  pages     = {582--591},
  year      = {2000},
  crossref  = {DBLP:conf/stoc/2000},
  url       = {http://doi.acm.org/10.1145/335305.335382},
  doi       = {10.1145/335305.335382},
  timestamp = {Thu, 16 Feb 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/CharikarFGKRS00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/apal/FaginHMV99,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Yoram Moses and
               Moshe Y. Vardi},
  title     = {Common Knowledge Revisited},
  journal   = {Ann. Pure Appl. Logic},
  volume    = {96},
  number    = {1-3},
  pages     = {89--105},
  year      = {1999},
  url       = {https://doi.org/10.1016/S0168-0072(98)00033-5},
  doi       = {10.1016/S0168-0072(98)00033-5},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/apal/FaginHMV99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ijgt/FaginGHV99,
  author    = {Ronald Fagin and
               John Geanakoplos and
               Joseph Y. Halpern and
               Moshe Y. Vardi},
  title     = {The hierarchical approach to modeling knowledge and common knowledge},
  journal   = {Int. J. Game Theory},
  volume    = {28},
  number    = {3},
  pages     = {331--365},
  year      = {1999},
  url       = {https://doi.org/10.1007/s001820050114},
  doi       = {10.1007/s001820050114},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ijgt/FaginGHV99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/Fagin99,
  author    = {Ronald Fagin},
  title     = {Combining Fuzzy Information from Multiple Systems},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {58},
  number    = {1},
  pages     = {83--99},
  year      = {1999},
  url       = {https://doi.org/10.1006/jcss.1998.1600},
  doi       = {10.1006/jcss.1998.1600},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/Fagin99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ijcv/FaginS98,
  author    = {Ronald Fagin and
               Larry J. Stockmeyer},
  title     = {Relaxing the Triangle Inequality in Pattern Matching},
  journal   = {International Journal of Computer Vision},
  volume    = {30},
  number    = {3},
  pages     = {219--231},
  year      = {1998},
  url       = {https://doi.org/10.1023/A:1008023416823},
  doi       = {10.1023/A:1008023416823},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ijcv/FaginS98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pods/Fagin98,
  author    = {Ronald Fagin},
  title     = {Fuzzy Queries in Multimedia Database Systems},
  booktitle = {Proceedings of the Seventeenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, June 1-3, 1998, Seattle, Washington,
               {USA}},
  pages     = {1--10},
  year      = {1998},
  crossref  = {DBLP:conf/pods/98},
  url       = {http://doi.acm.org/10.1145/275487.275488},
  doi       = {10.1145/275487.275488},
  timestamp = {Wed, 29 Mar 2017 16:45:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/Fagin98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/AjtaiFS98,
  author    = {Mikl{\'{o}}s Ajtai and
               Ronald Fagin and
               Larry J. Stockmeyer},
  title     = {The Closure of Monadic {NP} (Extended Abstract)},
  booktitle = {Proceedings of the Thirtieth Annual {ACM} Symposium on the Theory
               of Computing, Dallas, Texas, USA, May 23-26, 1998},
  pages     = {309--318},
  year      = {1998},
  crossref  = {DBLP:conf/stoc/1998},
  url       = {http://doi.acm.org/10.1145/276698.276771},
  doi       = {10.1145/276698.276771},
  timestamp = {Thu, 16 Feb 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/AjtaiFS98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-9809003,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Yoram Moses and
               Moshe Y. Vardi},
  title     = {Common knowledge revisited},
  journal   = {CoRR},
  volume    = {cs.LO/9809003},
  year      = {1998},
  url       = {http://arxiv.org/abs/cs.LO/9809003},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/cs-LO-9809003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/dc/FaginHMV97,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Yoram Moses and
               Moshe Y. Vardi},
  title     = {Knowledge-Based Programs},
  journal   = {Distributed Computing},
  volume    = {10},
  number    = {4},
  pages     = {199--225},
  year      = {1997},
  url       = {https://doi.org/10.1007/s004460050038},
  doi       = {10.1007/s004460050038},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/dc/FaginHMV97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/mima/FaginHMV97,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Yoram Moses and
               Moshe Y. Vardi},
  title     = {Reasoning about Knowledge: {A} Response by the Authors},
  journal   = {Minds and Machines},
  volume    = {7},
  number    = {1},
  pages     = {113},
  year      = {1997},
  url       = {https://doi.org/10.1023/A:1008278827378},
  doi       = {10.1023/A:1008278827378},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/mima/FaginHMV97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/mlq/Fagin97,
  author    = {Ronald Fagin},
  title     = {Comparing the Power of Games on Graphs},
  journal   = {Math. Log. Q.},
  volume    = {43},
  pages     = {431--455},
  year      = {1997},
  url       = {https://doi.org/10.1002/malq.19970430402},
  doi       = {10.1002/malq.19970430402},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/mlq/Fagin97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/AroraF97,
  author    = {Sanjeev Arora and
               Ronald Fagin},
  title     = {On Winning Strategies in Ehrenfeucht-Fra{\"{\i}}ss{\'{e}}
               Games},
  journal   = {Theor. Comput. Sci.},
  volume    = {174},
  number    = {1-2},
  pages     = {97--121},
  year      = {1997},
  url       = {https://doi.org/10.1016/S0304-3975(96)00015-1},
  doi       = {10.1016/S0304-3975(96)00015-1},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/AroraF97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/csl/DurandFL97,
  author    = {Arnaud Durand and
               Ronald Fagin and
               Bernd Loescher},
  title     = {Spectra with Only Unary Function Symbols},
  booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
               Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
               Papers},
  pages     = {189--202},
  year      = {1997},
  crossref  = {DBLP:conf/csl/1997},
  url       = {https://doi.org/10.1007/BFb0028015},
  doi       = {10.1007/BFb0028015},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csl/DurandFL97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icdt/FaginW97,
  author    = {Ronald Fagin and
               Edward L. Wimmers},
  title     = {Incorporating User Preferences in Multimedia Queries},
  booktitle = {Database Theory - {ICDT} '97, 6th International Conference, Delphi,
               Greece, January 8-10, 1997, Proceedings},
  pages     = {247--261},
  year      = {1997},
  crossref  = {DBLP:conf/icdt/97},
  url       = {https://doi.org/10.1007/3-540-62222-5_49},
  doi       = {10.1007/3-540-62222-5_49},
  timestamp = {Mon, 22 May 2017 16:14:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icdt/FaginW97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/algorithmica/ChoyFS96,
  author    = {David M. Choy and
               Ronald Fagin and
               Larry J. Stockmeyer},
  title     = {Efficiently Extendible Mappings for Balanced Data Distribution},
  journal   = {Algorithmica},
  volume    = {16},
  number    = {2},
  pages     = {215--232},
  year      = {1996},
  url       = {https://doi.org/10.1007/BF01940647},
  doi       = {10.1007/BF01940647},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/algorithmica/ChoyFS96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cacm/FaginNW96,
  author    = {Ronald Fagin and
               Moni Naor and
               Peter Winkler},
  title     = {Comparing Information Without Leaking It},
  journal   = {Commun. {ACM}},
  volume    = {39},
  number    = {5},
  pages     = {77--85},
  year      = {1996},
  url       = {http://doi.acm.org/10.1145/229459.229469},
  doi       = {10.1145/229459.229469},
  timestamp = {Mon, 23 Oct 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/cacm/FaginNW96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/Fagin96,
  author    = {Ronald Fagin},
  title     = {Easier Ways to Win Logical Games},
  booktitle = {Descriptive Complexity and Finite Models, Proceedings of a {DIMACS}
               Workshop 1996, Princeton, New Jersey, USA, January 14-17, 1996},
  pages     = {1--32},
  year      = {1996},
  crossref  = {DBLP:conf/dimacs/1996},
  timestamp = {Mon, 14 Mar 2016 15:38:50 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dimacs/Fagin96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pods/Fagin96,
  author    = {Ronald Fagin},
  title     = {Combining Fuzzy Information from Multiple Systems},
  booktitle = {Proceedings of the Fifteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, June 3-5, 1996, Montreal, Canada},
  pages     = {216--226},
  year      = {1996},
  crossref  = {DBLP:conf/pods/96},
  url       = {http://doi.acm.org/10.1145/237661.237715},
  doi       = {10.1145/237661.237715},
  timestamp = {Wed, 29 Mar 2017 16:45:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/Fagin96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/RothAHCCFSTW96,
  author    = {Mary Tork Roth and
               Manish Arya and
               Laura M. Haas and
               Michael J. Carey and
               William F. Cody and
               Ronald Fagin and
               Peter M. Schwarz and
               Joachim Thomas and
               Edward L. Wimmers},
  title     = {The Garlic Project},
  booktitle = {Proceedings of the 1996 {ACM} {SIGMOD} International Conference on
               Management of Data, Montreal, Quebec, Canada, June 4-6, 1996.},
  pages     = {557},
  year      = {1996},
  crossref  = {DBLP:conf/sigmod/96},
  url       = {http://doi.acm.org/10.1145/233269.280363},
  doi       = {10.1145/233269.280363},
  timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sigmod/RothAHCCFSTW96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tark/FaginHMV96,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Yoram Moses and
               Moshe Y. Vardi},
  title     = {Common Knowledge Revisited},
  booktitle = {Proceedings of the Sixth Conference on Theoretical Aspects of Rationality
               and Knowledge, De Zeeuwse Stromen, The Netherlands, March 17-20 1996},
  pages     = {283--298},
  year      = {1996},
  crossref  = {DBLP:conf/tark/1996},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tark/FaginHMV96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:books/lib/Fagin95,
  author    = {Ronald Fagin},
  title     = {Reasoning about knowledge},
  publisher = {{MIT} Press},
  year      = {1995},
  url       = {http://www.worldcat.org/oclc/31413117},
  isbn      = {0262061627},
  timestamp = {Wed, 03 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/books/lib/Fagin95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ai/FaginHV95,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Moshe Y. Vardi},
  title     = {A Nonstandard Approach to the Logical Omniscience Problem},
  journal   = {Artif. Intell.},
  volume    = {79},
  number    = {2},
  pages     = {203--240},
  year      = {1995},
  url       = {https://doi.org/10.1016/0004-3702(94)00060-3},
  doi       = {10.1016/0004-3702(94)00060-3},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ai/FaginHV95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/FaginSV95,
  author    = {Ronald Fagin and
               Larry J. Stockmeyer and
               Moshe Y. Vardi},
  title     = {On Monadic {NP} vs. Monadic co-NP},
  journal   = {Inf. Comput.},
  volume    = {120},
  number    = {1},
  pages     = {78--92},
  year      = {1995},
  url       = {https://doi.org/10.1006/inco.1995.1100},
  doi       = {10.1006/inco.1995.1100},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iandc/FaginSV95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/podc/FaginHMV95,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Yoram Moses and
               Moshe Y. Vardi},
  title     = {Knowledge-Based Programs},
  booktitle = {Proceedings of the Fourteenth Annual {ACM} Symposium on Principles
               of Distributed Computing, Ottawa, Ontario, Canada, August 20-23, 1995},
  pages     = {153--163},
  year      = {1995},
  crossref  = {DBLP:conf/podc/1995},
  url       = {http://doi.acm.org/10.1145/224964.224982},
  doi       = {10.1145/224964.224982},
  timestamp = {Wed, 23 May 2012 14:26:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/podc/FaginHMV95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ride/CareyHSACFFLNPTWW95,
  author    = {Michael J. Carey and
               Laura M. Haas and
               Peter M. Schwarz and
               Manish Arya and
               William F. Cody and
               Ronald Fagin and
               Myron Flickner and
               Allen Luniewski and
               Wayne Niblack and
               Dragutin Petkovic and
               Joachim Thomas and
               John H. Williams and
               Edward L. Wimmers},
  title     = {Towards Heterogeneous Multimedia Information Systems: The Garlic Approach},
  booktitle = {Proceedings {RIDE-DOM} '95, Fifth International Workshop on Research
               Issues in Data Engineering - Distributed Object Management, Taipei,
               Taiwan, March 6-7, 1995},
  pages     = {124--131},
  year      = {1995},
  crossref  = {DBLP:conf/ride/95},
  url       = {https://doi.org/10.1109/RIDE.1995.378736},
  doi       = {10.1109/RIDE.1995.378736},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ride/CareyHSACFFLNPTWW95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/vdb/CodyHNACFFLPSTRWW95,
  author    = {William F. Cody and
               Laura M. Haas and
               Wayne Niblack and
               Manish Arya and
               Michael J. Carey and
               Ronald Fagin and
               Myron Flickner and
               Denis Lee and
               Dragutin Petkovic and
               Peter M. Schwarz and
               Joachim Thomas and
               Mary Tork Roth and
               John H. Williams and
               Edward L. Wimmers},
  title     = {Querying Multimedia Data from Multiple Repositories by Content: the
               Garlic Project},
  booktitle = {Visual Database Systems 3, Visual Information Management, Proceedings
               of the third {IFIP} 2.6 working conference on visual database systems,
               March 27-29, 1995, Lausanne, Switzerland},
  pages     = {17--35},
  year      = {1995},
  crossref  = {DBLP:conf/vdb/1995},
  timestamp = {Thu, 12 Jan 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/vdb/CodyHNACFFLPSTRWW95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/FaginH94,
  author    = {Ronald Fagin and
               Joseph Y. Halpern},
  title     = {Reasoning About Knowledge and Probability},
  journal   = {J. {ACM}},
  volume    = {41},
  number    = {2},
  pages     = {340--367},
  year      = {1994},
  url       = {http://doi.acm.org/10.1145/174652.174658},
  doi       = {10.1145/174652.174658},
  timestamp = {Thu, 29 Nov 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jacm/FaginH94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jsyml/Fagin94,
  author    = {Ronald Fagin},
  title     = {A Quantitative Analysis of Modal Logic},
  journal   = {J. Symb. Log.},
  volume    = {59},
  number    = {1},
  pages     = {209--252},
  year      = {1994},
  url       = {https://doi.org/10.2307/2275262},
  doi       = {10.2307/2275262},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jsyml/Fagin94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FaginHMV94,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Yoram Moses and
               Moshe Y. Vardi},
  title     = {An Operational Semantics for Knowledge Bases},
  booktitle = {Proceedings of the 12th National Conference on Artificial Intelligence,
               Seattle, WA, USA, July 31 - August 4, 1994, Volume 2.},
  pages     = {1142--1147},
  year      = {1994},
  crossref  = {DBLP:conf/aaai/1994-2},
  url       = {http://www.aaai.org/Library/AAAI/1994/aaai94-176.php},
  timestamp = {Mon, 15 Jun 2015 19:00:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/FaginHMV94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lcc/Fagin94,
  author    = {Ronald Fagin},
  title     = {Comparing the Power of Monadic {NP} Games},
  booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
               Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
               USA, 13-16 October 1994},
  pages     = {414--425},
  year      = {1994},
  crossref  = {DBLP:conf/lcc/1994},
  url       = {https://doi.org/10.1007/3-540-60178-3_95},
  doi       = {10.1007/3-540-60178-3_95},
  timestamp = {Sat, 20 May 2017 15:32:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lcc/Fagin94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tark/1994,
  editor    = {Ronald Fagin},
  title     = {Proceedings of the 5th Conference on Theoretical Aspects of Reasoning
               about Knowledge, Pacific Grove, CA, USA, March 1994},
  publisher = {Morgan Kaufmann},
  year      = {1994},
  timestamp = {Tue, 05 Mar 2002 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/tark/1994},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigmod/DateF93,
  author    = {C. J. Date and
               Ronald Fagin},
  title     = {Response to "Remarks on Two New Theorems of Date and Fagin"},
  journal   = {{SIGMOD} Record},
  volume    = {22},
  number    = {1},
  pages     = {57--58},
  year      = {1993},
  url       = {http://doi.acm.org/10.1145/156883.156891},
  doi       = {10.1145/156883.156891},
  timestamp = {Wed, 19 Sep 2012 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sigmod/DateF93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/Fagin93,
  author    = {Ronald Fagin},
  title     = {Finite-Model Theory - {A} Personal Perspective},
  journal   = {Theor. Comput. Sci.},
  volume    = {116},
  number    = {1},
  pages     = {3--31},
  year      = {1993},
  url       = {https://doi.org/10.1016/0304-3975(93)90218-I},
  doi       = {10.1016/0304-3975(93)90218-I},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/Fagin93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/coco/FaginSV93,
  author    = {Ronald Fagin and
               Larry J. Stockmeyer and
               Moshe Y. Vardi},
  title     = {On Monadic {NP} vs. Monadic co-NP (Extended Abstract)},
  booktitle = {Proceedings of the Eigth Annual Structure in Complexity Theory Conference,
               San Diego, CA, USA, May 18-21, 1993},
  pages     = {19--30},
  year      = {1993},
  crossref  = {DBLP:conf/coco/1993},
  url       = {https://doi.org/10.1109/SCT.1993.336544},
  doi       = {10.1109/SCT.1993.336544},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/coco/FaginSV93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ai/HalpernF92,
  author    = {Joseph Y. Halpern and
               Ronald Fagin},
  title     = {Two Views of Belief: Belief as Generalized Probability and Belief
               as Evidence},
  journal   = {Artif. Intell.},
  volume    = {54},
  number    = {2},
  pages     = {275--317},
  year      = {1992},
  url       = {https://doi.org/10.1016/0004-3702(92)90048-3},
  doi       = {10.1016/0004-3702(92)90048-3},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ai/HalpernF92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/FaginHV92,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Moshe Y. Vardi},
  title     = {What Can Machines Know? On the Properties of Knowledge in Distributed
               Systems},
  journal   = {J. {ACM}},
  volume    = {39},
  number    = {2},
  pages     = {328--376},
  year      = {1992},
  url       = {http://doi.acm.org/10.1145/128749.150945},
  doi       = {10.1145/128749.150945},
  timestamp = {Thu, 20 Nov 2003 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jacm/FaginHV92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jsyml/FaginHV92,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Moshe Y. Vardi},
  title     = {What Is an Inference Rule?},
  journal   = {J. Symb. Log.},
  volume    = {57},
  number    = {3},
  pages     = {1018--1045},
  year      = {1992},
  url       = {https://doi.org/10.2307/2275447},
  doi       = {10.2307/2275447},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jsyml/FaginHV92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tods/DateF92,
  author    = {C. J. Date and
               Ronald Fagin},
  title     = {Simple Conditions for Guaranteeing Higher Normal Forms in Relational
               Databases},
  journal   = {{ACM} Trans. Database Syst.},
  volume    = {17},
  number    = {3},
  pages     = {465--476},
  year      = {1992},
  url       = {http://doi.acm.org/10.1145/132271.132274},
  doi       = {10.1145/132271.132274},
  timestamp = {Thu, 30 Mar 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tods/DateF92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tark/FaginGHV92,
  author    = {Ronald Fagin and
               John Geanakoplos and
               Joseph Y. Halpern and
               Moshe Y. Vardi},
  title     = {The Expressive Power of the Kierarchical Approach to Modeling Knowledge
               and Common Knowledge},
  booktitle = {Proceedings of the 4th Conference on Theoretical Aspects of Reasoning
               about Knowledge, Monterey, CA, March 1992},
  pages     = {229--244},
  year      = {1992},
  crossref  = {DBLP:conf/tark/1992},
  timestamp = {Thu, 07 Mar 2002 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/tark/FaginGHV92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ci/FaginH91,
  author    = {Ronald Fagin and
               Joseph Y. Halpern},
  title     = {Uncertainty, belief, and probability},
  journal   = {Computational Intelligence},
  volume    = {7},
  pages     = {160--173},
  year      = {1991},
  url       = {https://doi.org/10.1111/j.1467-8640.1991.tb00391.x},
  doi       = {10.1111/j.1467-8640.1991.tb00391.x},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ci/FaginH91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/FaginHV91,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Moshe Y. Vardi},
  title     = {A Model-Theoretic Analysis of Knowledge},
  journal   = {J. {ACM}},
  volume    = {38},
  number    = {2},
  pages     = {382--428},
  year      = {1991},
  url       = {http://doi.acm.org/10.1145/103516.128680},
  doi       = {10.1145/103516.128680},
  timestamp = {Thu, 20 Nov 2003 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jacm/FaginHV91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/FaginHM90,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Nimrod Megiddo},
  title     = {A Logic for Reasoning about Probabilities},
  journal   = {Inf. Comput.},
  volume    = {87},
  number    = {1/2},
  pages     = {78--128},
  year      = {1990},
  url       = {https://doi.org/10.1016/0890-5401(90)90060-U},
  doi       = {10.1016/0890-5401(90)90060-U},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iandc/FaginHM90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jsyml/AjtaiF90,
  author    = {Mikl{\'{o}}s Ajtai and
               Ronald Fagin},
  title     = {Reachability Is Harder for Directed than for Undirected Finite Graphs},
  journal   = {J. Symb. Log.},
  volume    = {55},
  number    = {1},
  pages     = {113--150},
  year      = {1990},
  url       = {https://doi.org/10.2307/2274958},
  doi       = {10.2307/2274958},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jsyml/AjtaiF90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HalpernF90,
  author    = {Joseph Y. Halpern and
               Ronald Fagin},
  title     = {Two Views of Belief: Belief as Generalized Probability and Belief
               as Evidence},
  booktitle = {Proceedings of the 8th National Conference on Artificial Intelligence.
               Boston, Massachusetts, July 29 - August 3, 1990, 2 Volumes.},
  pages     = {112--119},
  year      = {1990},
  crossref  = {DBLP:conf/aaai/1990},
  url       = {http://www.aaai.org/Library/AAAI/1990/aaai90-017.php},
  timestamp = {Tue, 11 Dec 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/HalpernF90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icdt/Fagin90,
  author    = {Ronald Fagin},
  title     = {Finite-Model Theory - a Personal Perspective},
  booktitle = {ICDT'90, Third International Conference on Database Theory, Paris,
               France, December 12-14, 1990, Proceedings},
  pages     = {3--24},
  year      = {1990},
  crossref  = {DBLP:conf/icdt/90},
  url       = {https://doi.org/10.1007/3-540-53507-1_67},
  doi       = {10.1007/3-540-53507-1_67},
  timestamp = {Fri, 19 May 2017 13:10:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icdt/Fagin90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/jcit/FaginHV90,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Moshe Y. Vardi},
  title     = {What is an inference rule?},
  booktitle = {Next Decade in Information Technology: Proceedings of the 5th Jerusalem
               Conference on Information Technology 1990, Jerusalem, October 22-25,
               1990},
  pages     = {391--401},
  year      = {1990},
  crossref  = {DBLP:conf/jcit/1990},
  url       = {https://doi.org/10.1109/JCIT.1990.128310},
  doi       = {10.1109/JCIT.1990.128310},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/jcit/FaginHV90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tark/FaginHV90,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Moshe Y. Vardi},
  title     = {A Nonstandard Approach to the Logical Omniscience Problem},
  booktitle = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
               about Knowledge, Pacific Grove, CA, March 1990},
  pages     = {41--55},
  year      = {1990},
  crossref  = {DBLP:conf/tark/1990},
  timestamp = {Thu, 07 Mar 2002 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/tark/FaginHV90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/uai/FaginH90,
  author    = {Ronald Fagin and
               Joseph Y. Halpern},
  title     = {A new approach to updating beliefs},
  booktitle = {{UAI} '90: Proceedings of the Sixth Annual Conference on Uncertainty
               in Artificial Intelligence, MIT, Cambridge, MA, USA, July 27-29, 1990},
  pages     = {347--374},
  year      = {1990},
  crossref  = {DBLP:conf/uai/1990},
  url       = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=1924&proceeding_id=1006},
  timestamp = {Wed, 06 May 2015 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/uai/FaginH90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/dc/HalpernF89,
  author    = {Joseph Y. Halpern and
               Ronald Fagin},
  title     = {Modelling Knowledge and Action in Distributed Systems},
  journal   = {Distributed Computing},
  volume    = {3},
  number    = {4},
  pages     = {159--177},
  year      = {1989},
  url       = {https://doi.org/10.1007/BF01784885},
  doi       = {10.1007/BF01784885},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/dc/HalpernF89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FaginH89,
  author    = {Ronald Fagin and
               Joseph Y. Halpern},
  title     = {Uncertainty, Belief, and Probability},
  booktitle = {Proceedings of the 11th International Joint Conference on Artificial
               Intelligence. Detroit, MI, USA, August 1989},
  pages     = {1161--1167},
  year      = {1989},
  crossref  = {DBLP:conf/ijcai/1989},
  url       = {http://ijcai.org/Proceedings/89-2/Papers/050.pdf},
  timestamp = {Tue, 19 Jul 2016 13:32:40 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ijcai/FaginH89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jphil/FaginH88,
  author    = {Ronald Fagin and
               Joseph Y. Halpern},
  title     = {I'm {OK} if you're {OK:} On the notion of trusting communication},
  journal   = {J. Philosophical Logic},
  volume    = {17},
  number    = {4},
  pages     = {329--354},
  year      = {1988},
  url       = {https://doi.org/10.1007/BF00297510},
  doi       = {10.1007/BF00297510},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jphil/FaginH88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/concur/HalpernF88,
  author    = {Joseph Y. Halpern and
               Ronald Fagin},
  title     = {Modelling Knowledge and Action in Distributed Systems},
  booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
               FRG, October 18-19, 1988, Proceedings},
  pages     = {18--32},
  year      = {1988},
  crossref  = {DBLP:conf/concur/1988},
  url       = {https://doi.org/10.1007/3-540-50403-6_29},
  doi       = {10.1007/3-540-50403-6_29},
  timestamp = {Fri, 19 May 2017 13:10:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/concur/HalpernF88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/AjtaiF88,
  author    = {Mikl{\'{o}}s Ajtai and
               Ronald Fagin},
  title     = {Reachability Is Harder for Directed than for Undirected Finite Graphs
               (Preliminary Version)},
  booktitle = {29th Annual Symposium on Foundations of Computer Science, White Plains,
               New York, USA, 24-26 October 1988},
  pages     = {358--367},
  year      = {1988},
  crossref  = {DBLP:conf/focs/FOCS29},
  url       = {https://doi.org/10.1109/SFCS.1988.21952},
  doi       = {10.1109/SFCS.1988.21952},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/AjtaiF88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lics/FaginHM88,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Nimrod Megiddo},
  title     = {A Logic for Reasoning about Probabilities},
  booktitle = {Proceedings of the Third Annual Symposium on Logic in Computer Science
               {(LICS} '88), Edinburgh, Scotland, UK, July 5-8, 1988},
  pages     = {410--421},
  year      = {1988},
  crossref  = {DBLP:conf/lics/1988},
  url       = {https://doi.org/10.1109/LICS.1988.5138},
  doi       = {10.1109/LICS.1988.5138},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lics/FaginHM88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tark/FaginH88,
  author    = {Ronald Fagin and
               Joseph Y. Halpern},
  title     = {Reasoning about Knowledge and Probability},
  booktitle = {Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning
               about Knowledge, Pacific Grove, CA, March 1988},
  pages     = {277--293},
  year      = {1988},
  crossref  = {DBLP:conf/tark/1988},
  timestamp = {Thu, 07 Mar 2002 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/tark/FaginH88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ai/FaginH87,
  author    = {Ronald Fagin and
               Joseph Y. Halpern},
  title     = {Belief, Awareness, and Limited Reasoning.},
  journal   = {Artif. Intell.},
  volume    = {34},
  number    = {1},
  pages     = {39--76},
  year      = {1987},
  url       = {https://doi.org/10.1016/0004-3702(87)90003-8},
  doi       = {10.1016/0004-3702(87)90003-8},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ai/FaginH87},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/SagivDPF87,
  author    = {Yehoshua Sagiv and
               Claude Delobel and
               Douglas Stott Parker Jr. and
               Ronald Fagin},
  title     = {Correction to "An equivalence between relational database dependencies
               and a fragment of propositional logic"},
  journal   = {J. {ACM}},
  volume    = {34},
  number    = {4},
  pages     = {1016--1018},
  year      = {1987},
  url       = {http://doi.acm.org/10.1145/31846.31853},
  doi       = {10.1145/31846.31853},
  timestamp = {Thu, 30 Mar 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jacm/SagivDPF87},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lics/FaginH87,
  author    = {Ronald Fagin and
               Joseph Y. Halpern},
  title     = {I'm {OK} if You're {OK:} On the Notion of Trusting Communication},
  booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
               '87), Ithaca, New York, USA, June 22-25, 1987},
  pages     = {280--292},
  year      = {1987},
  crossref  = {DBLP:conf/lics/1987},
  timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/lics/FaginH87},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/acr/FaginKUV86,
  author    = {Ronald Fagin and
               Gabriel M. Kuper and
               Jeffrey D. Ullman and
               Moshe Y. Vardi},
  title     = {Updating Logical Databases},
  journal   = {Advances in Computing Research},
  volume    = {3},
  pages     = {1--18},
  year      = {1986},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/acr/FaginKUV86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ipl/HanataniF86,
  author    = {Yoshito Hanatani and
               Ronald Fagin},
  title     = {A Simple Characterization of Database Dependency Implication},
  journal   = {Inf. Process. Lett.},
  volume    = {22},
  number    = {6},
  pages     = {281--283},
  year      = {1986},
  url       = {https://doi.org/10.1016/0020-0190(86)90066-9},
  doi       = {10.1016/0020-0190(86)90066-9},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ipl/HanataniF86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FagiHV86,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Moshe Y. Vardi},
  title     = {What Can Machines Know? On the Epistemic Properties of Machines},
  booktitle = {Proceedings of the 5th National Conference on Artificial Intelligence.
               Philadelphia, PA, August 11-15, 1986. Volume 1: Science.},
  pages     = {428--435},
  year      = {1986},
  crossref  = {DBLP:conf/aaai/1986-1},
  url       = {http://www.aaai.org/Library/AAAI/1986/aaai86-072.php},
  timestamp = {Wed, 12 Dec 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/FagiHV86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tark/FaginV86,
  author    = {Ronald Fagin and
               Moshe Y. Vardi},
  title     = {Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary
               Report},
  booktitle = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
               about Knowledge, Monterey, CA, March 1986},
  pages     = {187--206},
  year      = {1986},
  crossref  = {DBLP:conf/tark/1986},
  timestamp = {Tue, 05 Mar 2002 15:50:56 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/tark/FaginV86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jsc/BorodinFHT85,
  author    = {Allan Borodin and
               Ronald Fagin and
               John E. Hopcroft and
               Martin Tompa},
  title     = {Decreasing the Nesting Depth of Expressions Involving Square Roots},
  journal   = {J. Symb. Comput.},
  volume    = {1},
  number    = {2},
  pages     = {169--188},
  year      = {1985},
  url       = {https://doi.org/10.1016/S0747-7171(85)80013-4},
  doi       = {10.1016/S0747-7171(85)80013-4},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jsc/BorodinFHT85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/FaginKPS85,
  author    = {Ronald Fagin and
               Maria M. Klawe and
               Nicholas Pippenger and
               Larry J. Stockmeyer},
  title     = {Bounded-Depth, Polynomial-Size Circuits for Symmetric Functions},
  journal   = {Theor. Comput. Sci.},
  volume    = {36},
  pages     = {239--250},
  year      = {1985},
  url       = {https://doi.org/10.1016/0304-3975(85)90045-3},
  doi       = {10.1016/0304-3975(85)90045-3},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/FaginKPS85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FaginH85,
  author    = {Ronald Fagin and
               Joseph Y. Halpern},
  title     = {Belief, Awareness, and Limited Reasoning: Preliminary Report},
  booktitle = {Proceedings of the 9th International Joint Conference on Artificial
               Intelligence. Los Angeles, CA, USA, August 1985},
  pages     = {491--501},
  year      = {1985},
  crossref  = {DBLP:conf/ijcai/1985},
  url       = {http://ijcai.org/Proceedings/85-1/Papers/095.pdf},
  timestamp = {Tue, 19 Jul 2016 15:25:57 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ijcai/FaginH85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/podc/HalpernF85,
  author    = {Joseph Y. Halpern and
               Ronald Fagin},
  title     = {A Formal Model of Knowledge, Action, and Communication in Distributed
               Systems: Preliminary Report},
  booktitle = {Proceedings of the Fourth Annual {ACM} Symposium on Principles of
               Distributed Computing, Minaki, Ontario, Canada, August 5-7, 1985},
  pages     = {224--236},
  year      = {1985},
  crossref  = {DBLP:conf/podc/1985},
  url       = {http://doi.acm.org/10.1145/323596.323617},
  doi       = {10.1145/323596.323617},
  timestamp = {Wed, 23 May 2012 14:26:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/podc/HalpernF85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/FaginV85,
  author    = {Ronald Fagin and
               Moshe Y. Vardi},
  title     = {An Internal Semantics for Modal Logic: Preliminary Report},
  booktitle = {Proceedings of the 17th Annual {ACM} Symposium on Theory of Computing,
               May 6-8, 1985, Providence, Rhode Island, {USA}},
  pages     = {305--315},
  year      = {1985},
  crossref  = {DBLP:conf/stoc/STOC17},
  url       = {http://doi.acm.org/10.1145/22145.22179},
  doi       = {10.1145/22145.22179},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/FaginV85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/BeeriDFS84,
  author    = {Catriel Beeri and
               Martin Dowd and
               Ronald Fagin and
               Richard Statman},
  title     = {On the Structure of Armstrong Relations for Functional Dependencies},
  journal   = {J. {ACM}},
  volume    = {31},
  number    = {1},
  pages     = {30--46},
  year      = {1984},
  url       = {http://doi.acm.org/10.1145/2422.322414},
  doi       = {10.1145/2422.322414},
  timestamp = {Thu, 26 Jan 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jacm/BeeriDFS84},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/CasanovaFP84,
  author    = {Marco A. Casanova and
               Ronald Fagin and
               Christos H. Papadimitriou},
  title     = {Inclusion Dependencies and Their Interaction with Functional Dependencies},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {28},
  number    = {1},
  pages     = {29--59},
  year      = {1984},
  url       = {https://doi.org/10.1016/0022-0000(84)90075-8},
  doi       = {10.1016/0022-0000(84)90075-8},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/CasanovaFP84},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/FaginHV84,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Moshe Y. Vardi},
  title     = {A Model-Theoretic Analysis of Knowledge: Preliminary Report},
  booktitle = {25th Annual Symposium on Foundations of Computer Science, West Palm
               Beach, Florida, USA, 24-26 October 1984},
  pages     = {268--278},
  year      = {1984},
  crossref  = {DBLP:conf/focs/FOCS25},
  url       = {https://doi.org/10.1109/SFCS.1984.715925},
  doi       = {10.1109/SFCS.1984.715925},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FaginHV84},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FaginV84,
  author    = {Ronald Fagin and
               Moshe Y. Vardi},
  title     = {The Theory of Data Dependencies - An Overview},
  booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
               July 16-20, 1984, Proceedings},
  pages     = {1--22},
  year      = {1984},
  crossref  = {DBLP:conf/icalp/1984},
  url       = {https://doi.org/10.1007/3-540-13345-3_1},
  doi       = {10.1007/3-540-13345-3_1},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/FaginV84},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pods/84,
  editor    = {Daniel J. Rosenkrantz and
               Ronald Fagin},
  title     = {Proceedings of the Third {ACM} {SIGACT-SIGMOD} Symposium on Principles
               of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada},
  publisher = {{ACM}},
  year      = {1984},
  url       = {http://dl.acm.org/citation.cfm?id=588011},
  isbn      = {0-89791-128-8},
  timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/84},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ibmrd/FaginW83,
  author    = {Ronald Fagin and
               John H. Williams},
  title     = {A Fair Carpool Scheduling Algorithm},
  journal   = {{IBM} Journal of Research and Development},
  volume    = {27},
  number    = {2},
  pages     = {133--139},
  year      = {1983},
  url       = {https://doi.org/10.1147/rd.272.0133},
  doi       = {10.1147/rd.272.0133},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ibmrd/FaginW83},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ipl/FaginV83,
  author    = {Ronald Fagin and
               Moshe Y. Vardi},
  title     = {Armstrong Databases for Functional and Inclusion Dependencies},
  journal   = {Inf. Process. Lett.},
  volume    = {16},
  number    = {1},
  pages     = {13--19},
  year      = {1983},
  url       = {https://doi.org/10.1016/0020-0190(83)90005-4},
  doi       = {10.1016/0020-0190(83)90005-4},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ipl/FaginV83},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/BeeriFMY83,
  author    = {Catriel Beeri and
               Ronald Fagin and
               David Maier and
               Mihalis Yannakakis},
  title     = {On the Desirability of Acyclic Database Schemes},
  journal   = {J. {ACM}},
  volume    = {30},
  number    = {3},
  pages     = {479--513},
  year      = {1983},
  url       = {http://doi.acm.org/10.1145/2402.322389},
  doi       = {10.1145/2402.322389},
  timestamp = {Thu, 26 Jan 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jacm/BeeriFMY83},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/Fagin83,
  author    = {Ronald Fagin},
  title     = {Degrees of Acyclicity for Hypergraphs and Relational Database Schemes},
  journal   = {J. {ACM}},
  volume    = {30},
  number    = {3},
  pages     = {514--550},
  year      = {1983},
  url       = {http://doi.acm.org/10.1145/2402.322390},
  doi       = {10.1145/2402.322390},
  timestamp = {Thu, 26 Jan 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jacm/Fagin83},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/FaginMUY83,
  author    = {Ronald Fagin and
               David Maier and
               Jeffrey D. Ullman and
               Mihalis Yannakakis},
  title     = {Tools for Template Dependencies},
  journal   = {{SIAM} J. Comput.},
  volume    = {12},
  number    = {1},
  pages     = {36--59},
  year      = {1983},
  url       = {https://doi.org/10.1137/0212003},
  doi       = {10.1137/0212003},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/FaginMUY83},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/caap/Fagin83,
  author    = {Ronald Fagin},
  title     = {Acyclic Database Schemes (of Various Degrees): {A} Painless Introduction},
  booktitle = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
               Italy, March 9-11, 1983, Proceedings},
  pages     = {65--89},
  year      = {1983},
  crossref  = {DBLP:conf/caap/1983},
  url       = {https://doi.org/10.1007/3-540-12727-5_3},
  doi       = {10.1007/3-540-12727-5_3},
  timestamp = {Fri, 19 May 2017 12:26:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/caap/Fagin83},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginUV83,
  author    = {Ronald Fagin and
               Jeffrey D. Ullman and
               Moshe Y. Vardi},
  title     = {On the Semantics of Updates in Databases},
  booktitle = {Proceedings of the Second {ACM} {SIGACT-SIGMOD} Symposium on Principles
               of Database Systems, March 21-23, 1983, Colony Square Hotel, Atlanta,
               Georgia, {USA}},
  pages     = {352--365},
  year      = {1983},
  crossref  = {DBLP:conf/pods/83},
  url       = {http://doi.acm.org/10.1145/588058.588100},
  doi       = {10.1145/588058.588100},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/FaginUV83},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pods/83,
  editor    = {Ronald Fagin and
               Philip A. Bernstein},
  title     = {Proceedings of the Second {ACM} {SIGACT-SIGMOD} Symposium on Principles
               of Database Systems, March 21-23, 1983, Colony Square Hotel, Atlanta,
               Georgia, {USA}},
  publisher = {{ACM}},
  year      = {1983},
  url       = {http://dl.acm.org/citation.cfm?id=588058},
  isbn      = {0-89791-097-4},
  timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/83},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC15,
  editor    = {David S. Johnson and
               Ronald Fagin and
               Michael L. Fredman and
               David Harel and
               Richard M. Karp and
               Nancy A. Lynch and
               Christos H. Papadimitriou and
               Ronald L. Rivest and
               Walter L. Ruzzo and
               Joel I. Seiferas},
  title     = {Proceedings of the 15th Annual {ACM} Symposium on Theory of Computing,
               25-27 April, 1983, Boston, Massachusetts, {USA}},
  publisher = {{ACM}},
  year      = {1983},
  timestamp = {Mon, 17 Oct 2011 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/STOC15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/Fagin82,
  author    = {Ronald Fagin},
  title     = {Horn clauses and database dependencies},
  journal   = {J. {ACM}},
  volume    = {29},
  number    = {4},
  pages     = {952--985},
  year      = {1982},
  url       = {http://doi.acm.org/10.1145/322344.322347},
  doi       = {10.1145/322344.322347},
  timestamp = {Thu, 26 Jan 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jacm/Fagin82},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tods/FaginMU82,
  author    = {Ronald Fagin and
               Alberto O. Mendelzon and
               Jeffrey D. Ullman},
  title     = {A Simplified Universal Relation Assumption and Its Properties},
  journal   = {{ACM} Trans. Database Syst.},
  volume    = {7},
  number    = {3},
  pages     = {343--360},
  year      = {1982},
  url       = {http://doi.acm.org/10.1145/319732.319735},
  doi       = {10.1145/319732.319735},
  timestamp = {Thu, 30 Mar 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tods/FaginMU82},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pods/CasanovaFP82,
  author    = {Marco A. Casanova and
               Ronald Fagin and
               Christos H. Papadimitriou},
  title     = {Inclusion Dependencies and Their Interaction with Functional Dependencies},
  booktitle = {Proceedings of the {ACM} Symposium on Principles of Database Systems,
               March 29-31, 1982, Los Angeles, California, {USA}},
  pages     = {171--176},
  year      = {1982},
  crossref  = {DBLP:conf/pods/82},
  url       = {http://doi.acm.org/10.1145/588111.588141},
  doi       = {10.1145/588111.588141},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/CasanovaFP82},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/SagivDPF81,
  author    = {Yehoshua Sagiv and
               Claude Delobel and
               Douglas Stott Parker Jr. and
               Ronald Fagin},
  title     = {An Equivalence Between Relational Database Dependencies and a Fragment
               of Propositional Logic},
  journal   = {J. {ACM}},
  volume    = {28},
  number    = {3},
  pages     = {435--453},
  year      = {1981},
  url       = {http://doi.acm.org/10.1145/322261.322263},
  doi       = {10.1145/322261.322263},
  timestamp = {Thu, 26 Jan 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jacm/SagivDPF81},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/CarterF81,
  author    = {J. Lawrence Carter and
               Ronald Fagin},
  title     = {A Note on the Existence of Continuous Functionals},
  journal   = {Theor. Comput. Sci.},
  volume    = {16},
  pages     = {231--235},
  year      = {1981},
  url       = {https://doi.org/10.1016/0304-3975(81)90079-7},
  doi       = {10.1016/0304-3975(81)90079-7},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/CarterF81},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tods/Fagin81,
  author    = {Ronald Fagin},
  title     = {A Normal Form for Relational Databases That Is Based on Domians and
               Keys},
  journal   = {{ACM} Trans. Database Syst.},
  volume    = {6},
  number    = {3},
  pages     = {387--415},
  year      = {1981},
  url       = {http://doi.acm.org/10.1145/319587.319592},
  doi       = {10.1145/319587.319592},
  timestamp = {Thu, 30 Mar 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tods/Fagin81},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BeeriFMMUY81,
  author    = {Catriel Beeri and
               Ronald Fagin and
               David Maier and
               Alberto O. Mendelzon and
               Jeffrey D. Ullman and
               Mihalis Yannakakis},
  title     = {Properties of Acyclic Database Schemes},
  booktitle = {Proceedings of the 13th Annual {ACM} Symposium on Theory of Computing,
               May 11-13, 1981, Milwaukee, Wisconsin, {USA}},
  pages     = {355--362},
  year      = {1981},
  crossref  = {DBLP:conf/stoc/STOC13},
  url       = {http://doi.acm.org/10.1145/800076.802489},
  doi       = {10.1145/800076.802489},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/BeeriFMMUY81},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Fagin80,
  author    = {Ronald Fagin},
  title     = {Horn Clauses and Database Dependencies (Extended Abstract)},
  booktitle = {Proceedings of the 12th Annual {ACM} Symposium on Theory of Computing,
               April 28-30, 1980, Los Angeles, California, {USA}},
  pages     = {123--134},
  year      = {1980},
  crossref  = {DBLP:conf/stoc/STOC12},
  url       = {http://doi.acm.org/10.1145/800141.804660},
  doi       = {10.1145/800141.804660},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/Fagin80},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tods/FaginNPS79,
  author    = {Ronald Fagin and
               J{\"{u}}rg Nievergelt and
               Nicholas Pippenger and
               H. Raymond Strong},
  title     = {Extendible Hashing - {A} Fast Access Method for Dynamic Files},
  journal   = {{ACM} Trans. Database Syst.},
  volume    = {4},
  number    = {3},
  pages     = {315--344},
  year      = {1979},
  url       = {http://doi.acm.org/10.1145/320083.320092},
  doi       = {10.1145/320083.320092},
  timestamp = {Thu, 30 Mar 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tods/FaginNPS79},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/Fagin79,
  author    = {Ronald Fagin},
  title     = {Normal Forms and Relational Database Operators},
  booktitle = {Proceedings of the 1979 {ACM} {SIGMOD} International Conference on
               Management of Data, Boston, Massachusetts, May 30 - June 1.},
  pages     = {153--160},
  year      = {1979},
  crossref  = {DBLP:conf/sigmod/79},
  url       = {http://doi.acm.org/10.1145/582095.582120},
  doi       = {10.1145/582095.582120},
  timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sigmod/Fagin79},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cacm/EastonF78,
  author    = {Malcolm C. Easton and
               Ronald Fagin},
  title     = {Cold-Start vs. Warm-Start Miss Ratios},
  journal   = {Commun. {ACM}},
  volume    = {21},
  number    = {10},
  pages     = {866--872},
  year      = {1978},
  url       = {http://doi.acm.org/10.1145/359619.359634},
  doi       = {10.1145/359619.359634},
  timestamp = {Tue, 07 Jun 2011 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/cacm/EastonF78},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/FaginP78,
  author    = {Ronald Fagin and
               Thomas G. Price},
  title     = {Efficient Calculation of Expected Miss Ratios in the Independent Reference
               Model},
  journal   = {{SIAM} J. Comput.},
  volume    = {7},
  number    = {3},
  pages     = {288--297},
  year      = {1978},
  url       = {https://doi.org/10.1137/0207025},
  doi       = {10.1137/0207025},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/FaginP78},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tods/Fagin78,
  author    = {Ronald Fagin},
  title     = {On an Authorization Mechanism},
  journal   = {{ACM} Trans. Database Syst.},
  volume    = {3},
  number    = {3},
  pages     = {310--319},
  year      = {1978},
  url       = {http://doi.acm.org/10.1145/320263.320288},
  doi       = {10.1145/320263.320288},
  timestamp = {Wed, 25 Jan 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/tods/Fagin78},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/dm/Fagin77,
  author    = {Ronald Fagin},
  title     = {The number of finite relational structures},
  journal   = {Discrete Mathematics},
  volume    = {19},
  number    = {1},
  pages     = {17--21},
  year      = {1977},
  url       = {https://doi.org/10.1016/0012-365X(77)90116-9},
  doi       = {10.1016/0012-365X(77)90116-9},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/dm/Fagin77},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ibmrd/Fagin77,
  author    = {Ronald Fagin},
  title     = {Functional Dependencies in a Relational Data Base and Propositional
               Logic},
  journal   = {{IBM} Journal of Research and Development},
  volume    = {21},
  number    = {6},
  pages     = {543--544},
  year      = {1977},
  url       = {https://doi.org/10.1147/rd.216.0534},
  doi       = {10.1147/rd.216.0534},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ibmrd/Fagin77},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/Fagin77,
  author    = {Ronald Fagin},
  title     = {Asymptotic Miss Ratios over Independent References},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {14},
  number    = {2},
  pages     = {222--250},
  year      = {1977},
  url       = {https://doi.org/10.1016/S0022-0000(77)80014-7},
  doi       = {10.1016/S0022-0000(77)80014-7},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/Fagin77},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tods/Fagin77,
  author    = {Ronald Fagin},
  title     = {Multivalued Dependencies and a New Normal Form for Relational Databases},
  journal   = {{ACM} Trans. Database Syst.},
  volume    = {2},
  number    = {3},
  pages     = {262--278},
  year      = {1977},
  url       = {http://doi.acm.org/10.1145/320557.320571},
  doi       = {10.1145/320557.320571},
  timestamp = {Thu, 30 Mar 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tods/Fagin77},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/BeeriFH77,
  author    = {Catriel Beeri and
               Ronald Fagin and
               John H. Howard},
  title     = {A Complete Axiomatization for Functional and Multivalued Dependencies
               in Database Relations},
  booktitle = {Proceedings of the 1977 {ACM} {SIGMOD} International Conference on
               Management of Data, Toronto, Canada, August 3-5, 1977.},
  pages     = {47--61},
  year      = {1977},
  crossref  = {DBLP:conf/sigmod/77},
  url       = {http://doi.acm.org/10.1145/509404.509414},
  doi       = {10.1145/509404.509414},
  timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sigmod/BeeriFH77},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/vldb/Fagin77,
  author    = {Ronald Fagin},
  title     = {The Decomposition Versus Synthetic Approach to Relational Database
               Design},
  booktitle = {Proceedings of the Third International Conference on Very Large Data
               Bases, October 6-8, 1977, Tokyo, Japan.},
  pages     = {441--446},
  year      = {1977},
  crossref  = {DBLP:conf/vldb/77},
  timestamp = {Wed, 29 Mar 2017 16:45:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vldb/Fagin77},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cacm/Fagin76,
  author    = {Ronald Fagin},
  title     = {A Counterintuitive Example of Computer Paging},
  journal   = {Commun. {ACM}},
  volume    = {19},
  number    = {2},
  pages     = {96--97},
  year      = {1976},
  url       = {http://doi.acm.org/10.1145/359997.360012},
  doi       = {10.1145/359997.360012},
  timestamp = {Thu, 29 Nov 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/cacm/Fagin76},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/FaginE76,
  author    = {Ronald Fagin and
               Malcolm C. Easton},
  title     = {The independence of miss ratio on page size},
  journal   = {J. {ACM}},
  volume    = {23},
  number    = {1},
  pages     = {128--146},
  year      = {1976},
  url       = {http://doi.acm.org/10.1145/321921.321935},
  doi       = {10.1145/321921.321935},
  timestamp = {Thu, 26 Jan 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jacm/FaginE76},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jsyml/Fagin76,
  author    = {Ronald Fagin},
  title     = {Probabilities on Finite Models},
  journal   = {J. Symb. Log.},
  volume    = {41},
  number    = {1},
  pages     = {50--58},
  year      = {1976},
  url       = {https://doi.org/10.1017/S0022481200051756},
  doi       = {10.1017/S0022481200051756},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jsyml/Fagin76},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/mlq/Fagin75,
  author    = {Ronald Fagin},
  title     = {Monadic generalized spectra},
  journal   = {Math. Log. Q.},
  volume    = {21},
  number    = {1},
  pages     = {89--96},
  year      = {1975},
  url       = {https://doi.org/10.1002/malq.19750210112},
  doi       = {10.1002/malq.19750210112},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/mlq/Fagin75},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/mlq/Fagin75a,
  author    = {Ronald Fagin},
  title     = {A two-cardinal characterization of double spectra},
  journal   = {Math. Log. Q.},
  volume    = {21},
  number    = {1},
  pages     = {121--122},
  year      = {1975},
  url       = {https://doi.org/10.1002/malq.19750210116},
  doi       = {10.1002/malq.19750210116},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/mlq/Fagin75a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/mlq/Fagin75b,
  author    = {Ronald Fagin},
  title     = {A spectrum hierarchy},
  journal   = {Math. Log. Q.},
  volume    = {21},
  number    = {1},
  pages     = {123--134},
  year      = {1975},
  url       = {https://doi.org/10.1002/malq.19750210117},
  doi       = {10.1002/malq.19750210117},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/mlq/Fagin75b},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icdt/2017,
  editor    = {Michael Benedikt and
               Giorgio Orsi},
  title     = {20th International Conference on Database Theory, {ICDT} 2017, March
               21-24, 2017, Venice, Italy},
  series    = {LIPIcs},
  volume    = {68},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-024-8},
  isbn      = {978-3-95977-024-8},
  timestamp = {Mon, 20 Mar 2017 13:51:16 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/icdt/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pods/2016,
  editor    = {Tova Milo and
               Wang{-}Chiew Tan},
  title     = {Proceedings of the 35th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
               of Database Systems, {PODS} 2016, San Francisco, CA, USA, June 26
               - July 01, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2902251},
  doi       = {10.1145/2902251},
  isbn      = {978-1-4503-4191-2},
  timestamp = {Sat, 18 Jun 2016 14:40:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icdt/2015,
  editor    = {Marcelo Arenas and
               Mart{\'{\i}}n Ugarte},
  title     = {18th International Conference on Database Theory, {ICDT} 2015, March
               23-27, 2015, Brussels, Belgium},
  series    = {LIPIcs},
  volume    = {31},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2015},
  url       = {http://www.dagstuhl.de/dagpub/978-3-939897-79-8},
  isbn      = {978-3-939897-79-8},
  timestamp = {Tue, 05 Apr 2016 18:11:55 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icdt/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pods/2015,
  editor    = {Tova Milo and
               Diego Calvanese},
  title     = {Proceedings of the 34th {ACM} Symposium on Principles of Database
               Systems, {PODS} 2015, Melbourne, Victoria, Australia, May 31 - June
               4, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2745754},
  isbn      = {978-1-4503-2757-2},
  timestamp = {Sun, 24 May 2015 12:17:12 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icdt/2014,
  editor    = {Nicole Schweikardt and
               Vassilis Christophides and
               Vincent Leroy},
  title     = {Proc. 17th International Conference on Database Theory (ICDT), Athens,
               Greece, March 24-28, 2014},
  publisher = {OpenProceedings.org},
  year      = {2014},
  url       = {http://openproceedings.org/html/pages/2014_icdt.html},
  timestamp = {Tue, 01 Aug 2017 15:18:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icdt/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pods/2014,
  editor    = {Richard Hull and
               Martin Grohe},
  title     = {Proceedings of the 33rd {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
               Principles of Database Systems, PODS'14, Snowbird, UT, USA, June 22-27,
               2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2594538},
  isbn      = {978-1-4503-2375-8},
  timestamp = {Sun, 22 Jun 2014 11:31:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cikm/2013,
  editor    = {Qi He and
               Arun Iyengar and
               Wolfgang Nejdl and
               Jian Pei and
               Rajeev Rastogi},
  title     = {22nd {ACM} International Conference on Information and Knowledge Management,
               CIKM'13, San Francisco, CA, USA, October 27 - November 1, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2505515},
  isbn      = {978-1-4503-2263-8},
  timestamp = {Thu, 07 Nov 2013 11:16:05 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/cikm/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pods/2013,
  editor    = {Richard Hull and
               Wenfei Fan},
  title     = {Proceedings of the 32nd {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
               Principles of Database Systems, {PODS} 2013, New York, NY, {USA} -
               June 22 - 27, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2463664},
  isbn      = {978-1-4503-2066-5},
  timestamp = {Wed, 26 Jun 2013 09:51:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icdt/2012,
  editor    = {Alin Deutsch},
  title     = {15th International Conference on Database Theory, {ICDT} '12, Berlin,
               Germany, March 26-29, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2274576},
  isbn      = {978-1-4503-0791-8},
  timestamp = {Fri, 15 Jun 2012 15:12:09 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icdt/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pods/2012,
  editor    = {Michael Benedikt and
               Markus Kr{\"{o}}tzsch and
               Maurizio Lenzerini},
  title     = {Proceedings of the 31st {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
               Principles of Database Systems, {PODS} 2012, Scottsdale, AZ, USA,
               May 20-24, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2213556},
  isbn      = {978-1-4503-1248-6},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pods/2011,
  editor    = {Maurizio Lenzerini and
               Thomas Schwentick},
  title     = {Proceedings of the 30th {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
               Principles of Database Systems, {PODS} 2011, June 12-16, 2011, Athens,
               Greece},
  publisher = {{ACM}},
  year      = {2011},
  url       = {http://dl.acm.org/citation.cfm?id=1989284},
  isbn      = {978-1-4503-0660-7},
  timestamp = {Wed, 23 May 2012 16:53:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:books/sp/bellahsene11,
  editor    = {Zohra Bellahsene and
               Angela Bonifati and
               Erhard Rahm},
  title     = {Schema Matching and Mapping},
  series    = {Data-Centric Systems and Applications},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-16518-4},
  doi       = {10.1007/978-3-642-16518-4},
  isbn      = {978-3-642-16517-7},
  timestamp = {Tue, 16 May 2017 14:01:44 +0200},
  biburl    = {http://dblp.org/rec/bib/books/sp/bellahsene11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icdt/2010,
  editor    = {Luc Segoufin},
  title     = {Database Theory - {ICDT} 2010, 13th International Conference, Lausanne,
               Switzerland, March 23-25, 2010, Proceedings},
  series    = {{ACM} International Conference Proceeding Series},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-60558-947-3},
  timestamp = {Tue, 29 Jun 2010 07:03:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icdt/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pods/2010,
  editor    = {Jan Paredaens and
               Dirk Van Gucht},
  title     = {Proceedings of the Twenty-Ninth {ACM} {SIGMOD-SIGACT-SIGART} Symposium
               on Principles of Database Systems, {PODS} 2010, June 6-11, 2010, Indianapolis,
               Indiana, {USA}},
  publisher = {{ACM}},
  year      = {2010},
  url       = {http://dl.acm.org/citation.cfm?id=1807085},
  isbn      = {978-1-4503-0033-9},
  timestamp = {Wed, 23 May 2012 16:53:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/apccm/2009,
  editor    = {Markus Kirchberg and
               Sebastian Link},
  title     = {Conceptual Modelling 2009, Sixth Asia-Pacific Conference on Conceptual
               Modelling {(APCCM} 2009), Wellington, New Zealand, January 20-23 2009},
  series    = {{CRPIT}},
  volume    = {96},
  publisher = {Australian Computer Society},
  year      = {2009},
  isbn      = {978-1-920682-77-4},
  timestamp = {Mon, 04 May 2009 07:51:02 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/apccm/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2009mylopoulos,
  editor    = {Alexander Borgida and
               Vinay K. Chaudhri and
               Paolo Giorgini and
               Eric S. K. Yu},
  title     = {Conceptual Modeling: Foundations and Applications - Essays in Honor
               of John Mylopoulos},
  series    = {Lecture Notes in Computer Science},
  volume    = {5600},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02463-4},
  doi       = {10.1007/978-3-642-02463-4},
  isbn      = {978-3-642-02462-7},
  timestamp = {Tue, 23 May 2017 01:06:47 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/2009mylopoulos},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pods/2009,
  editor    = {Jan Paredaens and
               Jianwen Su},
  title     = {Proceedings of the Twenty-Eigth {ACM} {SIGMOD-SIGACT-SIGART} Symposium
               on Principles of Database Systems, {PODS} 2009, June 19 - July 1,
               2009, Providence, Rhode Island, {USA}},
  publisher = {{ACM}},
  year      = {2009},
  url       = {http://dl.acm.org/citation.cfm?id=1559795},
  isbn      = {978-1-60558-553-6},
  timestamp = {Wed, 23 May 2012 16:53:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:reference/db/2009,
  editor    = {Ling Liu and
               M. Tamer {\"{O}}zsu},
  title     = {Encyclopedia of Database Systems},
  publisher = {Springer {US}},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-0-387-39940-9},
  doi       = {10.1007/978-0-387-39940-9},
  isbn      = {978-0-387-35544-3},
  timestamp = {Fri, 09 Jun 2017 11:04:26 +0200},
  biburl    = {http://dblp.org/rec/bib/reference/db/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pods/2008,
  editor    = {Maurizio Lenzerini and
               Domenico Lembo},
  title     = {Proceedings of the Twenty-Seventh {ACM} {SIGMOD-SIGACT-SIGART} Symposium
               on Principles of Database Systems, {PODS} 2008, June 9-11, 2008, Vancouver,
               BC, Canada},
  publisher = {{ACM}},
  year      = {2008},
  url       = {http://dl.acm.org/citation.cfm?id=1376916},
  isbn      = {978-1-60558-108-8},
  timestamp = {Wed, 23 May 2012 16:53:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sigmod/2008,
  editor    = {Jason Tsong{-}Li Wang},
  title     = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
               of Data, {SIGMOD} 2008, Vancouver, BC, Canada, June 10-12, 2008},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-60558-102-6},
  timestamp = {Tue, 10 Jun 2008 07:10:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sigmod/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pods/2007,
  editor    = {Leonid Libkin},
  title     = {Proceedings of the Twenty-Sixth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, June 11-13, 2007, Beijing, China},
  publisher = {{ACM}},
  year      = {2007},
  url       = {http://dl.acm.org/citation.cfm?id=1265530},
  isbn      = {978-1-59593-685-1},
  timestamp = {Wed, 23 May 2012 16:53:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pods/2006,
  editor    = {Stijn Vansummeren},
  title     = {Proceedings of the Twenty-Fifth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois,
               {USA}},
  publisher = {{ACM}},
  year      = {2006},
  url       = {http://dl.acm.org/citation.cfm?id=1142351},
  isbn      = {1-59593-318-2},
  timestamp = {Wed, 23 May 2012 16:53:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pods/2005,
  editor    = {Chen Li},
  title     = {Proceedings of the Twenty-fourth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, June 13-15, 2005, Baltimore, Maryland,
               {USA}},
  publisher = {{ACM}},
  year      = {2005},
  url       = {http://dl.acm.org/citation.cfm?id=1065167},
  isbn      = {1-59593-062-0},
  timestamp = {Wed, 23 May 2012 16:53:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/vldb/2005,
  editor    = {Klemens B{\"{o}}hm and
               Christian S. Jensen and
               Laura M. Haas and
               Martin L. Kersten and
               Per{-}{\AA}ke Larson and
               Beng Chin Ooi},
  title     = {Proceedings of the 31st International Conference on Very Large Data
               Bases, Trondheim, Norway, August 30 - September 2, 2005},
  publisher = {{ACM}},
  year      = {2005},
  isbn      = {1-59593-154-6},
  timestamp = {Mon, 17 Sep 2012 22:07:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vldb/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pods/2004,
  editor    = {Catriel Beeri and
               Alin Deutsch},
  title     = {Proceedings of the Twenty-third {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, June 14-16, 2004, Paris, France},
  publisher = {{ACM}},
  year      = {2004},
  url       = {http://dl.acm.org/citation.cfm?id=1055558},
  isbn      = {1-58113-858-X},
  timestamp = {Wed, 23 May 2012 16:53:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icdt/2003,
  editor    = {Diego Calvanese and
               Maurizio Lenzerini and
               Rajeev Motwani},
  title     = {Database Theory - {ICDT} 2003, 9th International Conference, Siena,
               Italy, January 8-10, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2572},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36285-1},
  doi       = {10.1007/3-540-36285-1},
  isbn      = {3-540-00323-1},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icdt/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pods/2003,
  editor    = {Frank Neven and
               Catriel Beeri and
               Tova Milo},
  title     = {Proceedings of the Twenty-Second {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, June 9-12, 2003, San Diego, CA,
               {USA}},
  publisher = {{ACM}},
  year      = {2003},
  url       = {http://dl.acm.org/citation.cfm?id=773153},
  isbn      = {1-58113-670-6},
  timestamp = {Wed, 23 May 2012 16:53:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sigmod/2003,
  editor    = {Alon Y. Halevy and
               Zachary G. Ives and
               AnHai Doan},
  title     = {Proceedings of the 2003 {ACM} {SIGMOD} International Conference on
               Management of Data, San Diego, California, USA, June 9-12, 2003},
  publisher = {{ACM}},
  year      = {2003},
  isbn      = {1-58113-634-X},
  timestamp = {Tue, 17 Jun 2003 11:30:16 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sigmod/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/soda/2003,
  title     = {Proceedings of the Fourteenth Annual {ACM-SIAM} Symposium on Discrete
               Algorithms, January 12-14, 2003, Baltimore, Maryland, {USA}},
  publisher = {{ACM/SIAM}},
  year      = {2003},
  url       = {http://dl.acm.org/citation.cfm?id=644108},
  isbn      = {0-89871-538-5},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/www/2003,
  editor    = {Guszt{\'{a}}v Hencsey and
               Bebo White and
               Yih{-}Farn Robin Chen and
               L{\'{a}}szl{\'{o}} Kov{\'{a}}cs and
               Steve Lawrence},
  title     = {Proceedings of the Twelfth International World Wide Web Conference,
               {WWW} 2003, Budapest, Hungary, May 20-24, 2003},
  publisher = {{ACM}},
  year      = {2003},
  isbn      = {1-58113-680-3},
  timestamp = {Wed, 17 Jul 2013 16:59:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/www/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/vldb/2002,
  title     = {{VLDB} 2002, Proceedings of 28th International Conference on Very
               Large Data Bases, August 20-23, 2002, Hong Kong, China},
  publisher = {Morgan Kaufmann},
  year      = {2002},
  timestamp = {Mon, 17 Sep 2012 22:01:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vldb/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pods/2001,
  editor    = {Peter Buneman},
  title     = {Proceedings of the Twentieth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, May 21-23, 2001, Santa Barbara,
               California, {USA}},
  publisher = {{ACM}},
  year      = {2001},
  url       = {http://dl.acm.org/citation.cfm?id=375551},
  isbn      = {1-58113-361-8},
  timestamp = {Wed, 23 May 2012 16:53:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sigir/2001,
  editor    = {W. Bruce Croft and
               David J. Harper and
               Donald H. Kraft and
               Justin Zobel},
  title     = {{SIGIR} 2001: Proceedings of the 24th Annual International {ACM} {SIGIR}
               Conference on Research and Development in Information Retrieval, September
               9-13, 2001, New Orleans, Louisiana, {USA}},
  publisher = {{ACM}},
  year      = {2001},
  url       = {http://doi.acm.org/10.1145/383952},
  doi       = {10.1145/383952},
  isbn      = {1-58113-331-6},
  timestamp = {Wed, 08 Feb 2017 13:37:23 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sigir/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sigmod/2001,
  editor    = {Sharad Mehrotra and
               Timos K. Sellis},
  title     = {Proceedings of the 2001 {ACM} {SIGMOD} international conference on
               Management of data, Santa Barbara, CA, USA, May 21-24, 2001},
  publisher = {{ACM}},
  year      = {2001},
  isbn      = {1-58113-332-4},
  timestamp = {Fri, 14 Sep 2012 11:55:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sigmod/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lics/2000,
  title     = {15th Annual {IEEE} Symposium on Logic in Computer Science, Santa Barbara,
               California, USA, June 26-29, 2000},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6908},
  isbn      = {0-7695-0725-5},
  timestamp = {Fri, 21 Nov 2014 14:08:55 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/lics/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/riao/2000,
  editor    = {Joseph{-}Jean Mariani and
               Donna Harman},
  title     = {Computer-Assisted Information Retrieval (Recherche d'Information et
               ses Applications) - {RIAO} 2000, 6th International Conference, College
               de France, France, April 12-14, 2000. Proceedings},
  publisher = {{CID}},
  year      = {2000},
  isbn      = {2-905450-07-X},
  timestamp = {Fri, 18 Sep 2009 07:51:36 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/riao/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/2000,
  editor    = {F. Frances Yao and
               Eugene M. Luks},
  title     = {Proceedings of the Thirty-Second Annual {ACM} Symposium on Theory
               of Computing, May 21-23, 2000, Portland, OR, {USA}},
  publisher = {{ACM}},
  year      = {2000},
  isbn      = {1-58113-184-4},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pods/98,
  editor    = {Alberto O. Mendelzon and
               Jan Paredaens},
  title     = {Proceedings of the Seventeenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, June 1-3, 1998, Seattle, Washington,
               {USA}},
  publisher = {{ACM} Press},
  year      = {1998},
  url       = {http://dl.acm.org/citation.cfm?id=275487},
  isbn      = {0-89791-996-3},
  timestamp = {Wed, 29 Mar 2017 16:45:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/1998,
  editor    = {Jeffrey Scott Vitter},
  title     = {Proceedings of the Thirtieth Annual {ACM} Symposium on the Theory
               of Computing, Dallas, Texas, USA, May 23-26, 1998},
  publisher = {{ACM}},
  year      = {1998},
  isbn      = {0-89791-962-9},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/1998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/csl/1997,
  editor    = {Mogens Nielsen and
               Wolfgang Thomas},
  title     = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
               Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {1414},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0028003},
  doi       = {10.1007/BFb0028003},
  isbn      = {3-540-64570-5},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csl/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icdt/97,
  editor    = {Foto N. Afrati and
               Phokion G. Kolaitis},
  title     = {Database Theory - {ICDT} '97, 6th International Conference, Delphi,
               Greece, January 8-10, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1186},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-62222-5},
  doi       = {10.1007/3-540-62222-5},
  isbn      = {3-540-62222-5},
  timestamp = {Mon, 22 May 2017 16:14:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icdt/97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dimacs/1996,
  editor    = {Neil Immerman and
               Phokion G. Kolaitis},
  title     = {Descriptive Complexity and Finite Models, Proceedings of a {DIMACS}
               Workshop 1996, Princeton, New Jersey, USA, January 14-17, 1996},
  series    = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
  volume    = {31},
  publisher = {{DIMACS/AMS}},
  year      = {1996},
  url       = {http://dimacs.rutgers.edu/Volumes/Vol31.html},
  isbn      = {0-8218-0517-7},
  timestamp = {Mon, 14 Mar 2016 15:38:50 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dimacs/1996},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pods/96,
  editor    = {Richard Hull},
  title     = {Proceedings of the Fifteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, June 3-5, 1996, Montreal, Canada},
  publisher = {{ACM} Press},
  year      = {1996},
  url       = {http://dl.acm.org/citation.cfm?id=237661},
  isbn      = {0-89791-781-2},
  timestamp = {Wed, 29 Mar 2017 16:45:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sigmod/96,
  editor    = {H. V. Jagadish and
               Inderpal Singh Mumick},
  title     = {Proceedings of the 1996 {ACM} {SIGMOD} International Conference on
               Management of Data, Montreal, Quebec, Canada, June 4-6, 1996},
  publisher = {{ACM} Press},
  year      = {1996},
  timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sigmod/96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tark/1996,
  editor    = {Yoav Shoham},
  title     = {Proceedings of the Sixth Conference on Theoretical Aspects of Rationality
               and Knowledge, De Zeeuwse Stromen, The Netherlands, March 17-20 1996},
  publisher = {Morgan Kaufmann},
  year      = {1996},
  isbn      = {1-55860-417-0},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tark/1996},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/podc/1995,
  editor    = {James H. Anderson},
  title     = {Proceedings of the Fourteenth Annual {ACM} Symposium on Principles
               of Distributed Computing, Ottawa, Ontario, Canada, August 20-23, 1995},
  publisher = {{ACM}},
  year      = {1995},
  url       = {http://dl.acm.org/citation.cfm?id=224964},
  isbn      = {0-89791-710-3},
  timestamp = {Wed, 23 May 2012 14:26:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/podc/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ride/95,
  editor    = {Omran A. Bukhres and
               M. Tamer {\"{O}}zsu and
               Ming{-}Chien Shan},
  title     = {Proceedings {RIDE-DOM} '95, Fifth International Workshop on Research
               Issues in Data Engineering - Distributed Object Management, Taipei,
               Taiwan, March 6-7, 1995},
  publisher = {{IEEE} Computer Society},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=3029},
  isbn      = {0-8186-7056-8},
  timestamp = {Fri, 05 Jun 2015 23:31:01 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ride/95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/vdb/1995,
  editor    = {Stefano Spaccapietra and
               Ramesh Jain},
  title     = {Visual Database Systems 3, Visual Information Management, Proceedings
               of the third {IFIP} 2.6 working conference on visual database systems,
               March 27-29, 1995, Lausanne, Switzerland},
  series    = {{IFIP} Conference Proceedings},
  volume    = {34},
  publisher = {Chapman {\&} Hall},
  year      = {1995},
  isbn      = {0-412-72170-8},
  timestamp = {Thu, 03 Jan 2002 12:10:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/vdb/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aaai/1994-2,
  editor    = {Barbara Hayes{-}Roth and
               Richard E. Korf},
  title     = {Proceedings of the 12th National Conference on Artificial Intelligence,
               Seattle, WA, USA, July 31 - August 4, 1994, Volume 2},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {1994},
  url       = {http://www.aaai.org/Conferences/AAAI/aaai94.php},
  timestamp = {Mon, 15 Jun 2015 19:00:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/1994-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lcc/1994,
  editor    = {Daniel Leivant},
  title     = {Logical and Computational Complexity. Selected Papers. Logic and Computational
               Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
               USA, 13-16 October 1994},
  series    = {Lecture Notes in Computer Science},
  volume    = {960},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/3-540-60178-3},
  doi       = {10.1007/3-540-60178-3},
  isbn      = {3-540-60178-3},
  timestamp = {Sat, 20 May 2017 15:32:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lcc/1994},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/coco/1993,
  title     = {Proceedings of the Eigth Annual Structure in Complexity Theory Conference,
               San Diego, CA, USA, May 18-21, 1993},
  publisher = {{IEEE} Computer Society},
  year      = {1993},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=920},
  isbn      = {0-8186-4070-7},
  timestamp = {Fri, 13 May 2016 10:38:29 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/coco/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tark/1992,
  editor    = {Yoram Moses},
  title     = {Proceedings of the 4th Conference on Theoretical Aspects of Reasoning
               about Knowledge, Monterey, CA, March 1992},
  publisher = {Morgan Kaufmann},
  year      = {1992},
  isbn      = {1-55860-243-7},
  timestamp = {Tue, 05 Mar 2002 09:43:48 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/tark/1992},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aaai/1990,
  editor    = {Howard E. Shrobe and
               Thomas G. Dietterich and
               William R. Swartout},
  title     = {Proceedings of the 8th National Conference on Artificial Intelligence.
               Boston, Massachusetts, July 29 - August 3, 1990, 2 Volumes},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {1990},
  url       = {http://www.aaai.org/Conferences/AAAI/aaai90.php},
  isbn      = {0-262-51057-X},
  timestamp = {Thu, 01 Dec 2011 17:16:20 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/1990},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icdt/90,
  editor    = {Serge Abiteboul and
               Paris C. Kanellakis},
  title     = {ICDT'90, Third International Conference on Database Theory, Paris,
               France, December 12-14, 1990, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {470},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/3-540-53507-1},
  doi       = {10.1007/3-540-53507-1},
  isbn      = {3-540-53507-1},
  timestamp = {Fri, 19 May 2017 13:10:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icdt/90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/jcit/1990,
  editor    = {Joshua Maor and
               Abraham Peled},
  title     = {Next Decade in Information Technology: Proceedings of the 5th Jerusalem
               Conference on Information Technology 1990, Jerusalem, October 22-25,
               1990},
  publisher = {{IEEE}},
  year      = {1990},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=307},
  isbn      = {0-8186-2078-1},
  timestamp = {Wed, 08 Feb 2017 15:30:28 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/jcit/1990},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tark/1990,
  editor    = {Rohit Parikh},
  title     = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
               about Knowledge, Pacific Grove, CA, March 1990},
  publisher = {Morgan Kaufmann},
  year      = {1990},
  isbn      = {1-55860-105-8},
  timestamp = {Tue, 05 Mar 2002 10:10:27 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/tark/1990},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/uai/1990,
  editor    = {Piero P. Bonissone and
               Max Henrion and
               Laveen N. Kanal and
               John F. Lemmer},
  title     = {{UAI} '90: Proceedings of the Sixth Annual Conference on Uncertainty
               in Artificial Intelligence, MIT, Cambridge, MA, USA, July 27-29, 1990},
  publisher = {Elsevier},
  year      = {1991},
  isbn      = {0-444-89264-8},
  timestamp = {Thu, 15 Dec 2011 17:17:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/uai/1990},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcai/1989,
  editor    = {N. S. Sridharan},
  title     = {Proceedings of the 11th International Joint Conference on Artificial
               Intelligence. Detroit, MI, USA, August 1989},
  publisher = {Morgan Kaufmann},
  year      = {1989},
  url       = {http://ijcai.org/proceedings/1989-1},
  isbn      = {1-55860-094-9},
  timestamp = {Tue, 19 Jul 2016 13:32:40 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ijcai/1989},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/concur/1988,
  editor    = {Friedrich H. Vogt},
  title     = {Concurrency 88: International Conference on Concurrency, Hamburg,
               FRG, October 18-19, 1988, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {335},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/3-540-50403-6},
  doi       = {10.1007/3-540-50403-6},
  isbn      = {3-540-50403-6},
  timestamp = {Fri, 19 May 2017 13:10:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/concur/1988},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS29,
  title     = {29th Annual Symposium on Foundations of Computer Science, White Plains,
               New York, USA, 24-26 October 1988},
  publisher = {{IEEE} Computer Society},
  year      = {1988},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=219},
  isbn      = {0-8186-0877-3},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS29},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lics/1988,
  title     = {Proceedings of the Third Annual Symposium on Logic in Computer Science
               {(LICS} '88), Edinburgh, Scotland, UK, July 5-8, 1988},
  publisher = {{IEEE} Computer Society},
  year      = {1988},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=203},
  isbn      = {0-8186-0853-6},
  timestamp = {Fri, 21 Nov 2014 14:08:55 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/lics/1988},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tark/1988,
  editor    = {Moshe Y. Vardi},
  title     = {Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning
               about Knowledge, Pacific Grove, CA, March 1988},
  publisher = {Morgan Kaufmann},
  year      = {1988},
  isbn      = {0-934613-66-4},
  timestamp = {Tue, 05 Mar 2002 10:42:28 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/tark/1988},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lics/1987,
  title     = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
               '87), Ithaca, New York, USA, June 22-25, 1987},
  publisher = {{IEEE} Computer Society},
  year      = {1987},
  timestamp = {Tue, 19 Nov 2013 18:10:37 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/lics/1987},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aaai/1986-1,
  editor    = {Tom Kehler},
  title     = {Proceedings of the 5th National Conference on Artificial Intelligence.
               Philadelphia, PA, August 11-15, 1986. Volume 1: Science},
  publisher = {Morgan Kaufmann},
  year      = {1986},
  url       = {http://www.aaai.org/Conferences/AAAI/aaai86.php},
  timestamp = {Thu, 01 Dec 2011 17:16:20 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/1986-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tark/1986,
  editor    = {Joseph Y. Halpern},
  title     = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
               about Knowledge, Monterey, CA, March 1986},
  publisher = {Morgan Kaufmann},
  year      = {1986},
  isbn      = {0-934613-04-4},
  timestamp = {Tue, 05 Mar 2002 15:50:56 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/tark/1986},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcai/1985,
  editor    = {Aravind K. Joshi},
  title     = {Proceedings of the 9th International Joint Conference on Artificial
               Intelligence. Los Angeles, CA, USA, August 1985},
  publisher = {Morgan Kaufmann},
  year      = {1985},
  url       = {http://ijcai.org/proceedings/1985-1},
  timestamp = {Tue, 19 Jul 2016 15:25:57 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ijcai/1985},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/podc/1985,
  editor    = {Michael A. Malcolm and
               H. Raymond Strong},
  title     = {Proceedings of the Fourth Annual {ACM} Symposium on Principles of
               Distributed Computing, Minaki, Ontario, Canada, August 5-7, 1985},
  publisher = {{ACM}},
  year      = {1985},
  url       = {http://dl.acm.org/citation.cfm?id=323596},
  isbn      = {0-89791-167-9},
  timestamp = {Wed, 23 May 2012 14:26:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/podc/1985},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC17,
  editor    = {Robert Sedgewick},
  title     = {Proceedings of the 17th Annual {ACM} Symposium on Theory of Computing,
               May 6-8, 1985, Providence, Rhode Island, {USA}},
  publisher = {{ACM}},
  year      = {1985},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/STOC17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS25,
  title     = {25th Annual Symposium on Foundations of Computer Science, West Palm
               Beach, Florida, USA, 24-26 October 1984},
  publisher = {{IEEE} Computer Society},
  year      = {1984},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5813},
  isbn      = {0-8186-0591-X},
  timestamp = {Mon, 15 Dec 2014 18:48:45 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS25},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/1984,
  editor    = {Jan Paredaens},
  title     = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
               July 16-20, 1984, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {172},
  publisher = {Springer},
  year      = {1984},
  url       = {https://doi.org/10.1007/3-540-13345-3},
  doi       = {10.1007/3-540-13345-3},
  isbn      = {3-540-13345-3},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/1984},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/caap/1983,
  editor    = {Giorgio Ausiello and
               Marco Protasi},
  title     = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
               Italy, March 9-11, 1983, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {159},
  publisher = {Springer},
  year      = {1983},
  url       = {https://doi.org/10.1007/3-540-12727-5},
  doi       = {10.1007/3-540-12727-5},
  isbn      = {3-540-12727-5},
  timestamp = {Fri, 19 May 2017 12:26:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/caap/1983},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pods/83,
  editor    = {Ronald Fagin and
               Philip A. Bernstein},
  title     = {Proceedings of the Second {ACM} {SIGACT-SIGMOD} Symposium on Principles
               of Database Systems, March 21-23, 1983, Colony Square Hotel, Atlanta,
               Georgia, {USA}},
  publisher = {{ACM}},
  year      = {1983},
  url       = {http://dl.acm.org/citation.cfm?id=588058},
  isbn      = {0-89791-097-4},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/83},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pods/82,
  editor    = {Jeffrey D. Ullman and
               Alfred V. Aho},
  title     = {Proceedings of the {ACM} Symposium on Principles of Database Systems,
               March 29-31, 1982, Los Angeles, California, {USA}},
  publisher = {{ACM}},
  year      = {1982},
  url       = {http://dl.acm.org/citation.cfm?id=588111},
  isbn      = {0-89791-070-2},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pods/82},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC13,
  title     = {Proceedings of the 13th Annual {ACM} Symposium on Theory of Computing,
               May 11-13, 1981, Milwaukee, Wisconsin, {USA}},
  publisher = {{ACM}},
  year      = {1981},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/STOC13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC12,
  editor    = {Raymond E. Miller and
               Seymour Ginsburg and
               Walter A. Burkhard and
               Richard J. Lipton},
  title     = {Proceedings of the 12th Annual {ACM} Symposium on Theory of Computing,
               April 28-30, 1980, Los Angeles, California, {USA}},
  publisher = {{ACM}},
  year      = {1980},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/STOC12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sigmod/79,
  editor    = {Philip A. Bernstein},
  title     = {Proceedings of the 1979 {ACM} {SIGMOD} International Conference on
               Management of Data, Boston, Massachusetts, May 30 - June 1},
  publisher = {{ACM}},
  year      = {1979},
  isbn      = {0-89791-001-X},
  timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sigmod/79},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sigmod/77,
  editor    = {Diane C. P. Smith},
  title     = {Proceedings of the 1977 {ACM} {SIGMOD} International Conference on
               Management of Data, Toronto, Canada, August 3-5, 1977},
  publisher = {{ACM}},
  year      = {1977},
  timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sigmod/77},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/vldb/77,
  title     = {Proceedings of the Third International Conference on Very Large Data
               Bases, October 6-8, 1977, Tokyo, Japan},
  publisher = {{IEEE} Computer Society},
  year      = {1977},
  timestamp = {Wed, 29 Mar 2017 16:45:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vldb/77},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier