2007 |
22 | EE | Patrick Suppes:
Statistical concepts in philosophy of science.
Synthese 154(3): 485-496 (2007) |
21 | EE | Patrick Suppes:
Where do Bayesian priors come from?
Synthese 156(3): 441-471 (2007) |
2006 |
20 | EE | Dik 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 |
18 | EE | Patrick Suppes,
Jean-Yves Béziau:
Semantic computations of truth based on associations already learned.
J. Applied Logic 2(4): 457-467 (2004) |
17 | EE | Dik 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 |
4 | EE | Alfred 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) |