default search action
BibTeX records: Ronald Fagin
@inproceedings{DBLP:conf/mfcs/CarmosinoFIKLS24, author = {Marco Carmosino and Ronald Fagin and Neil Immerman and Phokion G. Kolaitis and Jonathan Lenchner and Rik Sengupta}, editor = {Rastislav Kr{\'{a}}lovic and Anton{\'{\i}}n Kucera}, title = {On the Number of Quantifiers Needed to Define Boolean Functions}, booktitle = {49th International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2024, August 26-30, 2024, Bratislava, Slovakia}, series = {LIPIcs}, volume = {306}, pages = {34:1--34:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2024}, url = {https://doi.org/10.4230/LIPIcs.MFCS.2024.34}, doi = {10.4230/LIPICS.MFCS.2024.34}, timestamp = {Mon, 26 Aug 2024 16:40:52 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/CarmosinoFIKLS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sebd/FaginKL0S24, author = {Ronald Fagin and Phokion G. Kolaitis and Domenico Lembo and Lucian Popa and Federico Scafoglieri}, editor = {Maurizio Atzori and Paolo Ciaccia and Michelangelo Ceci and Federica Mandreoli and Donato Malerba and Manuela Sanguinetti and Antonio Pellicani and Federico Motta}, title = {Combining Entity Resolution and Query Answering in Ontologies: {A} Formal Conceptual Framework}, booktitle = {Proceedings of the 32nd Symposium of Advanced Database Systems, Villasimius, Italy, June 23rd to 26th, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3741}, pages = {633--642}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3741/paper38.pdf}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/sebd/FaginKL0S24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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} }
@article{DBLP:journals/corr/abs-2407-00688, author = {Marco Carmosino and Ronald Fagin and Neil Immerman and Phokion G. Kolaitis and Jonathan Lenchner and Rik Sengupta}, title = {On the Number of Quantifiers Needed to Define Boolean Functions}, journal = {CoRR}, volume = {abs/2407.00688}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2407.00688}, doi = {10.48550/ARXIV.2407.00688}, eprinttype = {arXiv}, eprint = {2407.00688}, timestamp = {Tue, 13 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2407-00688.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 = {Wed, 21 Aug 2024 22:46: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 = {Wed, 21 Aug 2024 22:46:00 +0200}, 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 = {Mon, 19 Aug 2024 08:36:26 +0200}, 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 = {Tue, 09 Jul 2024 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 = {Tue, 09 Jul 2024 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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.