Scott Weinstein - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 43 from 43

2023

Reconciling Individual Probability Forecasts✱Aaron Roth 0001, Alexander Tolbert, Scott Weinstein. fat 2023: 101-110 [doi]

2015

Infinitary Methods in Finite Model TheorySteven Lindell, Henry Towsner, Scott Weinstein. In Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces, editors, Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Volume 5 of Ontos Mathematical Logic, pages 305-318, De Gruyter, 2015. [doi]

2013

Modal Logic for Preference Based on ReasonsDaniel N. Osherson, Scott Weinstein. BIRTHDAY 2013: 516-541 [doi]

2012

Algorithmic analysis of array-accessing programsRajeev Alur, Pavol Cerný, Scott Weinstein. tocl, 13(3):27, 2012. [doi]

Preference based on ReasonsDaniel N. Osherson, Scott Weinstein. rsl, 5(1):122-147, 2012. [doi]

2011

Formal Learning Theory in ContextDaniel N. Osherson, Scott Weinstein. In Dov M. Gabbay, Stephan Hartmann, John Woods, editors, Inductive Logic. Volume 10 of Handbook of the History of Logic, pages 707-717, Elsevier, 2011. [doi]

2009

Algorithmic Analysis of Array-Accessing ProgramsRajeev Alur, Pavol CernÃ½, Scott Weinstein. csl 2009: 86-101 [doi]

2008

Recognizing Strong Random RealsDaniel N. Osherson, Scott Weinstein. rsl, 1(1):56-63, 2008. [doi]

2007

Finite Model Theory and Its ApplicationsErich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein. Texts in Theoretical Computer Science. An EATCS Series, Springer, 2007. [doi]

Book ReviewSteven Lindell, Scott Weinstein. jolli, 16(2):233-239, 2007. [doi]

2003

Interaction between path and type constraintsPeter Buneman, Wenfei Fan, Scott Weinstein. tocl, 4(4):530-577, 2003. [doi]

2001

Constraints for Semi-structured Data and XMLPeter Buneman, Wenfei Fan, Jérôme Siméon, Scott Weinstein. SIGMOD, 30(1):47-45, 2001. [doi]

2000

Path Constraints in Semistructured DatabasesPeter Buneman, Wenfei Fan, Scott Weinstein. jcss, 61(2):146-193, 2000.

The Role of Decidability in First Order Separations over Classes of Finite StructuresSteven Lindell, Scott Weinstein. lics 2000: 45-50 [doi]

1999

Interaction between Path and Type ConstraintsPeter Buneman, Wenfei Fan, Scott Weinstein. PODS 1999: 56-67 [doi]

Query Optimization for Semistructured Data Using Path Constraints in a Deterministic Data ModelPeter Buneman, Wenfei Fan, Scott Weinstein. DBPL 2000: 208-223 [doi]

Specifying and Reasoning about Workflows with Path ConstraintsWenfei Fan, Scott Weinstein. semco 1999: 226-235

1998

Path Constraints in Semistructured and Structured DatabasesPeter Buneman, Wenfei Fan, Scott Weinstein. PODS 1998: 129-138 [doi]

Elementary Properties of the Finite RanksAnuj Dawar, Kees Doets, Steven Lindell, Scott Weinstein. mlq, 44:349-353, 1998.

1997

Formal Learning TheoryDaniel N. Osherson, Dick De Jongh, Eric Martin 0002, Scott Weinstein. In Johan van Benthem, Alice ter Meulen, editors, Handbook of Logic and Language. pages 737-775, North Holland / Elsevier, 1997. [doi]

1995

First Order Logic, Fixed Point Logic and Linear OrderAnuj Dawar, Steven Lindell, Scott Weinstein. csl 1996: 161-177

Infinitary Logic and Inductive Definability over Finite StructuresAnuj Dawar, Steven Lindell, Scott Weinstein. iandc, 119(2):160-175, June 1995.

Centering: A Framework for Modeling the Local Coherence of DiscourseBarbara J. Grosz, Aravind K. Joshi, Scott Weinstein. coling, 21(2):203-225, 1995.

On the danger of half-truthsDaniel N. Osherson, Scott Weinstein. jphil, 24(1):85-115, 1995. [doi]

k-universal finite graphsEric Rosen, Saharon Shelah, Scott Weinstein. dimacs 1997: 65-78

1994

Preservation Theorems in Finite Model TheoryEric Rosen, Scott Weinstein. lcc 1995: 480-502

1993

Relevant consequence and empirical inquiryDaniel N. Osherson, Scott Weinstein. jphil, 22(4):437-448, 1993. [doi]

1992

A Universal Method of Scientific InquiryDaniel N. Osherson, Michael Stob, Scott Weinstein. ml, 9:261-271, 1992.

1991

A Universal Inductive Inference MachineDaniel N. Osherson, Michael Stob, Scott Weinstein. JSYML, 56(2):661-672, 1991.

1990

A Mechanical Method of Successful Scientific InquiryDaniel N. Osherson, Michael Stob, Scott Weinstein. colt 1990: 187-201 [doi]

Minimal Consequence in Sentential LogicMary-Angela Papalaskari, Scott Weinstein. jlp, 9(1):19-31, 1990.

1989

On Approximate TruthDaniel N. Osherson, Michael Stob, Scott Weinstein. colt 1989: 88-101 [doi]

Paradigms of truth detectionDaniel N. Osherson, Scott Weinstein. jphil, 18(1):1-42, 1989. [doi]

1988

Synthesizing Inductive ExpertiseDaniel N. Osherson, Michael Stob, Scott Weinstein. iandc, 77(2):138-161, May 1988.

1986

Aggregating Inductive ExpertiseDaniel N. Osherson, Michael Stob, Scott Weinstein. iandc, 70(1):69-95, July 1986.

Identification in the limit of first order structuresDaniel N. Osherson, Scott Weinstein. jphil, 15(1):55-81, 1986. [doi]

1983

Providing a Unified Account of Definite Noun Phrases in DiscourseBarbara J. Grosz, Aravind K. Joshi, Scott Weinstein. acl 1983: 44-50 [doi]

Formal Theories of Language Acquisition: Practical and Theoretical PerspectivesDaniel N. Osherson, Michael Stob, Scott Weinstein. IJCAI 1983: 566-572

The intended interpretation of intuitionistic logicScott Weinstein. jphil, 12(2):261-270, 1983. [doi]

1982

Criteria of Language LearningDaniel N. Osherson, Scott Weinstein. iandc, 52(2):123-138, February 1982.

Learning StrategiesDaniel N. Osherson, Michael Stob, Scott Weinstein. iandc, 53(1/2):32-51, April/May 1982.

Ideal Learning MachinesDaniel N. Osherson, Michael Stob, Scott Weinstein. cogsci, 6(3):277-290, 1982. [doi]

1981

Control of Inference: Role of Some Aspects of Discourse Structure-CenteringAravind K. Joshi, Scott Weinstein. IJCAI 1981: 385-387

Sign in or sign up to see more results.

runs on WebDSL