| 2000 |
|---|
| 51 | | Dean F. Hougen,
Maria L. Gini,
James R. Slagle:
An Integrated Connectionist Approach to Reinforcement Learning for Robotic Control.
ICML 2000: 383-390 |
| 1999 |
|---|
| 50 | | Sait Dogru,
James R. Slagle:
Implementing a Semantic Lexicon.
ICCS 1999: 154-167 |
| 1997 |
|---|
| 49 | | Subash Shankar,
James R. Slagle:
Connection Based Strategies for Deciding Propositional Temporal Logic.
AAAI/IAAI 1997: 172-177 |
| 48 | | Subash Shankar,
James R. Slagle:
A polymodal semantics for VHDL.
CHARME 1997: 88-105 |
| 1996 |
|---|
| 47 | | Vijay Rajan,
James R. Slagle:
The Use of Artificially Intelligent Agents with Bounded Rationality in the Study of Economic Markets.
AAAI/IAAI, Vol. 1 1996: 102-107 |
| 46 | EE | Danny Kilis,
E. Ackerman,
James R. Slagle:
Embedding global physiological data in an artificial neural network.
ANZIIS 1996: 92-95 |
| 45 | | Sait Dogru,
Vijay Rajan,
Keith Rieck,
James R. Slagle,
Bosco S. Tjan,
Yewei Wang:
A Graphical Data Flow Language for Retrieval, Analysis, and Visualization of a Scientific Database.
J. Vis. Lang. Comput. 7(3): 247-265 (1996) |
| 1994 |
|---|
| 44 | | David A. Gardiner,
John Riedl,
James R. Slagle:
TREC-3: Experience With Conceptual Relations in Information Retrieval.
TREC 1994: 0- |
| 43 | EE | John Chung-Mong Lee,
Ting-Chuen Pong,
James R. Slagle,
Albert C. Esterline:
An experimental study of an object recognition system that learns.
Pattern Recognition 27(1): 65-89 (1994) |
| 1993 |
|---|
| 42 | | Bosco S. Tjan,
Len Breslow,
Sait Dogru,
Vijay Rajan,
Keith Rieck,
James R. Slagle,
Marius O. Poliac:
A Data-Flow Graphical User Interface for Querying a Scientific Database.
VL 1993: 49-54 |
| 1992 |
|---|
| 41 | | Sait Dogru,
James R. Slagle:
A System that Translates Conceptual Structures into English.
Workshop on Conceptual Graphs 1992: 283-292 |
| 1991 |
|---|
| 40 | | John M. Long,
E. A. Irani,
James R. Slagle:
Automating the Discovery of Causal Relationships in a Medical Records Database: The POSCH AI Project.
Knowledge Discovery in Databases 1991: 465-476 |
| 1990 |
|---|
| 39 | | E. A. Irani,
James R. Slagle,
John M. Long,
John P. Matts:
Formulating an approach to develop a system for the temporal analysis of clinical trial data: the POSCH AI project.
Ann. Math. Artif. Intell. 2: 237-244 (1990) |
| 38 | EE | James R. Slagle,
David A. Gardiner,
Kyungsook Han:
Knowledge Specification of an Expert System.
IEEE Expert 5(4): 29-38 (1990) |
| 1989 |
|---|
| 37 | EE | James R. Slagle,
Ashim Bose,
P. Busalacchi,
C. Wee:
Enhanced simulated annealing for automatic reconfiguration of multiprocessors in space.
IEA/AIE (1) 1989: 401-408 |
| 36 | | Danny Kilis,
Albert C. Esterline,
James R. Slagle:
Specification and Verification of Network Protocols Using Executable Temporal Logic.
IFIP Congress 1989: 845-850 |
| 35 | | Michael R. Wick,
James R. Slagle:
An Explanation Facility for Today's Expert Systems.
IEEE Expert 4(1): 26-36 (1989) |
| 1988 |
|---|
| 34 | | James R. Slagle,
Michael R. Wick:
A Method for Evaluating Candidate Expert System Applications.
AI Magazine 9(4): 44-53 (1988) |
| 1987 |
|---|
| 33 | EE | James R. Slagle,
Michael R. Wick:
A journalistic explanation facility for an expert system shell (abstract only).
ACM Conference on Computer Science 1987: 380 |
| 1986 |
|---|
| 32 | | James R. Slagle,
Michael R. Wick,
Marius O. Poliac:
AGNESS: A Generalized Network-based Expert System Shell.
AAAI 1986: 996-1002 |
| 31 | EE | James R. Slagle,
John M. Long,
Michael R. Wick,
John P. Matts,
Arthur S. Leon:
An expert system for treadmill excercise ECG test analysis (abtracts).
ACM Conference on Computer Science 1986: 421 |
| 1985 |
|---|
| 30 | | James R. Slagle,
Henry Hamburger:
An Expert System for a Resource Allocation Problem.
Commun. ACM 28(9): 994-1004 (1985) |
| 1984 |
|---|
| 29 | EE | James R. Slagle,
John K. Dixon:
Freedom descriptions: A way to find figures that approximate given points.
Pattern Recognition 17(6): 631-636 (1984) |
| 1983 |
|---|
| 28 | | James R. Slagle,
Michael Gaynor:
Expert System Consultation Control Strategy.
AAAI 1983: 369-372 |
| 1981 |
|---|
| 27 | | John K. Dixon,
Susan A. Bouchard,
William G. Kennedy,
James R. Slagle:
MARK I Robot.
IJCAI 1981: 1065 |
| 1980 |
|---|
| 26 | EE | James R. Slagle,
John K. Dixon:
Finding a good figure that approximately passes through given points.
Pattern Recognition 12(5): 319-326 (1980) |
| 1979 |
|---|
| 25 | | Chin-Liang Chang,
James R. Slagle:
Using Rewriting Rules for Connection Graphs to Prove Theorems.
Artif. Intell. 12(2): 159-178 (1979) |
| 24 | | James R. Slagle:
Experiments with Some Algorithms that Find Central Solutions for Pattern Classification.
Commun. ACM 22(3): 178-18 (1979) |
| 1978 |
|---|
| 23 | | Richard C. T. Lee,
James R. Slagle,
C. T. Mong:
Towards Automatic Auditing of Records.
IEEE Trans. Software Eng. 4(5): 441-448 (1978) |
| 1977 |
|---|
| 22 | | William B. Gevarter,
James S. Albus,
N. Caplan,
B. Chern,
Kent Curtis,
Marvin Denicoff,
James R. Slagle:
Federal Programs in Artificial Intelligence.
IJCAI 1977: 940-950 |
| 21 | | Richard C. T. Lee,
James R. Slagle,
H. Blum:
A Triangulation Method for the Sequential Mapping of Points from N-Space to Two-Space.
IEEE Trans. Computers 26(3): 288-292 (1977) |
| 1976 |
|---|
| 20 | | Richard C. T. Lee,
James R. Slagle,
C. T. Mong:
Application of Clustering to Estimate Missing Data and Improve Data Integrity.
ICSE 1976: 539-544 |
| 1975 |
|---|
| 19 | | James R. Slagle,
Lewis M. Norton:
Automated Theorem-Proving for the Theories of Partial and Total Ordering.
Comput. J. 18(1): 49-54 (1975) |
| 1974 |
|---|
| 18 | EE | James R. Slagle:
Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity.
J. ACM 21(4): 622-642 (1974) |
| 17 | EE | James R. Slagle,
Chin-Liang Chang,
Richard C. T. Lee:
Experiments with some cluster analysis algorithms.
Pattern Recognition 6(3-4): 181-187 (1974) |
| 1973 |
|---|
| 16 | | James R. Slagle,
Lewis M. Norton:
Experiments with an Automatic Theorem-Prover Having Partial Ordering Inference Rules.
Commun. ACM 16(11): 682-688 (1973) |
| 1972 |
|---|
| 15 | EE | James R. Slagle:
Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets.
J. ACM 19(1): 120-135 (1972) |
| 14 | EE | James R. Slagle:
An Approach for Finding C-Linear Complete Inference Systems.
J. ACM 19(3): 496-516 (1972) |
| 1971 |
|---|
| 13 | | Chin-Liang Chang,
James R. Slagle:
An Admissible and Optimal Algorithm for Searching AND/OR Graphs.
Artif. Intell. 2(2): 117-128 (1971) |
| 12 | | James R. Slagle,
Richard C. T. Lee:
Application of Game Tree Searching Techniques to Sequential Pattern Recognition.
Commun. ACM 14(2): 103-110 (1971) |
| 11 | | James R. Slagle,
Carl D. Farrell:
Experiments in Automatic Learning for a Multipurpose Heuristic Program.
Commun. ACM 14(2): 91-99 (1971) |
| 10 | EE | Chin-Liang Chang,
James R. Slagle:
Completeness of Linear Refutation for Theories with Equality.
J. ACM 18(1): 126-136 (1971) |
| 1970 |
|---|
| 9 | EE | James R. Slagle:
Interpolation Theorems for Resolution in Lower Predicate Calculus.
J. ACM 17(3): 535-542 (1970) |
| 1969 |
|---|
| 8 | | James R. Slagle,
Chin-Liang Chang,
Richard C. T. Lee:
Completeness Theorems for Semantic Resolution in Consequence-Finding.
IJCAI 1969: 281-286 |
| 7 | EE | James R. Slagle,
John K. Dixon:
Experiments With Some Programs That Search Game Trees.
J. ACM 16(2): 189-207 (1969) |
| 1968 |
|---|
| 6 | EE | James R. Slagle,
Philip Bursky:
Experiments With a Multipurpose, Theorem-Proving Heuristic Program.
J. ACM 15(1): 85-99 (1968) |
| 1967 |
|---|
| 5 | EE | James R. Slagle:
Automatic Theorem Proving With Renamable and Semantic Resolution.
J. ACM 14(4): 687-697 (1967) |
| 1965 |
|---|
| 4 | EE | James R. Slagle:
Experiments with a deductive question-answering program.
Commun. ACM 8(12): 792-798 (1965) |
| 1964 |
|---|
| 3 | EE | James R. Slagle:
On an algorithm for minimum-cost procedures.
Commun. ACM 7(11): 682 (1964) |
| 2 | EE | James R. Slagle:
An Efficient Algorithm for Finding Certain Minimum-Cost Procedures for Making Binary Decisions.
J. ACM 11(3): 253-264 (1964) |
| 1963 |
|---|
| 1 | EE | James R. Slagle:
A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus.
J. ACM 10(4): 507-520 (1963) |
