BibTeX records: Scott Weinstein

download as .bib file

@inproceedings{DBLP:conf/fat/RothTW23,
  author       = {Aaron Roth and
                  Alexander Tolbert and
                  Scott Weinstein},
  title        = {Reconciling Individual Probability Forecasts{\unicode{10033}}},
  booktitle    = {Proceedings of the 2023 {ACM} Conference on Fairness, Accountability,
                  and Transparency, FAccT 2023, Chicago, IL, USA, June 12-15, 2023},
  pages        = {101--110},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3593013.3593980},
  doi          = {10.1145/3593013.3593980},
  timestamp    = {Thu, 15 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fat/RothTW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-01687,
  author       = {Aaron Roth and
                  Alexander Tolbert and
                  Scott Weinstein},
  title        = {Reconciling Individual Probability Forecasts},
  journal      = {CoRR},
  volume       = {abs/2209.01687},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2209.01687},
  doi          = {10.48550/ARXIV.2209.01687},
  eprinttype    = {arXiv},
  eprint       = {2209.01687},
  timestamp    = {Thu, 13 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-01687.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-07067,
  author       = {Siddharth Bhaskar and
                  Steven Lindell and
                  Scott Weinstein},
  title        = {Traversal-invariant characterizations of logarithmic space},
  journal      = {CoRR},
  volume       = {abs/2006.07067},
  year         = {2020},
  url          = {https://arxiv.org/abs/2006.07067},
  eprinttype    = {arXiv},
  eprint       = {2006.07067},
  timestamp    = {Wed, 17 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-07067.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/LindellTW15,
  author       = {Steven Lindell and
                  Henry Towsner and
                  Scott Weinstein},
  editor       = {{\AA}sa Hirvonen and
                  Juha Kontinen and
                  Roman Kossak and
                  Andr{\'{e}}s Villaveces},
  title        = {Infinitary Methods in Finite Model Theory},
  booktitle    = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
                  Logic and Philosophy of Mathematics},
  series       = {Ontos Mathematical Logic},
  volume       = {5},
  pages        = {305--318},
  publisher    = {De Gruyter},
  year         = {2015},
  url          = {https://doi.org/10.1515/9781614516873.305},
  doi          = {10.1515/9781614516873.305},
  timestamp    = {Tue, 16 May 2017 14:01:41 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/LindellTW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/OshersonW14,
  author       = {Daniel N. Osherson and
                  Scott Weinstein},
  title        = {Deontic modality based on preference},
  journal      = {CoRR},
  volume       = {abs/1409.0824},
  year         = {2014},
  url          = {http://arxiv.org/abs/1409.0824},
  eprinttype    = {arXiv},
  eprint       = {1409.0824},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/OshersonW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OshersonW13,
  author       = {Daniel N. Osherson and
                  Scott Weinstein},
  editor       = {Val Tannen and
                  Limsoon Wong and
                  Leonid Libkin and
                  Wenfei Fan and
                  Wang{-}Chiew Tan and
                  Michael P. Fourman},
  title        = {Modal Logic for Preference Based on Reasons},
  booktitle    = {In Search of Elegance in the Theory and Practice of Computation -
                  Essays Dedicated to Peter Buneman},
  series       = {Lecture Notes in Computer Science},
  volume       = {8000},
  pages        = {516--541},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41660-6\_29},
  doi          = {10.1007/978-3-642-41660-6\_29},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/OshersonW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/OshersonW12,
  author       = {Daniel N. Osherson and
                  Scott Weinstein},
  title        = {Preference based on Reasons},
  journal      = {Rev. Symb. Log.},
  volume       = {5},
  number       = {1},
  pages        = {122--147},
  year         = {2012},
  url          = {https://doi.org/10.1017/S1755020311000244},
  doi          = {10.1017/S1755020311000244},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/OshersonW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AlurCW12,
  author       = {Rajeev Alur and
                  Pavol Cern{\'{y}} and
                  Scott Weinstein},
  title        = {Algorithmic analysis of array-accessing programs},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {13},
  number       = {3},
  pages        = {27:1--27:29},
  year         = {2012},
  url          = {https://doi.org/10.1145/2287718.2287727},
  doi          = {10.1145/2287718.2287727},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/AlurCW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-2921,
  author       = {Daniel N. Osherson and
                  Scott Weinstein},
  title        = {Quantified preference logic},
  journal      = {CoRR},
  volume       = {abs/1208.2921},
  year         = {2012},
  url          = {http://arxiv.org/abs/1208.2921},
  eprinttype    = {arXiv},
  eprint       = {1208.2921},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-2921.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-2875,
  author       = {Daniel N. Osherson and
                  Scott Weinstein},
  title        = {Notes on random reals},
  journal      = {CoRR},
  volume       = {abs/1209.2875},
  year         = {2012},
  url          = {http://arxiv.org/abs/1209.2875},
  eprinttype    = {arXiv},
  eprint       = {1209.2875},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1209-2875.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/OshersonW11,
  author       = {Daniel N. Osherson and
                  Scott Weinstein},
  editor       = {Dov M. Gabbay and
                  Stephan Hartmann and
                  John Woods},
  title        = {Formal Learning Theory in Context},
  booktitle    = {Inductive Logic},
  series       = {Handbook of the History of Logic},
  volume       = {10},
  pages        = {707--717},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/B978-0-444-52936-7.50017-3},
  doi          = {10.1016/B978-0-444-52936-7.50017-3},
  timestamp    = {Thu, 09 Jul 2020 09:13:36 +0200},
  biburl       = {https://dblp.org/rec/series/hhl/OshersonW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AlurCW09,
  author       = {Rajeev Alur and
                  Pavol Cern{\'{y}} and
                  Scott Weinstein},
  editor       = {Erich Gr{\"{a}}del and
                  Reinhard Kahle},
  title        = {Algorithmic Analysis of Array-Accessing Programs},
  booktitle    = {Computer Science Logic, 23rd international Workshop, {CSL} 2009, 18th
                  Annual Conference of the EACSL, Coimbra, Portugal, September 7-11,
                  2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5771},
  pages        = {86--101},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04027-6\_9},
  doi          = {10.1007/978-3-642-04027-6\_9},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/AlurCW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/OshersonW08,
  author       = {Daniel N. Osherson and
                  Scott Weinstein},
  title        = {Recognizing Strong Random Reals},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {1},
  pages        = {56--63},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308080076},
  doi          = {10.1017/S1755020308080076},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/OshersonW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/txtcs/GradelKLMSVVW07,
  author       = {Erich Gr{\"{a}}del and
                  Phokion G. Kolaitis and
                  Leonid Libkin and
                  Maarten Marx and
                  Joel Spencer and
                  Moshe Y. Vardi and
                  Yde Venema and
                  Scott Weinstein},
  title        = {Finite Model Theory and Its Applications},
  series       = {Texts in Theoretical Computer Science. An {EATCS} Series},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/3-540-68804-8},
  doi          = {10.1007/3-540-68804-8},
  isbn         = {978-3-540-00428-8},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/txtcs/GradelKLMSVVW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/LindellW07,
  author       = {Steven Lindell and
                  Scott Weinstein},
  title        = {Book Review},
  journal      = {J. Log. Lang. Inf.},
  volume       = {16},
  number       = {2},
  pages        = {233--239},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10849-006-9028-8},
  doi          = {10.1007/S10849-006-9028-8},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/LindellW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0607054,
  author       = {Elliott H. Lieb and
                  Daniel N. Osherson and
                  Scott Weinstein},
  title        = {Elementary Proof of a Theorem of Jean Ville},
  journal      = {CoRR},
  volume       = {abs/cs/0607054},
  year         = {2006},
  url          = {http://arxiv.org/abs/cs/0607054},
  eprinttype    = {arXiv},
  eprint       = {cs/0607054},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0607054.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BunemanFW03,
  author       = {Peter Buneman and
                  Wenfei Fan and
                  Scott Weinstein},
  title        = {Interaction between path and type constraints},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {4},
  number       = {4},
  pages        = {530--577},
  year         = {2003},
  url          = {https://doi.org/10.1145/937555.937560},
  doi          = {10.1145/937555.937560},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/BunemanFW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/BunemanFSW01,
  author       = {Peter Buneman and
                  Wenfei Fan and
                  J{\'{e}}r{\^{o}}me Sim{\'{e}}on and
                  Scott Weinstein},
  title        = {Constraints for Semi-structured Data and {XML}},
  journal      = {{SIGMOD} Rec.},
  volume       = {30},
  number       = {1},
  pages        = {47--45},
  year         = {2001},
  url          = {https://doi.org/10.1145/373626.373697},
  doi          = {10.1145/373626.373697},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigmod/BunemanFSW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BunemanFW00,
  author       = {Peter Buneman and
                  Wenfei Fan and
                  Scott Weinstein},
  title        = {Path Constraints in Semistructured Databases},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {61},
  number       = {2},
  pages        = {146--193},
  year         = {2000},
  url          = {https://doi.org/10.1006/jcss.2000.1710},
  doi          = {10.1006/JCSS.2000.1710},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/BunemanFW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/LindellW00,
  author       = {Steven Lindell and
                  Scott Weinstein},
  title        = {The Role of Decidability in First Order Separations over Classes of
                  Finite Structures},
  booktitle    = {15th Annual {IEEE} Symposium on Logic in Computer Science, Santa Barbara,
                  California, USA, June 26-29, 2000},
  pages        = {45--50},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/LICS.2000.855754},
  doi          = {10.1109/LICS.2000.855754},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/LindellW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/BunemanFW99,
  author       = {Peter Buneman and
                  Wenfei Fan and
                  Scott Weinstein},
  editor       = {Richard Connor and
                  Alberto O. Mendelzon},
  title        = {Query Optimization for Semistructured Data Using Path Constraints
                  in a Deterministic Data Model},
  booktitle    = {Research Issues in Structured and Semistructured Database Programming,
                  7th International Workshop on Database Programming Languages, DBPL'99,
                  Kinloch Rannoch, Scotland, UK, September 1-3, 1999, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1949},
  pages        = {208--223},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44543-9\_13},
  doi          = {10.1007/3-540-44543-9\_13},
  timestamp    = {Wed, 07 Jul 2021 16:59:31 +0200},
  biburl       = {https://dblp.org/rec/conf/dbpl/BunemanFW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsc/FanW99,
  author       = {Wenfei Fan and
                  Scott Weinstein},
  editor       = {Lucas Chi Kwong Hui and
                  Dik Lun Lee},
  title        = {Specifying and Reasoning about Workflows with Path Constraints},
  booktitle    = {Internet Applications, 5th International Computer Science Conference,
                  ICSC'99, Hong Kong, China, December 13-15, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1749},
  pages        = {226--235},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-46652-9\_22},
  doi          = {10.1007/978-3-540-46652-9\_22},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/icsc/FanW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BunemanFW99,
  author       = {Peter Buneman and
                  Wenfei Fan and
                  Scott Weinstein},
  editor       = {Victor Vianu and
                  Christos H. Papadimitriou},
  title        = {Interaction between Path and Type Constraints},
  booktitle    = {Proceedings of the Eighteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
                  on Principles of Database Systems, May 31 - June 2, 1999, Philadelphia,
                  Pennsylvania, {USA}},
  pages        = {56--67},
  publisher    = {{ACM} Press},
  year         = {1999},
  url          = {https://doi.org/10.1145/303976.303982},
  doi          = {10.1145/303976.303982},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/BunemanFW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/DawarDLW98,
  author       = {Anuj Dawar and
                  Kees Doets and
                  Steven Lindell and
                  Scott Weinstein},
  title        = {Elementary Properties of the Finite Ranks},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {349--353},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440306},
  doi          = {10.1002/MALQ.19980440306},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/DawarDLW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BunemanFW98,
  author       = {Peter Buneman and
                  Wenfei Fan and
                  Scott Weinstein},
  editor       = {Alberto O. Mendelzon and
                  Jan Paredaens},
  title        = {Path Constraints in Semistructured and Structured Databases},
  booktitle    = {Proceedings of the Seventeenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
                  on Principles of Database Systems, June 1-3, 1998, Seattle, Washington,
                  {USA}},
  pages        = {129--138},
  publisher    = {{ACM} Press},
  year         = {1998},
  url          = {https://doi.org/10.1145/275487.275502},
  doi          = {10.1145/275487.275502},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/BunemanFW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/97/OshersonJMW97,
  author       = {Daniel N. Osherson and
                  Dick de Jongh and
                  Eric Martin and
                  Scott Weinstein},
  editor       = {Johan van Benthem and
                  Alice ter Meulen},
  title        = {Formal Learning Theory},
  booktitle    = {Handbook of Logic and Language},
  pages        = {737--775},
  publisher    = {North Holland / Elsevier},
  year         = {1997},
  url          = {https://doi.org/10.1016/b978-044481714-3/50017-5},
  doi          = {10.1016/B978-044481714-3/50017-5},
  timestamp    = {Thu, 27 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/el/97/OshersonJMW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/coling/GroszJW95,
  author       = {Barbara J. Grosz and
                  Aravind K. Joshi and
                  Scott Weinstein},
  title        = {Centering: {A} Framework for Modeling the Local Coherence of Discourse},
  journal      = {Comput. Linguistics},
  volume       = {21},
  number       = {2},
  pages        = {203--225},
  year         = {1995},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/coling/GroszJW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DawarLW95,
  author       = {Anuj Dawar and
                  Steven Lindell and
                  Scott Weinstein},
  title        = {Infinitary Logic and Inductive Definability over Finite Structures},
  journal      = {Inf. Comput.},
  volume       = {119},
  number       = {2},
  pages        = {160--175},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1084},
  doi          = {10.1006/INCO.1995.1084},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/DawarLW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/OshersonW95,
  author       = {Daniel N. Osherson and
                  Scott Weinstein},
  title        = {On the danger of half-truths},
  journal      = {J. Philos. Log.},
  volume       = {24},
  number       = {1},
  pages        = {85--115},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01052732},
  doi          = {10.1007/BF01052732},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/OshersonW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/DawarLW95,
  author       = {Anuj Dawar and
                  Steven Lindell and
                  Scott Weinstein},
  editor       = {Hans Kleine B{\"{u}}ning},
  title        = {First Order Logic, Fixed Point Logic and Linear Order},
  booktitle    = {Computer Science Logic, 9th International Workshop, {CSL} '95, Annual
                  Conference of the EACSL, Paderborn, Germany, September 22-29, 1995,
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1092},
  pages        = {161--177},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61377-3\_37},
  doi          = {10.1007/3-540-61377-3\_37},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/DawarLW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/RosenSW95,
  author       = {Eric Rosen and
                  Saharon Shelah and
                  Scott Weinstein},
  editor       = {Ravi Bopu Boppana and
                  James F. Lynch},
  title        = {\emph{k}-universal finite graphs},
  booktitle    = {Logic and Random Structures, Proceedings of a {DIMACS} Workshop, New
                  Brunswick, New Jersey, USA, November 5-7, 1995},
  series       = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
  volume       = {33},
  pages        = {65--77},
  publisher    = {{DIMACS/AMS}},
  year         = {1995},
  url          = {https://doi.org/10.1090/dimacs/033/05},
  doi          = {10.1090/DIMACS/033/05},
  timestamp    = {Mon, 22 May 2023 16:07:35 +0200},
  biburl       = {https://dblp.org/rec/conf/dimacs/RosenSW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/RosenW94,
  author       = {Eric Rosen and
                  Scott Weinstein},
  editor       = {Daniel Leivant},
  title        = {Preservation Theorems in Finite Model Theory},
  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        = {480--502},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60178-3\_99},
  doi          = {10.1007/3-540-60178-3\_99},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/lcc/RosenW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/OshersonW93,
  author       = {Daniel N. Osherson and
                  Scott Weinstein},
  title        = {Relevant consequence and empirical inquiry},
  journal      = {J. Philos. Log.},
  volume       = {22},
  number       = {4},
  pages        = {437--448},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01052535},
  doi          = {10.1007/BF01052535},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/OshersonW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/OshersonSW92,
  author       = {Daniel N. Osherson and
                  Michael Stob and
                  Scott Weinstein},
  title        = {A Universal Method of Scientific Inquiry},
  journal      = {Mach. Learn.},
  volume       = {9},
  pages        = {261--271},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00992678},
  doi          = {10.1007/BF00992678},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ml/OshersonSW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/OshersonSW91,
  author       = {Daniel N. Osherson and
                  Michael Stob and
                  Scott Weinstein},
  title        = {A Universal Inductive Inference Machine},
  journal      = {J. Symb. Log.},
  volume       = {56},
  number       = {2},
  pages        = {661--672},
  year         = {1991},
  url          = {https://doi.org/10.2307/2274708},
  doi          = {10.2307/2274708},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/OshersonSW91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PapalaskariW90,
  author       = {Mary{-}Angela Papalaskari and
                  Scott Weinstein},
  title        = {Minimal Consequence in Sentential Logic},
  journal      = {J. Log. Program.},
  volume       = {9},
  number       = {1},
  pages        = {19--31},
  year         = {1990},
  url          = {https://doi.org/10.1016/0743-1066(90)90031-Y},
  doi          = {10.1016/0743-1066(90)90031-Y},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/PapalaskariW90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/OshersonSW90,
  author       = {Daniel N. Osherson and
                  Michael Stob and
                  Scott Weinstein},
  editor       = {Mark A. Fulk and
                  John Case},
  title        = {A Mechanical Method of Successful Scientific Inquiry},
  booktitle    = {Proceedings of the Third Annual Workshop on Computational Learning
                  Theory, {COLT} 1990, University of Rochester, Rochester, NY, USA,
                  August 6-8, 1990},
  pages        = {187--201},
  publisher    = {Morgan Kaufmann},
  year         = {1990},
  url          = {http://dl.acm.org/citation.cfm?id=92636},
  timestamp    = {Fri, 23 Dec 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/colt/OshersonSW90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/OshersonW89,
  author       = {Daniel N. Osherson and
                  Scott Weinstein},
  title        = {Paradigms of truth detection},
  journal      = {J. Philos. Log.},
  volume       = {18},
  number       = {1},
  pages        = {1--42},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00296173},
  doi          = {10.1007/BF00296173},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/OshersonW89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/OshersonSW89,
  author       = {Daniel N. Osherson and
                  Michael Stob and
                  Scott Weinstein},
  editor       = {Ronald L. Rivest and
                  David Haussler and
                  Manfred K. Warmuth},
  title        = {On Approximate Truth},
  booktitle    = {Proceedings of the Second Annual Workshop on Computational Learning
                  Theory, {COLT} 1989, Santa Cruz, CA, USA, July 31 - August 2, 1989},
  pages        = {88--101},
  publisher    = {Morgan Kaufmann},
  year         = {1989},
  url          = {http://dl.acm.org/citation.cfm?id=93345},
  timestamp    = {Fri, 23 Dec 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/colt/OshersonSW89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/OshersonSW88,
  author       = {Daniel N. Osherson and
                  Michael Stob and
                  Scott Weinstein},
  title        = {Synthesizing Inductive Expertise},
  journal      = {Inf. Comput.},
  volume       = {77},
  number       = {2},
  pages        = {138--161},
  year         = {1988},
  url          = {https://doi.org/10.1016/0890-5401(88)90055-7},
  doi          = {10.1016/0890-5401(88)90055-7},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/OshersonSW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/OshersonSW88,
  author       = {Daniel N. Osherson and
                  Michael Stob and
                  Scott Weinstein},
  title        = {Mechanical Learners Pay a Price for Bayesianism},
  journal      = {J. Symb. Log.},
  volume       = {53},
  number       = {4},
  pages        = {1245--1251},
  year         = {1988},
  url          = {https://doi.org/10.1017/S0022481200028073},
  doi          = {10.1017/S0022481200028073},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/OshersonSW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/OshersonSW86,
  author       = {Daniel N. Osherson and
                  Michael Stob and
                  Scott Weinstein},
  title        = {Aggregating Inductive Expertise},
  journal      = {Inf. Control.},
  volume       = {70},
  number       = {1},
  pages        = {69--95},
  year         = {1986},
  url          = {https://doi.org/10.1016/S0019-9958(86)80025-0},
  doi          = {10.1016/S0019-9958(86)80025-0},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/OshersonSW86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/OshersonW86,
  author       = {Daniel N. Osherson and
                  Scott Weinstein},
  title        = {Identification in the limit of first order structures},
  journal      = {J. Philos. Log.},
  volume       = {15},
  number       = {1},
  pages        = {55--81},
  year         = {1986},
  url          = {https://doi.org/10.1007/BF00250549},
  doi          = {10.1007/BF00250549},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/OshersonW86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Weinstein83,
  author       = {Scott Weinstein},
  title        = {The intended interpretation of intuitionistic logic},
  journal      = {J. Philos. Log.},
  volume       = {12},
  number       = {2},
  pages        = {261--270},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00247190},
  doi          = {10.1007/BF00247190},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/Weinstein83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/GroszJW83,
  author       = {Barbara J. Grosz and
                  Aravind K. Joshi and
                  Scott Weinstein},
  editor       = {Mitchell P. Marcus},
  title        = {Providing a Unified Account of Definite Noun Phrases in Discourse},
  booktitle    = {21st Annual Meeting of the Association for Computational Linguistics,
                  Massachusetts Institute of Technology, Cambridge, Massachusetts, USA,
                  June 15-17, 1983},
  pages        = {44--50},
  publisher    = {{ACL}},
  year         = {1983},
  url          = {https://aclanthology.org/P83-1007/},
  doi          = {10.3115/981311.981320},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acl/GroszJW83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/OshersonSW83,
  author       = {Daniel N. Osherson and
                  Michael Stob and
                  Scott Weinstein},
  editor       = {Alan Bundy},
  title        = {Formal Theories of Language Acquisition: Practical and Theoretical
                  Perspectives},
  booktitle    = {Proceedings of the 8th International Joint Conference on Artificial
                  Intelligence. Karlsruhe, FRG, August 1983},
  pages        = {566--572},
  publisher    = {William Kaufmann},
  year         = {1983},
  url          = {http://ijcai.org/Proceedings/83-1/Papers/130a.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:18:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/OshersonSW83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cogsci/OshersonSW82,
  author       = {Daniel N. Osherson and
                  Michael Stob and
                  Scott Weinstein},
  title        = {Ideal Learning Machines},
  journal      = {Cogn. Sci.},
  volume       = {6},
  number       = {3},
  pages        = {277--290},
  year         = {1982},
  url          = {https://doi.org/10.1207/s15516709cog0603\_3},
  doi          = {10.1207/S15516709COG0603\_3},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cogsci/OshersonSW82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/OshersonW82,
  author       = {Daniel N. Osherson and
                  Scott Weinstein},
  title        = {Criteria of Language Learning},
  journal      = {Inf. Control.},
  volume       = {52},
  number       = {2},
  pages        = {123--138},
  year         = {1982},
  url          = {https://doi.org/10.1016/S0019-9958(82)80025-9},
  doi          = {10.1016/S0019-9958(82)80025-9},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/OshersonW82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/OshersonSW82,
  author       = {Daniel N. Osherson and
                  Michael Stob and
                  Scott Weinstein},
  title        = {Learning Strategies},
  journal      = {Inf. Control.},
  volume       = {53},
  number       = {1/2},
  pages        = {32--51},
  year         = {1982},
  url          = {https://doi.org/10.1016/S0019-9958(82)91097-X},
  doi          = {10.1016/S0019-9958(82)91097-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/OshersonSW82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/JoshiW81,
  author       = {Aravind K. Joshi and
                  Scott Weinstein},
  editor       = {Patrick J. Hayes},
  title        = {Control of Inference: Role of Some Aspects of Discourse Structure-Centering},
  booktitle    = {Proceedings of the 7th International Joint Conference on Artificial
                  Intelligence, {IJCAI} '81, Vancouver, BC, Canada, August 24-28, 1981},
  pages        = {385--387},
  publisher    = {William Kaufmann},
  year         = {1981},
  url          = {http://ijcai.org/Proceedings/81-1/Papers/071.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:16:26 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/JoshiW81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics