dblp.uni-trier.dewww.uni-trier.de

Patrick Suppes

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
22EEPatrick Suppes: Statistical concepts in philosophy of science. Synthese 154(3): 485-496 (2007)
21EEPatrick Suppes: Where do Bayesian priors come from? Synthese 156(3): 441-471 (2007)
2006
20EEDik Kin Wong, Marcos Perreau Guimaraes, E. Timothy Uy, Logan Grosenick, Patrick Suppes: Multichannel Classification of Single EEG Trials with Independent Component Analysis. ISNN (2) 2006: 541-547
2005
19 Patrick Suppes: Psychological Nature of Verification of Informal Mathematical Proofs. We Will Show Them! (2) 2005: 693-712
2004
18EEPatrick Suppes, Jean-Yves Béziau: Semantic computations of truth based on associations already learned. J. Applied Logic 2(4): 457-467 (2004)
17EEDik Kin Wong, Marcos Perreau Guimaraes, E. Timothy Uy, Patrick Suppes: Classification of individual trials based on the best independent component of EEG-recorded sentences. Neurocomputing 61: 479-484 (2004)
1996
16 Patrick Suppes, Lin Liang, Michael Böttner: Machine Learning Comprehension Grammars for Ten Languages. Computational Linguistics 22(3): 329-350 (1996)
1995
15 Patrick Suppes, Michael Böttner, Lin Liang, Raymond Ravaglia: Machine Learning of Natural Language: Problems and Prospects. WOCFAI 1995: 511-525
14 Rolando Chuaqui, Patrick Suppes: Free-Variable Axiomatic Foundations of Infinitesimal Analysis: A Fragment with Finitary Consistency Proof. J. Symb. Log. 60(1): 122-159 (1995)
13 Patrick Suppes, Michael Böttner, Lin Liang: Comprehension Grammars Generated from Machine Learning of Natural Languages. Machine Learning 19(2): 133-152 (1995)
1989
12 Patrick Suppes: Uses of Artificial Intelligence on Computer Based Instruction. Artificial Intelligence in Higher Education 1989: 206-225
11 Patrick Suppes, Shuzo Takahashi: An Interactive Calculus Theorem-Prover for Continuity Properties. J. Symb. Comput. 7(6): 573-590 (1989)
1988
10 Rolando Chuaqui, Patrick Suppes: An equational deductive system for the differential and integral calculus. Conference on Computer Logic 1988: 25-49
9 Patrick Suppes: Philosophical Implications of Tarski's Work. J. Symb. Log. 53(1): 80-91 (1988)
1987
8 Colleen Crangle, Patrick Suppes: Context-Fixing Semantics for Instructable Robots. International Journal of Man-Machine Studies 27(4): 371-400 (1987)
1985
7 Robert Elton Maas, Patrick Suppes: Natural-Language Interface for an Instructable Robot. International Journal of Man-Machine Studies 22(2): 215-240 (1985)
1984
6 Patrick Suppes: The Next Generation of Interactive Theorem Provers. CADE 1984: 303-315
1979
5 Patrick Suppes: Current Trends in Computer-Assisted Instruction. Advances in Computers 18: 173-229 (1979)
1978
4EEAlfred Bork, Kenneth Bowles, Patrick Suppes, Robert Noel: Computer-based courses(Panel Discussion). ACM Annual Conference (2) 1978: 658
1968
3 Patrick Suppes: Computer-assisted instruction: an overview of operations and problems. IFIP Congress (2) 1968: 1103-1113
1958
2 Dana S. Scott, Patrick Suppes: Foundational Aspects of Theories of Measurement. J. Symb. Log. 23(2): 113-128 (1958)
1955
1 Herman Rubin, Patrick Suppes: A Note on Two-Place Predicates and Fitting Sequences of Measure Functions. J. Symb. Log. 20(2): 121-122 (1955)

Coauthor Index

1Jean-Yves Béziau [18]
2Alfred Bork [4]
3Michael Böttner [13] [15] [16]
4Kenneth Bowles [4]
5Rolando Chuaqui [10] [14]
6Colleen Crangle [8]
7Logan Grosenick [20]
8Marcos Perreau Guimaraes [17] [20]
9Lin Liang [13] [15] [16]
10Robert Elton Maas [7]
11Robert Noel [4]
12Raymond Ravaglia [15]
13Herman Rubin [1]
14Dana S. Scott [2]
15Shuzo Takahashi [11]
16E. Timothy Uy [17] [20]
17Dik Kin Wong [17] [20]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)