Scott Weinstein

Publication Activity (10 Years)

Years Active: 1981-2023
Publications (10 Years): 3

Top Topics

Explanation Based Generalization

Qualitative Preferences

Top Venues

In Search of Elegance in the Theory and Practice of Computation

Publications

Aaron Roth, Alexander Tolbert, Scott Weinstein
Reconciling Individual Probability Forecasts✱. FAccT (2023)
Aaron Roth, Alexander Tolbert, Scott Weinstein
Reconciling Individual Probability Forecasts. CoRR (2022)
Siddharth Bhaskar, Steven Lindell, Scott Weinstein
Traversal-invariant characterizations of logarithmic space. CoRR (2020)
Daniel N. Osherson, Scott Weinstein
Deontic modality based on preference. CoRR (2014)
Daniel N. Osherson, Scott Weinstein
Modal Logic for Preference Based on Reasons. In Search of Elegance in the Theory and Practice of Computation (2013)
Daniel N. Osherson, Scott Weinstein
Quantified preference logic CoRR (2012)
Daniel N. Osherson, Scott Weinstein
Preference based on Reasons. Rev. Symb. Log. 5 (1) (2012)
Daniel N. Osherson, Scott Weinstein
Notes on random reals CoRR (2012)
Rajeev Alur, Pavol Cerný, Scott Weinstein
Algorithmic analysis of array-accessing programs. ACM Trans. Comput. Log. 13 (3) (2012)
Rajeev Alur, Pavol Cerný, Scott Weinstein
Algorithmic Analysis of Array-Accessing Programs. CSL (2009)
Daniel N. Osherson, Scott Weinstein
Recognizing Strong Random Reals. Rev. Symb. Log. 1 (1) (2008)
Steven Lindell, Scott Weinstein
Book Review. J. Log. Lang. Inf. 16 (2) (2007)
Elliott H. Lieb, Daniel N. Osherson, Scott Weinstein
Elementary Proof of a Theorem of Jean Ville CoRR (2006)
Peter Buneman, Wenfei Fan, Scott Weinstein
Interaction between path and type constraints. ACM Trans. Comput. Log. 4 (4) (2003)
Peter Buneman, Wenfei Fan, Jérôme Siméon, Scott Weinstein
Constraints for Semi-structured Data and XML. SIGMOD Rec. 30 (1) (2001)
Peter Buneman, Wenfei Fan, Scott Weinstein
Path Constraints in Semistructured Databases. J. Comput. Syst. Sci. 61 (2) (2000)
Steven Lindell, Scott Weinstein
The Role of Decidability in First Order Separations over Classes of Finite Structures. LICS (2000)
Peter Buneman, Wenfei Fan, Scott Weinstein
Query Optimization for Semistructured Data Using Path Constraints in a Deterministic Data Model. DBPL (1999)
Peter Buneman, Wenfei Fan, Scott Weinstein
Interaction between Path and Type Constraints. PODS (1999)
Wenfei Fan, Scott Weinstein
Specifying and Reasoning about Workflows with Path Constraints. ICSC (1999)
Anuj Dawar, Kees Doets, Steven Lindell, Scott Weinstein
Elementary Properties of the Finite Ranks. Math. Log. Q. 44 (1998)
Peter Buneman, Wenfei Fan, Scott Weinstein
Path Constraints in Semistructured and Structured Databases. PODS (1998)
Daniel N. Osherson, Scott Weinstein
On the danger of half-truths. J. Philos. Log. 24 (1) (1995)
Barbara J. Grosz, Aravind K. Joshi, Scott Weinstein
Centering: A Framework for Modeling the Local Coherence of Discourse. Comput. Linguistics 21 (2) (1995)
Anuj Dawar, Steven Lindell, Scott Weinstein
Infinitary Logic and Inductive Definability over Finite Structures Inf. Comput. 119 (2) (1995)
Eric Rosen, Saharon Shelah, Scott Weinstein
-universal finite graphs. Logic and Random Structures (1995)
Anuj Dawar, Steven Lindell, Scott Weinstein
First Order Logic, Fixed Point Logic and Linear Order. CSL (1995)
Eric Rosen, Scott Weinstein
Preservation Theorems in Finite Model Theory. LCC (1994)
Daniel N. Osherson, Scott Weinstein
Relevant consequence and empirical inquiry. J. Philos. Log. 22 (4) (1993)
Daniel N. Osherson, Michael Stob, Scott Weinstein
A Universal Method of Scientific Inquiry. Mach. Learn. 9 (1992)
Daniel N. Osherson, Michael Stob, Scott Weinstein
A Universal Inductive Inference Machine. J. Symb. Log. 56 (2) (1991)
Mary-Angela Papalaskari, Scott Weinstein
Minimal Consequence in Sentential Logic. J. Log. Program. 9 (1) (1990)
Daniel N. Osherson, Michael Stob, Scott Weinstein
A Mechanical Method of Successful Scientific Inquiry. COLT (1990)
Daniel N. Osherson, Scott Weinstein
Paradigms of truth detection. J. Philos. Log. 18 (1) (1989)
Daniel N. Osherson, Michael Stob, Scott Weinstein
On Approximate Truth. COLT (1989)
Daniel N. Osherson, Michael Stob, Scott Weinstein
Synthesizing Inductive Expertise Inf. Comput. 77 (2) (1988)
Daniel N. Osherson, Michael Stob, Scott Weinstein
Mechanical Learners Pay a Price for Bayesianism. J. Symb. Log. 53 (4) (1988)
Daniel N. Osherson, Michael Stob, Scott Weinstein
Aggregating Inductive Expertise Inf. Control. 70 (1) (1986)
Daniel N. Osherson, Scott Weinstein
Identification in the limit of first order structures. J. Philos. Log. 15 (1) (1986)
Barbara J. Grosz, Aravind K. Joshi, Scott Weinstein
Providing a Unified Account of Definite Noun Phrases in Discourse. ACL (1983)
Scott Weinstein
The intended interpretation of intuitionistic logic. J. Philos. Log. 12 (2) (1983)
Daniel N. Osherson, Michael Stob, Scott Weinstein
Formal Theories of Language Acquisition: Practical and Theoretical Perspectives. IJCAI (1983)
Daniel N. Osherson, Michael Stob, Scott Weinstein
Learning Strategies Inf. Control. 53 (1/2) (1982)
Daniel N. Osherson, Michael Stob, Scott Weinstein
Ideal Learning Machines. Cogn. Sci. 6 (3) (1982)
Daniel N. Osherson, Scott Weinstein
Criteria of Language Learning Inf. Control. 52 (2) (1982)
Aravind K. Joshi, Scott Weinstein
Control of Inference: Role of Some Aspects of Discourse Structure-Centering. IJCAI (1981)