BibTeX records: Ronald Fagin

download as .bib file

@article{DBLP:journals/corr/abs-2402-10293,
  author       = {Marco Carmosino and
                  Ronald Fagin and
                  Neil Immerman and
                  Phokion G. Kolaitis and
                  Jonathan Lenchner and
                  Rik Sengupta and
                  R. Ryan Williams},
  title        = {Parallel Play Saves Quantifiers},
  journal      = {CoRR},
  volume       = {abs/2402.10293},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2402.10293},
  doi          = {10.48550/ARXIV.2402.10293},
  eprinttype    = {arXiv},
  eprint       = {2402.10293},
  timestamp    = {Mon, 26 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2402-10293.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FaginKL0S23,
  author       = {Ronald Fagin and
                  Phokion G. Kolaitis and
                  Domenico Lembo and
                  Lucian Popa and
                  Federico Scafoglieri},
  editor       = {Pierre Marquis and
                  Tran Cao Son and
                  Gabriele Kern{-}Isberner},
  title        = {A Framework for Combining Entity Resolution and Query Answering in
                  Knowledge Bases},
  booktitle    = {Proceedings of the 20th International Conference on Principles of
                  Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
                  September 2-8, 2023},
  pages        = {229--239},
  year         = {2023},
  url          = {https://doi.org/10.24963/kr.2023/23},
  doi          = {10.24963/KR.2023/23},
  timestamp    = {Tue, 05 Sep 2023 14:50:36 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/FaginKL0S23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-13329,
  author       = {Marco Carmosino and
                  Ronald Fagin and
                  Neil Immerman and
                  Phokion G. Kolaitis and
                  Jonathan Lenchner and
                  Rik Sengupta},
  title        = {A Finer Analysis of Multi-Structural Games and Beyond},
  journal      = {CoRR},
  volume       = {abs/2301.13329},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2301.13329},
  doi          = {10.48550/ARXIV.2301.13329},
  eprinttype    = {arXiv},
  eprint       = {2301.13329},
  timestamp    = {Thu, 02 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2301-13329.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-07469,
  author       = {Ronald Fagin and
                  Phokion G. Kolaitis and
                  Domenico Lembo and
                  Lucian Popa and
                  Federico Scafoglieri},
  title        = {A Framework for Combining Entity Resolution and Query Answering in
                  Knowledge Bases},
  journal      = {CoRR},
  volume       = {abs/2303.07469},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2303.07469},
  doi          = {10.48550/ARXIV.2303.07469},
  eprinttype    = {arXiv},
  eprint       = {2303.07469},
  timestamp    = {Mon, 20 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-07469.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FaginLVW22,
  author       = {Ronald Fagin and
                  Jonathan Lenchner and
                  Nikhil Vyas and
                  R. Ryan Williams},
  editor       = {Stefan Szeider and
                  Robert Ganian and
                  Alexandra Silva},
  title        = {On the Number of Quantifiers as a Complexity Measure},
  booktitle    = {47th International Symposium on Mathematical Foundations of Computer
                  Science, {MFCS} 2022, August 22-26, 2022, Vienna, Austria},
  series       = {LIPIcs},
  volume       = {241},
  pages        = {48:1--48:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.MFCS.2022.48},
  doi          = {10.4230/LIPICS.MFCS.2022.48},
  timestamp    = {Mon, 26 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/FaginLVW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-00104,
  author       = {Ronald Fagin and
                  Jonathan Lenchner and
                  Nikhil Vyas and
                  Ryan Williams},
  title        = {On the Number of Quantifiers as a Complexity Measure},
  journal      = {CoRR},
  volume       = {abs/2207.00104},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2207.00104},
  doi          = {10.48550/ARXIV.2207.00104},
  eprinttype    = {arXiv},
  eprint       = {2207.00104},
  timestamp    = {Wed, 06 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-00104.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AhmetajEFKLO021,
  author       = {Shqiponja Ahmetaj and
                  Vasilis Efthymiou and
                  Ronald Fagin and
                  Phokion G. Kolaitis and
                  Chuan Lei and
                  Fatma {\"{O}}zcan and
                  Lucian Popa},
  title        = {Ontology-Enriched Query Answering on Relational Databases},
  booktitle    = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2021, Thirty-Third Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
                  2021},
  pages        = {15247--15254},
  publisher    = {{AAAI} Press},
  year         = {2021},
  url          = {https://doi.org/10.1609/aaai.v35i17.17789},
  doi          = {10.1609/AAAI.V35I17.17789},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/AhmetajEFKLO021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FaginLR021,
  author       = {Ronald Fagin and
                  Jonathan Lenchner and
                  Kenneth W. Regan and
                  Nikhil Vyas},
  title        = {Multi-Structural Games and Number of Quantifiers},
  booktitle    = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                  2021, Rome, Italy, June 29 - July 2, 2021},
  pages        = {1--13},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/LICS52264.2021.9470756},
  doi          = {10.1109/LICS52264.2021.9470756},
  timestamp    = {Fri, 09 Jul 2021 14:04:16 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/FaginLR021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/FaginGPVALSPS21,
  author       = {Ronald Fagin and
                  Georg Gottlob and
                  Christos H. Papadimitriou and
                  Moshe Y. Vardi and
                  Giorgio Ausiello and
                  Maurizio Lenzerini and
                  Domenico Sacc{\`{a}} and
                  Luigi Palopoli and
                  Francesco Scarcello},
  editor       = {Sergio Greco and
                  Maurizio Lenzerini and
                  Elio Masciari and
                  Andrea Tagarelli},
  title        = {Panel on "Past and Future of Computer Science Theory" (Discussion
                  Paper)},
  booktitle    = {Proceedings of the 29th Italian Symposium on Advanced Database Systems,
                  {SEBD} 2021, Pizzo Calabro (VV), Italy, September 5-9, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2994},
  pages        = {531--542},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2994/panel.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:20 +0100},
  biburl       = {https://dblp.org/rec/conf/sebd/FaginGPVALSPS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-14709,
  author       = {Ronald Fagin and
                  Jonathan Lenchner and
                  Kenneth W. Regan and
                  Nikhil Vyas},
  title        = {Multi-Structural Games and Number of Quantifiers},
  journal      = {CoRR},
  volume       = {abs/2104.14709},
  year         = {2021},
  url          = {https://arxiv.org/abs/2104.14709},
  eprinttype    = {arXiv},
  eprint       = {2104.14709},
  timestamp    = {Fri, 07 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2104-14709.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-13155,
  author       = {Ryan Riegel and
                  Alexander G. Gray and
                  Francois P. S. Luus and
                  Naweed Khan and
                  Ndivhuwo Makondo and
                  Ismail Yunus Akhalwaya and
                  Haifeng Qian and
                  Ronald Fagin and
                  Francisco Barahona and
                  Udit Sharma and
                  Shajith Ikbal and
                  Hima Karanam and
                  Sumit Neelam and
                  Ankita Likhyani and
                  Santosh K. Srivastava},
  title        = {Logical Neural Networks},
  journal      = {CoRR},
  volume       = {abs/2006.13155},
  year         = {2020},
  url          = {https://arxiv.org/abs/2006.13155},
  eprinttype    = {arXiv},
  eprint       = {2006.13155},
  timestamp    = {Wed, 01 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-13155.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-02429,
  author       = {Ronald Fagin and
                  Ryan Riegel and
                  Alexander G. Gray},
  title        = {Foundations of Reasoning with Uncertainty via Real-valued Logics},
  journal      = {CoRR},
  volume       = {abs/2008.02429},
  year         = {2020},
  url          = {https://arxiv.org/abs/2008.02429},
  eprinttype    = {arXiv},
  eprint       = {2008.02429},
  timestamp    = {Fri, 07 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-02429.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BurdickFKPT19,
  author       = {Douglas Burdick and
                  Ronald Fagin and
                  Phokion G. Kolaitis and
                  Lucian Popa and
                  Wang{-}Chiew Tan},
  title        = {Expressive power of entity-linking frameworks},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {100},
  pages        = {44--69},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.jcss.2018.09.001},
  doi          = {10.1016/J.JCSS.2018.09.001},
  timestamp    = {Wed, 26 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/BurdickFKPT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/PeterfreundCFK19,
  author       = {Liat Peterfreund and
                  Balder ten Cate and
                  Ronald Fagin and
                  Benny Kimelfeld},
  editor       = {Pablo Barcel{\'{o}} and
                  Marco Calautti},
  title        = {Recursive Programs for Document Spanners},
  booktitle    = {22nd International Conference on Database Theory, {ICDT} 2019, March
                  26-28, 2019, Lisbon, Portugal},
  series       = {LIPIcs},
  volume       = {127},
  pages        = {13:1--13:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.ICDT.2019.13},
  doi          = {10.4230/LIPICS.ICDT.2019.13},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/icdt/PeterfreundCFK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Fagin18,
  author       = {Ronald Fagin},
  editor       = {Ling Liu and
                  M. Tamer {\"{O}}zsu},
  title        = {Equality-Generating Dependencies},
  booktitle    = {Encyclopedia of Database Systems, Second Edition},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-1-4614-8265-9\_1273},
  doi          = {10.1007/978-1-4614-8265-9\_1273},
  timestamp    = {Thu, 14 Feb 2019 09:43:36 +0100},
  biburl       = {https://dblp.org/rec/reference/db/Fagin18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Fagin18a,
  author       = {Ronald Fagin},
  editor       = {Ling Liu and
                  M. Tamer {\"{O}}zsu},
  title        = {Score Aggregation},
  booktitle    = {Encyclopedia of Database Systems, Second Edition},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-1-4614-8265-9\_80678},
  doi          = {10.1007/978-1-4614-8265-9\_80678},
  timestamp    = {Thu, 14 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/reference/db/Fagin18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Fagin18b,
  author       = {Ronald Fagin},
  editor       = {Ling Liu and
                  M. Tamer {\"{O}}zsu},
  title        = {Tuple-Generating Dependencies},
  booktitle    = {Encyclopedia of Database Systems, Second Edition},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-1-4614-8265-9\_1274},
  doi          = {10.1007/978-1-4614-8265-9\_1274},
  timestamp    = {Thu, 14 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/reference/db/Fagin18b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/BurdickFKPT17,
  author       = {Douglas Burdick and
                  Ronald Fagin and
                  Phokion G. Kolaitis and
                  Lucian Popa and
                  Wang Chiew Tan},
  editor       = {Michael Benedikt and
                  Giorgio Orsi},
  title        = {Expressive Power of Entity-Linking Frameworks},
  booktitle    = {20th International Conference on Database Theory, {ICDT} 2017, March
                  21-24, 2017, Venice, Italy},
  series       = {LIPIcs},
  volume       = {68},
  pages        = {10:1--10:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.ICDT.2017.10},
  doi          = {10.4230/LIPICS.ICDT.2017.10},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/icdt/BurdickFKPT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-08198,
  author       = {Liat Peterfreund and
                  Balder ten Cate and
                  Ronald Fagin and
                  Benny Kimelfeld},
  title        = {Recursive Programs for Document Spanners},
  journal      = {CoRR},
  volume       = {abs/1712.08198},
  year         = {2017},
  url          = {http://arxiv.org/abs/1712.08198},
  eprinttype    = {arXiv},
  eprint       = {1712.08198},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1712-08198.bib},
  bibsource    = {dblp computer science bibliography, https://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. Discret. Math.},
  volume       = {30},
  number       = {4},
  pages        = {1978--1996},
  year         = {2016},
  url          = {https://doi.org/10.1137/15M1046915},
  doi          = {10.1137/15M1046915},
  timestamp    = {Mon, 08 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/siamdm/FaginKMSV16.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/2877202},
  doi          = {10.1145/2877202},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tods/FaginKRV16.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/2894748},
  doi          = {10.1145/2894748},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tods/BurdickFKPT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Fagin16,
  author       = {Ronald Fagin},
  editor       = {Tova Milo and
                  Wang{-}Chiew Tan},
  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},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2902251.2902308},
  doi          = {10.1145/2902251.2902308},
  timestamp    = {Tue, 06 Nov 2018 16:58:02 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/Fagin16.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/2699442},
  doi          = {10.1145/2699442},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/FaginKRV15.bib},
  bibsource    = {dblp computer science bibliography, https://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} Rec.},
  volume       = {44},
  number       = {4},
  pages        = {5--16},
  year         = {2015},
  url          = {https://doi.org/10.1145/2935694.2935696},
  doi          = {10.1145/2935694.2935696},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigmod/FaginKRV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/BurdickFKPT15,
  author       = {Douglas Burdick and
                  Ronald Fagin and
                  Phokion G. Kolaitis and
                  Lucian Popa and
                  Wang Chiew Tan},
  editor       = {Marcelo Arenas and
                  Mart{\'{\i}}n Ugarte},
  title        = {A Declarative Framework for Linking Entities},
  booktitle    = {18th International Conference on Database Theory, {ICDT} 2015, March
                  23-27, 2015, Brussels, Belgium},
  series       = {LIPIcs},
  volume       = {31},
  pages        = {25--43},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ICDT.2015.25},
  doi          = {10.4230/LIPICS.ICDT.2015.25},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/icdt/BurdickFKPT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginKK15,
  author       = {Ronald Fagin and
                  Benny Kimelfeld and
                  Phokion G. Kolaitis},
  editor       = {Tova Milo and
                  Diego Calvanese},
  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},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2745754.2745762},
  doi          = {10.1145/2745754.2745762},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/FaginKK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/BenediktFM14,
  author       = {Michael Benedikt and
                  Ronald Fagin and
                  Wim Martens},
  editor       = {Nicole Schweikardt and
                  Vassilis Christophides and
                  Vincent Leroy},
  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},
  publisher    = {OpenProceedings.org},
  year         = {2014},
  url          = {https://doi.org/10.5441/002/icdt.2014.27},
  doi          = {10.5441/002/ICDT.2014.27},
  timestamp    = {Tue, 16 Jan 2018 17:46:10 +0100},
  biburl       = {https://dblp.org/rec/conf/icdt/BenediktFM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginKRV14,
  author       = {Ronald Fagin and
                  Benny Kimelfeld and
                  Frederick Reiss and
                  Stijn Vansummeren},
  editor       = {Richard Hull and
                  Martin Grohe},
  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},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2594538.2594540},
  doi          = {10.1145/2594538.2594540},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/FaginKRV14.bib},
  bibsource    = {dblp computer science bibliography, https://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    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/ArenasBFL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/Fagin13,
  author       = {Ronald Fagin},
  editor       = {Qi He and
                  Arun Iyengar and
                  Wolfgang Nejdl and
                  Jian Pei and
                  Rajeev Rastogi},
  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},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2505515.2523611},
  doi          = {10.1145/2505515.2523611},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cikm/Fagin13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginKRV13,
  author       = {Ronald Fagin and
                  Benny Kimelfeld and
                  Frederick Reiss and
                  Stijn Vansummeren},
  editor       = {Richard Hull and
                  Wenfei Fan},
  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},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2463664.2463665},
  doi          = {10.1145/2463664.2463665},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/FaginKRV13.bib},
  bibsource    = {dblp computer science bibliography, https://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},
  eprinttype    = {arXiv},
  eprint       = {1304.1119},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-1119.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/DarwenDF12,
  author       = {Hugh Darwen and
                  C. J. Date and
                  Ronald Fagin},
  editor       = {Alin Deutsch},
  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},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2274576.2274589},
  doi          = {10.1145/2274576.2274589},
  timestamp    = {Sat, 15 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdt/DarwenDF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginK12,
  author       = {Ronald Fagin and
                  Phokion G. Kolaitis},
  editor       = {Michael Benedikt and
                  Markus Kr{\"{o}}tzsch and
                  Maurizio Lenzerini},
  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},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2213556.2213583},
  doi          = {10.1145/2213556.2213583},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/FaginK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-3745,
  author       = {Marcelo Arenas and
                  Ronald Fagin and
                  Alan Nash},
  title        = {Composition with Target Constraints},
  journal      = {Log. Methods Comput. Sci.},
  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    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1106-3745.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/1989727.1989729},
  doi          = {10.1145/1989727.1989729},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/FaginKK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/AtseriasBCFGR11,
  author       = {Albert Atserias and
                  Mikolaj Bojanczyk and
                  Balder ten Cate and
                  Ronald Fagin and
                  Floris Geerts and
                  Kenneth A. 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    = {Fri, 08 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/AtseriasBCFGR11.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/1966385.1966389},
  doi          = {10.1145/1966385.1966389},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tods/FaginKPT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginKLRV11,
  author       = {Ronald Fagin and
                  Benny Kimelfeld and
                  Yunyao Li and
                  Sriram Raghavan and
                  Shivakumar Vaithyanathan},
  editor       = {Maurizio Lenzerini and
                  Thomas Schwentick},
  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},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1989284.1989322},
  doi          = {10.1145/1989284.1989322},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/FaginKLRV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/bellahsene2011/FaginKPT11,
  author       = {Ronald Fagin and
                  Phokion G. Kolaitis and
                  Lucian Popa and
                  Wang Chiew Tan},
  editor       = {Zohra Bellahsene and
                  Angela Bonifati and
                  Erhard Rahm},
  title        = {Schema Mapping Evolution Through Composition and Inversion},
  booktitle    = {Schema Matching and Mapping},
  series       = {Data-Centric Systems and Applications},
  pages        = {191--222},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-16518-4\_7},
  doi          = {10.1007/978-3-642-16518-4\_7},
  timestamp    = {Fri, 02 Nov 2018 09:27:04 +0100},
  biburl       = {https://dblp.org/rec/books/sp/bellahsene2011/FaginKPT11.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/1857914.1857915},
  doi          = {10.1145/1857914.1857915},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/FaginN10.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/1870103.1870105},
  doi          = {10.1145/1870103.1870105},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/EvfimievskiFW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/FaginKK10,
  author       = {Ronald Fagin and
                  Benny Kimelfeld and
                  Phokion G. Kolaitis},
  editor       = {Luc Segoufin},
  title        = {Probabilistic data exchange},
  booktitle    = {Database Theory - {ICDT} 2010, 13th International Conference, Lausanne,
                  Switzerland, March 23-25, 2010, Proceedings},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {76--88},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1804669.1804681},
  doi          = {10.1145/1804669.1804681},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdt/FaginKK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/ArenasFN10,
  author       = {Marcelo Arenas and
                  Ronald Fagin and
                  Alan Nash},
  editor       = {Luc Segoufin},
  title        = {Composition with target constraints},
  booktitle    = {Database Theory - {ICDT} 2010, 13th International Conference, Lausanne,
                  Switzerland, March 23-25, 2010, Proceedings},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {129--142},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1804669.1804687},
  doi          = {10.1145/1804669.1804687},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdt/ArenasFN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginKLRV10,
  author       = {Ronald Fagin and
                  Benny Kimelfeld and
                  Yunyao Li and
                  Sriram Raghavan and
                  Shivakumar Vaithyanathan},
  editor       = {Jan Paredaens and
                  Dirk Van Gucht},
  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},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1807085.1807121},
  doi          = {10.1145/1807085.1807121},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/FaginKLRV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apccm/Fagin09,
  author       = {Ronald Fagin},
  editor       = {Markus Kirchberg and
                  Sebastian Link},
  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},
  series       = {{CRPIT}},
  volume       = {96},
  pages        = {3},
  publisher    = {Australian Computer Society},
  year         = {2009},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV96Fagin.html},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apccm/Fagin09.bib},
  bibsource    = {dblp computer science bibliography, https://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},
  editor       = {Alexander Borgida and
                  Vinay K. Chaudhri and
                  Paolo Giorgini and
                  Eric S. K. Yu},
  title        = {Clio: Schema Mapping Creation and Data Exchange},
  booktitle    = {Conceptual Modeling: Foundations and Applications - Essays in Honor
                  of John Mylopoulos},
  series       = {Lecture Notes in Computer Science},
  volume       = {5600},
  pages        = {198--236},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02463-4\_12},
  doi          = {10.1007/978-3-642-02463-4\_12},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/FaginHHMPV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginKPT09,
  author       = {Ronald Fagin and
                  Phokion G. Kolaitis and
                  Lucian Popa and
                  Wang Chiew Tan},
  editor       = {Jan Paredaens and
                  Jianwen Su},
  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},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1559795.1559800},
  doi          = {10.1145/1559795.1559800},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/FaginKPT09.bib},
  bibsource    = {dblp computer science bibliography, https://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       = {https://dblp.org/rec/conf/icdt/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Fagin09,
  author       = {Ronald Fagin},
  editor       = {Ling Liu and
                  M. Tamer {\"{O}}zsu},
  title        = {Equality-Generating Dependencies},
  booktitle    = {Encyclopedia of Database Systems},
  pages        = {1009--1010},
  publisher    = {Springer {US}},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-0-387-39940-9\_1273},
  doi          = {10.1007/978-0-387-39940-9\_1273},
  timestamp    = {Sun, 02 Jun 2019 21:10:27 +0200},
  biburl       = {https://dblp.org/rec/reference/db/Fagin09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Fagin09a,
  author       = {Ronald Fagin},
  editor       = {Ling Liu and
                  M. Tamer {\"{O}}zsu},
  title        = {Tuple-Generating Dependencies},
  booktitle    = {Encyclopedia of Database Systems},
  pages        = {3201--3202},
  publisher    = {Springer {US}},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-0-387-39940-9\_1274},
  doi          = {10.1007/978-0-387-39940-9\_1274},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/db/Fagin09a.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/1366102.1366108},
  doi          = {10.1145/1366102.1366108},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tods/FaginKPT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginKNP08,
  author       = {Ronald Fagin and
                  Phokion G. Kolaitis and
                  Alan Nash and
                  Lucian Popa},
  editor       = {Maurizio Lenzerini and
                  Domenico Lembo},
  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},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1376916.1376922},
  doi          = {10.1145/1376916.1376922},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/FaginKNP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/EvfimievskiFW08,
  author       = {Alexandre V. Evfimievski and
                  Ronald Fagin and
                  David P. Woodruff},
  editor       = {Maurizio Lenzerini and
                  Domenico Lembo},
  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},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1376916.1376941},
  doi          = {10.1145/1376916.1376941},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/EvfimievskiFW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/AndoniFKPS08,
  author       = {Alexandr Andoni and
                  Ronald Fagin and
                  Ravi Kumar and
                  Mihai P{u{a}}tra{c{s}}cu and
                  D. Sivakumar},
  editor       = {Jason Tsong{-}Li Wang},
  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},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1376616.1376778},
  doi          = {10.1145/1376616.1376778},
  timestamp    = {Tue, 16 Aug 2022 23:04:20 +0200},
  biburl       = {https://dblp.org/rec/conf/sigmod/AndoniFKPS08.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/1292609.1292615},
  doi          = {10.1145/1292609.1292615},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tods/Fagin07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginKPT07,
  author       = {Ronald Fagin and
                  Phokion G. Kolaitis and
                  Lucian Popa and
                  Wang Chiew Tan},
  editor       = {Leonid Libkin},
  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},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1265530.1265548},
  doi          = {10.1145/1265530.1265548},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/FaginKPT07.bib},
  bibsource    = {dblp computer science bibliography, https://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. Discret. Math.},
  volume       = {20},
  number       = {3},
  pages        = {628--648},
  year         = {2006},
  url          = {https://doi.org/10.1137/05063088X},
  doi          = {10.1137/05063088X},
  timestamp    = {Mon, 08 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/siamdm/FaginKMSV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Fagin06,
  author       = {Ronald Fagin},
  editor       = {Stijn Vansummeren},
  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},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1142351.1142359},
  doi          = {10.1145/1142351.1142359},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/Fagin06.bib},
  bibsource    = {dblp computer science bibliography, https://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    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FaginKMP05.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/1061318.1061323},
  doi          = {10.1145/1061318.1061323},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tods/FaginKP05.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/1114244.1114249},
  doi          = {10.1145/1114244.1114249},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tods/FaginKPT05.bib},
  bibsource    = {dblp computer science bibliography, https://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},
  editor       = {Chen Li},
  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},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1065167.1065191},
  doi          = {10.1145/1065167.1065191},
  timestamp    = {Mon, 08 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/FaginGKNST05.bib},
  bibsource    = {dblp computer science bibliography, https://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},
  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        = {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},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {http://www.vldb.org/archives/website/2005/program/paper/fri/p958-fagin.pdf},
  timestamp    = {Mon, 08 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vldb/FaginKKNST05.bib},
  bibsource    = {dblp computer science bibliography, https://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       = {https://dblp.org/rec/conf/stoc/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginKSMV04,
  author       = {Ronald Fagin and
                  Ravi Kumar and
                  Mohammad Mahdian and
                  D. Sivakumar and
                  Erik Vee},
  editor       = {Catriel Beeri and
                  Alin Deutsch},
  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},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1055558.1055568},
  doi          = {10.1145/1055558.1055568},
  timestamp    = {Mon, 08 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/FaginKSMV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginPKT04,
  author       = {Ronald Fagin and
                  Phokion G. Kolaitis and
                  Lucian Popa and
                  Wang Chiew Tan},
  editor       = {Catriel Beeri and
                  Alin Deutsch},
  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},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1055558.1055572},
  doi          = {10.1145/1055558.1055572},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/FaginPKT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/ArenasBLF04,
  author       = {Marcelo Arenas and
                  Pablo Barcel{\'{o}} and
                  Ronald Fagin and
                  Leonid Libkin},
  editor       = {Catriel Beeri and
                  Alin Deutsch},
  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},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1055558.1055592},
  doi          = {10.1145/1055558.1055592},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pods/ArenasBLF04.bib},
  bibsource    = {dblp computer science bibliography, https://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    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/FaginLN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/FaginKS03,
  author       = {Ronald Fagin and
                  Ravi Kumar and
                  D. Sivakumar},
  title        = {Comparing Top k Lists},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {17},
  number       = {1},
  pages        = {134--160},
  year         = {2003},
  url          = {https://doi.org/10.1137/S0895480102412856},
  doi          = {10.1137/S0895480102412856},
  timestamp    = {Fri, 23 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamdm/FaginKS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/FaginKMP03,
  author       = {Ronald Fagin and
                  Phokion G. Kolaitis and
                  Ren{\'{e}}e J. Miller and
                  Lucian Popa},
  editor       = {Diego Calvanese and
                  Maurizio Lenzerini and
                  Rajeev Motwani},
  title        = {Data Exchange: Semantics and Query Answering},
  booktitle    = {Database Theory - {ICDT} 2003, 9th International Conference, Siena,
                  Italy, January 8-10, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2572},
  pages        = {207--224},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36285-1\_14},
  doi          = {10.1007/3-540-36285-1\_14},
  timestamp    = {Thu, 02 Jan 2020 12:13:44 +0100},
  biburl       = {https://dblp.org/rec/conf/icdt/FaginKMP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginKP03,
  author       = {Ronald Fagin and
                  Phokion G. Kolaitis and
                  Lucian Popa},
  editor       = {Frank Neven and
                  Catriel Beeri and
                  Tova Milo},
  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},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/773153.773163},
  doi          = {10.1145/773153.773163},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/FaginKP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/FaginKS03,
  author       = {Ronald Fagin and
                  Ravi Kumar and
                  D. Sivakumar},
  editor       = {Alon Y. Halevy and
                  Zachary G. Ives and
                  AnHai Doan},
  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},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/872757.872795},
  doi          = {10.1145/872757.872795},
  timestamp    = {Thu, 11 Mar 2021 15:20:15 +0100},
  biburl       = {https://dblp.org/rec/conf/sigmod/FaginKS03.bib},
  bibsource    = {dblp computer science bibliography, https://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},
  publisher    = {{ACM/SIAM}},
  year         = {2003},
  url          = {http://dl.acm.org/citation.cfm?id=644108.644113},
  timestamp    = {Mon, 08 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/soda/FaginKS03.bib},
  bibsource    = {dblp computer science bibliography, https://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},
  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        = {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},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/775152.775204},
  doi          = {10.1145/775152.775204},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/www/FaginKMNSTW03.bib},
  bibsource    = {dblp computer science bibliography, https://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    = {Tue, 10 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/debu/AndritsosFFHHHKMNPVVY02.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/567112.567116},
  doi          = {10.1145/567112.567116},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/AjtaiBFLS02.bib},
  bibsource    = {dblp computer science bibliography, https://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    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/CharikarFGKRS02.bib},
  bibsource    = {dblp computer science bibliography, https://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    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/CowenFKK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/Fagin02,
  author       = {Ronald Fagin},
  title        = {Combining Fuzzy Information: an Overview},
  journal      = {{SIGMOD} Rec.},
  volume       = {31},
  number       = {2},
  pages        = {109--118},
  year         = {2002},
  url          = {https://doi.org/10.1145/565117.565143},
  doi          = {10.1145/565117.565143},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigmod/Fagin02.bib},
  bibsource    = {dblp computer science bibliography, https://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    = {Proceedings of 28th International Conference on Very Large Data Bases,
                  {VLDB} 2002, Hong Kong, August 20-23, 2002},
  pages        = {598--609},
  publisher    = {Morgan Kaufmann},
  year         = {2002},
  url          = {http://www.vldb.org/conf/2002/S17P02.pdf},
  doi          = {10.1016/B978-155860869-6/50059-7},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vldb/PopaVMHF02.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://arxiv.org/abs/cs/0204046},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DB-0204046.bib},
  bibsource    = {dblp computer science bibliography, https://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} Rec.},
  volume       = {30},
  number       = {1},
  pages        = {78--83},
  year         = {2001},
  url          = {https://doi.org/10.1145/373626.373713},
  doi          = {10.1145/373626.373713},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigmod/MillerHHYHFP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginLN01,
  author       = {Ronald Fagin and
                  Amnon Lotem and
                  Moni Naor},
  editor       = {Peter Buneman},
  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}},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/375551.375567},
  doi          = {10.1145/375551.375567},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/FaginLN01.bib},
  bibsource    = {dblp computer science bibliography, https://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},
  editor       = {W. Bruce Croft and
                  David J. Harper and
                  Donald H. Kraft and
                  Justin Zobel},
  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},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/383952.383958},
  doi          = {10.1145/383952.383958},
  timestamp    = {Tue, 06 Nov 2018 11:07:24 +0100},
  biburl       = {https://dblp.org/rec/conf/sigir/SofferCCFFHM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/YanMHF01,
  author       = {Ling{-}Ling Yan and
                  Ren{\'{e}}e J. Miller and
                  Laura M. Haas and
                  Ronald Fagin},
  editor       = {Sharad Mehrotra and
                  Timos K. Sellis},
  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},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/375663.375729},
  doi          = {10.1145/375663.375729},
  timestamp    = {Fri, 12 Mar 2021 14:14:34 +0100},
  biburl       = {https://dblp.org/rec/conf/sigmod/YanMHF01.bib},
  bibsource    = {dblp computer science bibliography, https://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    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/AjtaiFS00.bib},
  bibsource    = {dblp computer science bibliography, https://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    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FaginW00.bib},
  bibsource    = {dblp computer science bibliography, https://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},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/LICS.2000.855750},
  doi          = {10.1109/LICS.2000.855750},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Fagin00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/riao/FaginM00,
  author       = {Ronald Fagin and
                  Yo{\"{e}}lle S. Maarek},
  editor       = {Joseph{-}Jean Mariani and
                  Donna Harman},
  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},
  publisher    = {{CID}},
  year         = {2000},
  url          = {https://dl.acm.org/doi/10.5555/2835865.2835936},
  doi          = {10.5555/2835865.2835936},
  timestamp    = {Wed, 04 May 2022 13:02:27 +0200},
  biburl       = {https://dblp.org/rec/conf/riao/FaginM00.bib},
  bibsource    = {dblp computer science bibliography, https://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},
  editor       = {F. Frances Yao and
                  Eugene M. Luks},
  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},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/335305.335362},
  doi          = {10.1145/335305.335362},
  timestamp    = {Tue, 14 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/stoc/FaginKKRRRST00.bib},
  bibsource    = {dblp computer science bibliography, https://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},
  editor       = {F. Frances Yao and
                  Eugene M. Luks},
  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},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/335305.335382},
  doi          = {10.1145/335305.335382},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/stoc/CharikarFGKRS00.bib},
  bibsource    = {dblp computer science bibliography, https://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. Log.},
  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    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/FaginHMV99.bib},
  bibsource    = {dblp computer science bibliography, https://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       = {https://dblp.org/rec/journals/ijgt/FaginGHV99.bib},
  bibsource    = {dblp computer science bibliography, https://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    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Fagin99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcv/FaginS98,
  author       = {Ronald Fagin and
                  Larry J. Stockmeyer},
  title        = {Relaxing the Triangle Inequality in Pattern Matching},
  journal      = {Int. J. Comput. Vis.},
  volume       = {30},
  number       = {3},
  pages        = {219--231},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1008023416823},
  doi          = {10.1023/A:1008023416823},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijcv/FaginS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Fagin98,
  author       = {Ronald Fagin},
  editor       = {Alberto O. Mendelzon and
                  Jan Paredaens},
  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},
  publisher    = {{ACM} Press},
  year         = {1998},
  url          = {https://doi.org/10.1145/275487.275488},
  doi          = {10.1145/275487.275488},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/Fagin98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/AjtaiFS98,
  author       = {Mikl{\'{o}}s Ajtai and
                  Ronald Fagin and
                  Larry J. Stockmeyer},
  editor       = {Jeffrey Scott Vitter},
  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},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/276698.276771},
  doi          = {10.1145/276698.276771},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/stoc/AjtaiFS98.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://arxiv.org/abs/cs/9809003},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-9809003.bib},
  bibsource    = {dblp computer science bibliography, https://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 Comput.},
  volume       = {10},
  number       = {4},
  pages        = {199--225},
  year         = {1997},
  url          = {https://doi.org/10.1007/s004460050038},
  doi          = {10.1007/S004460050038},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/FaginHMV97.bib},
  bibsource    = {dblp computer science bibliography, https://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 Mach.},
  volume       = {7},
  number       = {1},
  pages        = {113},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1008278827378},
  doi          = {10.1023/A:1008278827378},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mima/FaginHMV97.bib},
  bibsource    = {dblp computer science bibliography, https://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       = {https://dblp.org/rec/journals/mlq/Fagin97.bib},
  bibsource    = {dblp computer science bibliography, https://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    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AroraF97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/DurandFL97,
  author       = {Arnaud Durand and
                  Ronald Fagin and
                  Bernd Loescher},
  editor       = {Mogens Nielsen and
                  Wolfgang Thomas},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {1414},
  pages        = {189--202},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0028015},
  doi          = {10.1007/BFB0028015},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/DurandFL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/FaginW97,
  author       = {Ronald Fagin and
                  Edward L. Wimmers},
  editor       = {Foto N. Afrati and
                  Phokion G. Kolaitis},
  title        = {Incorporating User Preferences in Multimedia Queries},
  booktitle    = {Database Theory - {ICDT} '97, 6th International Conference, Delphi,
                  Greece, January 8-10, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1186},
  pages        = {247--261},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-62222-5\_49},
  doi          = {10.1007/3-540-62222-5\_49},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/icdt/FaginW97.bib},
  bibsource    = {dblp computer science bibliography, https://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       = {https://dblp.org/rec/journals/algorithmica/ChoyFS96.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/229459.229469},
  doi          = {10.1145/229459.229469},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/FaginNW96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/Fagin96,
  author       = {Ronald Fagin},
  editor       = {Neil Immerman and
                  Phokion G. Kolaitis},
  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},
  series       = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
  volume       = {31},
  pages        = {1--32},
  publisher    = {{DIMACS/AMS}},
  year         = {1996},
  url          = {https://doi.org/10.1090/dimacs/031/01},
  doi          = {10.1090/DIMACS/031/01},
  timestamp    = {Mon, 22 May 2023 16:07:35 +0200},
  biburl       = {https://dblp.org/rec/conf/dimacs/Fagin96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Fagin96,
  author       = {Ronald Fagin},
  editor       = {Richard Hull},
  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},
  publisher    = {{ACM} Press},
  year         = {1996},
  url          = {https://doi.org/10.1145/237661.237715},
  doi          = {10.1145/237661.237715},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/Fagin96.bib},
  bibsource    = {dblp computer science bibliography, https://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},
  editor       = {H. V. Jagadish and
                  Inderpal Singh Mumick},
  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},
  publisher    = {{ACM} Press},
  year         = {1996},
  url          = {https://doi.org/10.1145/233269.280363},
  doi          = {10.1145/233269.280363},
  timestamp    = {Tue, 16 Aug 2022 23:04:20 +0200},
  biburl       = {https://dblp.org/rec/conf/sigmod/RothAHCCFSTW96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/FaginHMV96,
  author       = {Ronald Fagin and
                  Joseph Y. Halpern and
                  Yoram Moses and
                  Moshe Y. Vardi},
  editor       = {Yoav Shoham},
  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},
  publisher    = {Morgan Kaufmann},
  year         = {1996},
  timestamp    = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl       = {https://dblp.org/rec/conf/tark/FaginHMV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/lib/Fagin95,
  author       = {Ronald Fagin},
  title        = {Reasoning about knowledge},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://www.worldcat.org/oclc/31413117},
  isbn         = {0262061627},
  timestamp    = {Fri, 17 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/lib/Fagin95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/mit/FHMV1995,
  author       = {Ronald Fagin and
                  Joseph Y. Halpern and
                  Yoram Moses and
                  Moshe Y. Vardi},
  title        = {Reasoning About Knowledge},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://doi.org/10.7551/mitpress/5803.001.0001},
  doi          = {10.7551/MITPRESS/5803.001.0001},
  isbn         = {9780262562003},
  timestamp    = {Tue, 18 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mit/FHMV1995.bib},
  bibsource    = {dblp computer science bibliography, https://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       = {https://dblp.org/rec/journals/ai/FaginHV95.bib},
  bibsource    = {dblp computer science bibliography, https://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    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/FaginSV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/FaginHMV95,
  author       = {Ronald Fagin and
                  Joseph Y. Halpern and
                  Yoram Moses and
                  Moshe Y. Vardi},
  editor       = {James H. Anderson},
  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},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/224964.224982},
  doi          = {10.1145/224964.224982},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/FaginHMV95.bib},
  bibsource    = {dblp computer science bibliography, https://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},
  editor       = {Omran A. Bukhres and
                  M. Tamer {\"{O}}zsu and
                  Ming{-}Chien Shan},
  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},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/RIDE.1995.378736},
  doi          = {10.1109/RIDE.1995.378736},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ride/CareyHSACFFLNPTWW95.bib},
  bibsource    = {dblp computer science bibliography, https://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},
  editor       = {Stefano Spaccapietra and
                  Ramesh C. Jain},
  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},
  series       = {{IFIP} Conference Proceedings},
  volume       = {34},
  pages        = {17--35},
  publisher    = {Chapman {\&} Hall},
  year         = {1995},
  timestamp    = {Sat, 26 Oct 2019 12:05:29 +0200},
  biburl       = {https://dblp.org/rec/conf/vdb/CodyHNACFFLPSTRWW95.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/174652.174658},
  doi          = {10.1145/174652.174658},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/FaginH94.bib},
  bibsource    = {dblp computer science bibliography, https://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       = {https://dblp.org/rec/journals/jsyml/Fagin94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FaginHMV94,
  author       = {Ronald Fagin and
                  Joseph Y. Halpern and
                  Yoram Moses and
                  Moshe Y. Vardi},
  editor       = {Barbara Hayes{-}Roth and
                  Richard E. Korf},
  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},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1994},
  url          = {http://www.aaai.org/Library/AAAI/1994/aaai94-176.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/FaginHMV94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/Fagin94,
  author       = {Ronald Fagin},
  editor       = {Daniel Leivant},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {960},
  pages        = {414--425},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60178-3\_95},
  doi          = {10.1007/3-540-60178-3\_95},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/lcc/Fagin94.bib},
  bibsource    = {dblp computer science bibliography, https://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       = {https://dblp.org/rec/conf/tark/1994.bib},
  bibsource    = {dblp computer science bibliography, https://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} Rec.},
  volume       = {22},
  number       = {1},
  pages        = {57--58},
  year         = {1993},
  url          = {https://doi.org/10.1145/156883.156891},
  doi          = {10.1145/156883.156891},
  timestamp    = {Sat, 15 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigmod/DateF93.bib},
  bibsource    = {dblp computer science bibliography, https://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    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Fagin93.bib},
  bibsource    = {dblp computer science bibliography, https://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},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/SCT.1993.336544},
  doi          = {10.1109/SCT.1993.336544},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coco/FaginSV93.bib},
  bibsource    = {dblp computer science bibliography, https://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    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/HalpernF92.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/128749.150945},
  doi          = {10.1145/128749.150945},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/FaginHV92.bib},
  bibsource    = {dblp computer science bibliography, https://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       = {https://dblp.org/rec/journals/jsyml/FaginHV92.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/132271.132274},
  doi          = {10.1145/132271.132274},
  timestamp    = {Sat, 15 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tods/DateF92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/FaginGHV92,
  author       = {Ronald Fagin and
                  John Geanakoplos and
                  Joseph Y. Halpern and
                  Moshe Y. Vardi},
  editor       = {Yoram Moses},
  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, USA, March 1992},
  pages        = {229--244},
  publisher    = {Morgan Kaufmann},
  year         = {1992},
  timestamp    = {Thu, 21 Jun 2018 07:51:09 +0200},
  biburl       = {https://dblp.org/rec/conf/tark/FaginGHV92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/FaginH91,
  author       = {Ronald Fagin and
                  Joseph Y. Halpern},
  title        = {Uncertainty, belief, and probability},
  journal      = {Comput. Intell.},
  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    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ci/FaginH91.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/103516.128680},
  doi          = {10.1145/103516.128680},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/FaginHV91.bib},
  bibsource    = {dblp computer science bibliography, https://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    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/FaginHM90.bib},
  bibsource    = {dblp computer science bibliography, https://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       = {https://dblp.org/rec/journals/jsyml/AjtaiF90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HalpernF90,
  author       = {Joseph Y. Halpern and
                  Ronald Fagin},
  editor       = {Howard E. Shrobe and
                  Thomas G. Dietterich and
                  William R. Swartout},
  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, USA, July 29 - August 3, 1990, 2 Volumes},
  pages        = {112--119},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1990},
  url          = {http://www.aaai.org/Library/AAAI/1990/aaai90-017.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/HalpernF90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/Fagin90,
  author       = {Ronald Fagin},
  editor       = {Serge Abiteboul and
                  Paris C. Kanellakis},
  title        = {Finite-Model Theory - a Personal Perspective},
  booktitle    = {ICDT'90, Third International Conference on Database Theory, Paris,
                  France, December 12-14, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {470},
  pages        = {3--24},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53507-1\_67},
  doi          = {10.1007/3-540-53507-1\_67},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/icdt/Fagin90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jcit/FaginHV90,
  author       = {Ronald Fagin and
                  Joseph Y. Halpern and
                  Moshe Y. Vardi},
  editor       = {Joshua Maor and
                  Abraham Peled},
  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},
  publisher    = {{IEEE} Computer Society},
  year         = {1990},
  url          = {https://doi.org/10.1109/JCIT.1990.128310},
  doi          = {10.1109/JCIT.1990.128310},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jcit/FaginHV90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/FaginHV90,
  author       = {Ronald Fagin and
                  Joseph Y. Halpern and
                  Moshe Y. Vardi},
  editor       = {Rohit Parikh},
  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, USA, March 1990},
  pages        = {41--55},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  timestamp    = {Thu, 21 Jun 2018 07:50:57 +0200},
  biburl       = {https://dblp.org/rec/conf/tark/FaginHV90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/FaginH90,
  author       = {Ronald Fagin and
                  Joseph Y. Halpern},
  editor       = {Piero P. Bonissone and
                  Max Henrion and
                  Laveen N. Kanal and
                  John F. Lemmer},
  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},
  publisher    = {Elsevier},
  year         = {1990},
  url          = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=1924\&\#38;proceeding\_id=1006},
  timestamp    = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uai/FaginH90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/HalpernF89,
  author       = {Joseph Y. Halpern and
                  Ronald Fagin},
  title        = {Modelling Knowledge and Action in Distributed Systems},
  journal      = {Distributed Comput.},
  volume       = {3},
  number       = {4},
  pages        = {159--177},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01784885},
  doi          = {10.1007/BF01784885},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/HalpernF89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FaginH89,
  author       = {Ronald Fagin and
                  Joseph Y. Halpern},
  editor       = {N. S. Sridharan},
  title        = {Uncertainty, Belief, and Probability},
  booktitle    = {Proceedings of the 11th International Joint Conference on Artificial
                  Intelligence. Detroit, MI, USA, August 1989},
  pages        = {1161--1167},
  publisher    = {Morgan Kaufmann},
  year         = {1989},
  url          = {http://ijcai.org/Proceedings/89-2/Papers/050.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:17:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FaginH89.bib},
  bibsource    = {dblp computer science bibliography, https://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. Philos. Log.},
  volume       = {17},
  number       = {4},
  pages        = {329--354},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00297510},
  doi          = {10.1007/BF00297510},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/FaginH88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HalpernF88,
  author       = {Joseph Y. Halpern and
                  Ronald Fagin},
  editor       = {Friedrich H. Vogt},
  title        = {Modelling Knowledge and Action in Distributed Systems},
  booktitle    = {Concurrency 88: International Conference on Concurrency, Hamburg,
                  FRG, October 18-19, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {335},
  pages        = {18--32},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50403-6\_29},
  doi          = {10.1007/3-540-50403-6\_29},
  timestamp    = {Fri, 17 Jul 2020 16:12:46 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/HalpernF88.bib},
  bibsource    = {dblp computer science bibliography, https://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},
  publisher    = {{IEEE} Computer Society},
  year         = {1988},
  url          = {https://doi.org/10.1109/SFCS.1988.21952},
  doi          = {10.1109/SFCS.1988.21952},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/AjtaiF88.bib},
  bibsource    = {dblp computer science bibliography, https://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},
  publisher    = {{IEEE} Computer Society},
  year         = {1988},
  url          = {https://doi.org/10.1109/LICS.1988.5138},
  doi          = {10.1109/LICS.1988.5138},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/FaginHM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/FaginH88,
  author       = {Ronald Fagin and
                  Joseph Y. Halpern},
  editor       = {Moshe Y. Vardi},
  title        = {Reasoning about Knowledge and Probability},
  booktitle    = {Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1988},
  pages        = {277--293},
  publisher    = {Morgan Kaufmann},
  year         = {1988},
  timestamp    = {Thu, 21 Jun 2018 07:50:39 +0200},
  biburl       = {https://dblp.org/rec/conf/tark/FaginH88.bib},
  bibsource    = {dblp computer science bibliography, https://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       = {https://dblp.org/rec/journals/ai/FaginH87.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/31846.31853},
  doi          = {10.1145/31846.31853},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/SagivDPF87.bib},
  bibsource    = {dblp computer science bibliography, https://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},
  publisher    = {{IEEE} Computer Society},
  year         = {1987},
  timestamp    = {Thu, 22 Jan 2015 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/FaginH87.bib},
  bibsource    = {dblp computer science bibliography, https://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      = {Adv. Comput. Res.},
  volume       = {3},
  pages        = {1--18},
  year         = {1986},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acr/FaginKUV86.bib},
  bibsource    = {dblp computer science bibliography, https://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       = {https://dblp.org/rec/journals/ipl/HanataniF86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FagiHV86,
  author       = {Ronald Fagin and
                  Joseph Y. Halpern and
                  Moshe Y. Vardi},
  editor       = {Tom Kehler},
  title        = {What Can Machines Know? On the Epistemic Properties of Machines},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {428--435},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-072.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/FagiHV86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/FaginV86,
  author       = {Ronald Fagin and
                  Moshe Y. Vardi},
  editor       = {Joseph Y. Halpern},
  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, USA, March 1986},
  pages        = {187--206},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  timestamp    = {Thu, 21 Jun 2018 07:50:24 +0200},
  biburl       = {https://dblp.org/rec/conf/tark/FaginV86.bib},
  bibsource    = {dblp computer science bibliography, https://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 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/BorodinFHT85.bib},
  bibsource    = {dblp computer science bibliography, https://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    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FaginKPS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FaginH85,
  author       = {Ronald Fagin and
                  Joseph Y. Halpern},
  editor       = {Aravind K. Joshi},
  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},
  publisher    = {Morgan Kaufmann},
  year         = {1985},
  url          = {http://ijcai.org/Proceedings/85-1/Papers/095.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:19:04 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FaginH85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/HalpernF85,
  author       = {Joseph Y. Halpern and
                  Ronald Fagin},
  editor       = {Michael A. Malcolm and
                  H. Raymond Strong},
  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},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/323596.323617},
  doi          = {10.1145/323596.323617},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/HalpernF85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/FaginV85,
  author       = {Ronald Fagin and
                  Moshe Y. Vardi},
  editor       = {Robert Sedgewick},
  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},
  publisher    = {{ACM}},
  year         = {1985},
  url          = {https://doi.org/10.1145/22145.22179},
  doi          = {10.1145/22145.22179},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/stoc/FaginV85.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/2422.322414},
  doi          = {10.1145/2422.322414},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/BeeriDFS84.bib},
  bibsource    = {dblp computer science bibliography, https://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    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/CasanovaFP84.bib},
  bibsource    = {dblp computer science bibliography, https://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},
  publisher    = {{IEEE} Computer Society},
  year         = {1984},
  url          = {https://doi.org/10.1109/SFCS.1984.715925},
  doi          = {10.1109/SFCS.1984.715925},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/FaginHV84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FaginV84,
  author       = {Ronald Fagin and
                  Moshe Y. Vardi},
  editor       = {Jan Paredaens},
  title        = {The Theory of Data Dependencies - An Overview},
  booktitle    = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
                  July 16-20, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {172},
  pages        = {1--22},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13345-3\_1},
  doi          = {10.1007/3-540-13345-3\_1},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/FaginV84.bib},
  bibsource    = {dblp computer science bibliography, https://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       = {https://dblp.org/rec/conf/pods/84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/FaginW83,
  author       = {Ronald Fagin and
                  John H. Williams},
  title        = {A Fair Carpool Scheduling Algorithm},
  journal      = {{IBM} J. Res. Dev.},
  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    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ibmrd/FaginW83.bib},
  bibsource    = {dblp computer science bibliography, https://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    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/FaginV83.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/2402.322389},
  doi          = {10.1145/2402.322389},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/BeeriFMY83.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/2402.322390},
  doi          = {10.1145/2402.322390},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Fagin83.bib},
  bibsource    = {dblp computer science bibliography, https://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    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/FaginMUY83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/Fagin83,
  author       = {Ronald Fagin},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {65--89},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_3},
  doi          = {10.1007/3-540-12727-5\_3},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Fagin83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FaginUV83,
  author       = {Ronald Fagin and
                  Jeffrey D. Ullman and
                  Moshe Y. Vardi},
  editor       = {Ronald Fagin and
                  Philip A. Bernstein},
  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},
  publisher    = {{ACM}},
  year         = {1983},
  url          = {https://doi.org/10.1145/588058.588100},
  doi          = {10.1145/588058.588100},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/FaginUV83.bib},
  bibsource    = {dblp computer science bibliography, https://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       = {https://dblp.org/rec/conf/pods/83.bib},
  bibsource    = {dblp computer science bibliography, https://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       = {https://dblp.org/rec/conf/stoc/STOC15.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/322344.322347},
  doi          = {10.1145/322344.322347},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/Fagin82.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/319732.319735},
  doi          = {10.1145/319732.319735},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tods/FaginMU82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/CasanovaFP82,
  author       = {Marco A. Casanova and
                  Ronald Fagin and
                  Christos H. Papadimitriou},
  editor       = {Jeffrey D. Ullman and
                  Alfred V. Aho},
  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},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/588111.588141},
  doi          = {10.1145/588111.588141},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/CasanovaFP82.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/322261.322263},
  doi          = {10.1145/322261.322263},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/SagivDPF81.bib},
  bibsource    = {dblp computer science bibliography, https://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    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CarterF81.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/319587.319592},
  doi          = {10.1145/319587.319592},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tods/Fagin81.bib},
  bibsource    = {dblp computer science bibliography, https://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},
  publisher    = {{ACM}},
  year         = {1981},
  url          = {https://doi.org/10.1145/800076.802489},
  doi          = {10.1145/800076.802489},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/stoc/BeeriFMMUY81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Fagin80,
  author       = {Ronald Fagin},
  editor       = {Raymond E. Miller and
                  Seymour Ginsburg and
                  Walter A. Burkhard and
                  Richard J. Lipton},
  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},
  publisher    = {{ACM}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800141.804660},
  doi          = {10.1145/800141.804660},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/stoc/Fagin80.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/320083.320092},
  doi          = {10.1145/320083.320092},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tods/FaginNPS79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/Fagin79,
  author       = {Ronald Fagin},
  editor       = {Philip A. Bernstein},
  title        = {Normal Forms and Relational Database Operators},
  booktitle    = {Proceedings of the 1979 {ACM} {SIGMOD} International Conference on
                  Management of Data, Boston, Massachusetts, USA, May 30 - June 1},
  pages        = {153--160},
  publisher    = {{ACM}},
  year         = {1979},
  url          = {https://doi.org/10.1145/582095.582120},
  doi          = {10.1145/582095.582120},
  timestamp    = {Thu, 11 Mar 2021 15:20:15 +0100},
  biburl       = {https://dblp.org/rec/conf/sigmod/Fagin79.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/359619.359634},
  doi          = {10.1145/359619.359634},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/EastonF78.bib},
  bibsource    = {dblp computer science bibliography, https://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       = {https://dblp.org/rec/journals/siamcomp/FaginP78.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/320263.320288},
  doi          = {10.1145/320263.320288},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tods/Fagin78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/Fagin77,
  author       = {Ronald Fagin},
  title        = {The number of finite relational structures},
  journal      = {Discret. Math.},
  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    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dm/Fagin77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/Fagin77,
  author       = {Ronald Fagin},
  title        = {Functional Dependencies in a Relational Data Base and Propositional
                  Logic},
  journal      = {{IBM} J. Res. Dev.},
  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    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ibmrd/Fagin77.bib},
  bibsource    = {dblp computer science bibliography, https://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    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Fagin77.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/320557.320571},
  doi          = {10.1145/320557.320571},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tods/Fagin77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/BeeriFH77,
  author       = {Catriel Beeri and
                  Ronald Fagin and
                  John H. Howard},
  editor       = {Diane C. P. Smith},
  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},
  publisher    = {{ACM}},
  year         = {1977},
  url          = {https://doi.org/10.1145/509404.509414},
  doi          = {10.1145/509404.509414},
  timestamp    = {Thu, 11 Mar 2021 15:20:15 +0100},
  biburl       = {https://dblp.org/rec/conf/sigmod/BeeriFH77.bib},
  bibsource    = {dblp computer science bibliography, https://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},
  publisher    = {{IEEE} Computer Society},
  year         = {1977},
  timestamp    = {Wed, 29 Mar 2017 16:45:24 +0200},
  biburl       = {https://dblp.org/rec/conf/vldb/Fagin77.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/359997.360012},
  doi          = {10.1145/359997.360012},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Fagin76.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/321921.321935},
  doi          = {10.1145/321921.321935},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/FaginE76.bib},
  bibsource    = {dblp computer science bibliography, https://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    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Fagin76.bib},
  bibsource    = {dblp computer science bibliography, https://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       = {https://dblp.org/rec/journals/mlq/Fagin75.bib},
  bibsource    = {dblp computer science bibliography, https://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       = {https://dblp.org/rec/journals/mlq/Fagin75a.bib},
  bibsource    = {dblp computer science bibliography, https://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       = {https://dblp.org/rec/journals/mlq/Fagin75b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics