Scott Weinstein

50 papers A* 8B 2Journal 30Unranked 6

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Traversal-Invariant Characterizations of Logarithmic Space. Tannen's Festschrift Siddharth Bhaskar, Steven Lindell, Scott Weinstein
2023	—	`conf`	Reconciling Individual Probability Forecasts✱. FAccT Aaron Roth, Alexander Tolbert, Scott Weinstein
2022	J	`jnl`	Reconciling Individual Probability Forecasts. CoRR Aaron Roth, Alexander Tolbert, Scott Weinstein
2020	J	`jnl`	Traversal-invariant characterizations of logarithmic space. CoRR Siddharth Bhaskar, Steven Lindell, Scott Weinstein
2015	—	`ch.`	Infinitary Methods in Finite Model Theory. Logic Without Borders Steven Lindell, Henry Towsner, Scott Weinstein
2014	J	`jnl`	Deontic modality based on preference. CoRR Daniel N. Osherson, Scott Weinstein
2013	—	`conf`	Modal Logic for Preference Based on Reasons. In Search of Elegance in the Theory and Practice of Computation Daniel N. Osherson, Scott Weinstein
2012	J	`jnl`	Algorithmic analysis of array-accessing programs. ACM Trans. Comput. Log. Rajeev Alur, Pavol Cerný, Scott Weinstein
2012	J	`jnl`	Notes on random reals CoRR Daniel N. Osherson, Scott Weinstein
2012	J	`jnl`	Preference based on Reasons. Rev. Symb. Log. Daniel N. Osherson, Scott Weinstein
2012	J	`jnl`	Quantified preference logic CoRR Daniel N. Osherson, Scott Weinstein
2011	—	`ch.`	Formal Learning Theory in Context. Inductive Logic Daniel N. Osherson, Scott Weinstein
2009	B	`conf`	Algorithmic Analysis of Array-Accessing Programs. CSL Rajeev Alur, Pavol Cerný, Scott Weinstein
2008	J	`jnl`	Recognizing Strong Random Reals. Rev. Symb. Log. Daniel N. Osherson, Scott Weinstein
2007	J	`jnl`	Book Review. J. Log. Lang. Inf. Steven Lindell, Scott Weinstein
2007	—	`book`	Finite Model Theory and Its Applications Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
2006	J	`jnl`	Elementary Proof of a Theorem of Jean Ville CoRR Elliott H. Lieb, Daniel N. Osherson, Scott Weinstein
2003	J	`jnl`	Interaction between path and type constraints. ACM Trans. Comput. Log. Peter Buneman, Wenfei Fan, Scott Weinstein
2001	J	`jnl`	Constraints for Semi-structured Data and XML. SIGMOD Rec. Peter Buneman, Wenfei Fan, Jérôme Siméon, Scott Weinstein
2000	J	`jnl`	Path Constraints in Semistructured Databases. J. Comput. Syst. Sci. Peter Buneman, Wenfei Fan, Scott Weinstein
2000	A*	`conf`	The Role of Decidability in First Order Separations over Classes of Finite Structures. LICS Steven Lindell, Scott Weinstein
1999	A*	`conf`	Interaction between Path and Type Constraints. PODS Peter Buneman, Wenfei Fan, Scott Weinstein
1999	—	`conf`	Query Optimization for Semistructured Data Using Path Constraints in a Deterministic Data Model. DBPL Peter Buneman, Wenfei Fan, Scott Weinstein
1999	—	`conf`	Specifying and Reasoning about Workflows with Path Constraints. ICSC Wenfei Fan, Scott Weinstein
1998	J	`jnl`	Elementary Properties of the Finite Ranks. Math. Log. Q. Anuj Dawar, Kees Doets, Steven Lindell, Scott Weinstein
1998	A*	`conf`	Path Constraints in Semistructured and Structured Databases. PODS Peter Buneman, Wenfei Fan, Scott Weinstein
1997	—	`ch.`	Formal Learning Theory. Handbook of Logic and Language Daniel N. Osherson, Dick de Jongh, Eric Martin, Scott Weinstein
1995	J	`jnl`	Centering: A Framework for Modeling the Local Coherence of Discourse. Comput. Linguistics Barbara J. Grosz, Aravind K. Joshi, Scott Weinstein
1995	B	`conf`	First Order Logic, Fixed Point Logic and Linear Order. CSL Anuj Dawar, Steven Lindell, Scott Weinstein
1995	J	`jnl`	Infinitary Logic and Inductive Definability over Finite Structures Inf. Comput. Anuj Dawar, Steven Lindell, Scott Weinstein
1995	J	`jnl`	On the danger of half-truths. J. Philos. Log. Daniel N. Osherson, Scott Weinstein
1994	—	`conf`	Preservation Theorems in Finite Model Theory. LCC Eric Rosen, Scott Weinstein
1993	J	`jnl`	Relevant consequence and empirical inquiry. J. Philos. Log. Daniel N. Osherson, Scott Weinstein
1992	J	`jnl`	A Universal Method of Scientific Inquiry. Mach. Learn. Daniel N. Osherson, Michael Stob, Scott Weinstein
1991	J	`jnl`	A Universal Inductive Inference Machine. J. Symb. Log. Daniel N. Osherson, Michael Stob, Scott Weinstein
1990	A*	`conf`	A Mechanical Method of Successful Scientific Inquiry. COLT Daniel N. Osherson, Michael Stob, Scott Weinstein
1990	J	`jnl`	Minimal Consequence in Sentential Logic. J. Log. Program. Mary-Angela Papalaskari, Scott Weinstein
1989	A*	`conf`	On Approximate Truth. COLT Daniel N. Osherson, Michael Stob, Scott Weinstein
1989	J	`jnl`	Paradigms of truth detection. J. Philos. Log. Daniel N. Osherson, Scott Weinstein
1988	J	`jnl`	Mechanical Learners Pay a Price for Bayesianism. J. Symb. Log. Daniel N. Osherson, Michael Stob, Scott Weinstein
1988	J	`jnl`	Synthesizing Inductive Expertise Inf. Comput. Daniel N. Osherson, Michael Stob, Scott Weinstein
1986	J	`jnl`	Aggregating Inductive Expertise Inf. Control. Daniel N. Osherson, Michael Stob, Scott Weinstein
1986	J	`jnl`	Identification in the limit of first order structures. J. Philos. Log. Daniel N. Osherson, Scott Weinstein
1983	A*	`conf`	Formal Theories of Language Acquisition: Practical and Theoretical Perspectives. IJCAI Daniel N. Osherson, Michael Stob, Scott Weinstein
1983	A*	`conf`	Providing a Unified Account of Definite Noun Phrases in Discourse. ACL Barbara J. Grosz, Aravind K. Joshi, Scott Weinstein
1983	J	`jnl`	The intended interpretation of intuitionistic logic. J. Philos. Log. Scott Weinstein
1982	J	`jnl`	Criteria of Language Learning Inf. Control. Daniel N. Osherson, Scott Weinstein
1982	J	`jnl`	Ideal Learning Machines. Cogn. Sci. Daniel N. Osherson, Michael Stob, Scott Weinstein
1982	J	`jnl`	Learning Strategies Inf. Control. Daniel N. Osherson, Michael Stob, Scott Weinstein
1981	A*	`conf`	Control of Inference: Role of Some Aspects of Discourse Structure-Centering. IJCAI Aravind K. Joshi, Scott Weinstein