Scott Weinstein

Affiliations:
  • University of Pennsylvania, Philadelphia, PA, USA


According to our database1, Scott Weinstein authored at least 46 papers between 1981 and 2020.

Collaborative distances:
  • Dijkstra number2 of three.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Traversal-invariant characterizations of logarithmic space.
CoRR, 2020

2015
Infinitary Methods in Finite Model Theory.
Proceedings of the Logic Without Borders, 2015

2014
Deontic modality based on preference.
CoRR, 2014

2013
Modal Logic for Preference Based on Reasons.
Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013

2012
Algorithmic analysis of array-accessing programs.
ACM Trans. Comput. Log., 2012

Preference based on Reasons.
Rev. Symb. Log., 2012

Notes on random reals
CoRR, 2012

Quantified preference logic
CoRR, 2012

2011
Formal Learning Theory in Context.
Proceedings of the Inductive Logic, 2011

2008
Recognizing Strong Random Reals.
Rev. Symb. Log., 2008

2007
Finite Model Theory and Its Applications
Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-540-68804-4, 2007

Book Review.
J. Log. Lang. Inf., 2007

2006
Elementary Proof of a Theorem of Jean Ville
CoRR, 2006

2003
Interaction between path and type constraints.
ACM Trans. Comput. Log., 2003

2001
Constraints for Semi-structured Data and XML.
SIGMOD Rec., 2001

2000
Path Constraints in Semistructured Databases.
J. Comput. Syst. Sci., 2000

The Role of Decidability in First Order Separations over Classes of Finite Structures.
Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

1999
Specifying and Reasoning about Workflows with Path Constraints.
Proceedings of the Internet Applications, 5th International Computer Science Conference, 1999

Query Optimization for Semistructured Data Using Path Constraints in a Deterministic Data Model.
Proceedings of the Research Issues in Structured and Semistructured Database Programming, 1999

1998
Elementary Properties of the Finite Ranks.
Math. Log. Q., 1998

Path Constraints in Semistructured and Structured Databases.
Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1998

1997
Formal Learning Theory.
Proceedings of the Handbook of Logic and Language., 1997

1995
Infinitary Logic and Inductive Definability over Finite Structures
Inf. Comput., June, 1995

On the danger of half-truths.
J. Philos. Log., 1995

Centering: A Framework for Modeling the Local Coherence of Discourse.
Comput. Linguistics, 1995

<i>k</i>-universal finite graphs.
Proceedings of the Logic and Random Structures, 1995

First Order Logic, Fixed Point Logic and Linear Order.
Proceedings of the Computer Science Logic, 9th International Workshop, 1995

1994
Preservation Theorems in Finite Model Theory.
Proceedings of the Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, 1994

1993
Relevant consequence and empirical inquiry.
J. Philos. Log., 1993

1992
A Universal Method of Scientific Inquiry.
Mach. Learn., 1992

1991
A Universal Inductive Inference Machine.
J. Symb. Log., 1991

1990
Minimal Consequence in Sentential Logic.
J. Log. Program., 1990

A Mechanical Method of Successful Scientific Inquiry.
Proceedings of the Third Annual Workshop on Computational Learning Theory, 1990

1989
Paradigms of truth detection.
J. Philos. Log., 1989

On Approximate Truth.
Proceedings of the Second Annual Workshop on Computational Learning Theory, 1989

1988
Synthesizing Inductive Expertise
Inf. Comput., May, 1988

Mechanical Learners Pay a Price for Bayesianism.
J. Symb. Log., 1988

1986
Aggregating Inductive Expertise
Inf. Control., July, 1986

Identification in the limit of first order structures.
J. Philos. Log., 1986

1983
The intended interpretation of intuitionistic logic.
J. Philos. Log., 1983

Formal Theories of Language Acquisition: Practical and Theoretical Perspectives.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

Providing a Unified Account of Definite Noun Phrases in Discourse.
Proceedings of the 21st Annual Meeting of the Association for Computational Linguistics, 1983

1982
Criteria of Language Learning
Inf. Control., February, 1982

Learning Strategies
Inf. Control., 1982

Ideal Learning Machines.
Cogn. Sci., 1982

1981
Control of Inference: Role of Some Aspects of Discourse Structure-Centering.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981


  Loading...