Formal integration on a digital computer. - James R. Slagle (ACM National Meeting, 1959)

A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus. - James R. Slagle (J. ACM, 1963)

On an algorithm for minimum-cost procedures. - James R. Slagle (Commun. ACM, 1964)

An Efficient Algorithm for Finding Certain Minimum-Cost Procedures for Making Binary Decisions. - James R. Slagle (J. ACM, 1964)

Experiments with a deductive question-answering program. - James R. Slagle (Commun. ACM, 1965)

Automatic Theorem Proving With Renamable and Semantic Resolution. - James R. Slagle (J. ACM, 1967)

Experiments With a Multipurpose, Theorem-Proving Heuristic Program. - James R. Slagle; Philip Bursky (J. ACM, 1968)

Completeness Theorems for Semantic Resolution in Consequence-Finding. - James R. Slagle; Chin-Liang Chang; Richard C. T. Lee (IJCAI, 1969)

Experiments With Some Programs That Search Game Trees. - James R. Slagle; John K. Dixon (J. ACM, 1969)

Experiments with the M & N tree-searching program. - James R. Slagle; John K. Dixon (Commun. ACM, 1970)

Interpolation Theorems for Resolution in Lower Predicate Calculus. - James R. Slagle (J. ACM, 1970)

A New Algorithm for Generating Prime Implicants. - James R. Slagle; Chin-Liang Chang; Richard C. T. Lee (IEEE Trans. Computers, 1970)

An Admissible and Optimal Algorithm for Searching AND/OR Graphs. - Chin-Liang Chang; James R. Slagle (Artif. Intell., 1971)

Experiments in Automatic Learning for a Multipurpose Heuristic Program. - James R. Slagle; Carl D. Farrell (Commun. ACM, 1971)

Application of Game Tree Searching Techniques to Sequential Pattern Recognition. - James R. Slagle; Richard C. T. Lee (Commun. ACM, 1971)

Finding resolution proofs and using duplicate goals in and/or trees. - James R. Slagle; Deena A. Koniver (Inf. Sci., 1971)

Completeness of Linear Refutation for Theories with Equality. - Chin-Liang Chang; James R. Slagle (J. ACM, 1971)

Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets. - James R. Slagle (J. ACM, 1972)

An Approach for Finding C-Linear Complete Inference Systems. - James R. Slagle (J. ACM, 1972)

Experiments with an Automatic Theorem-Prover Having Partial Ordering Inference Rules. - James R. Slagle; Lewis M. Norton (Commun. ACM, 1973)

Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity. - James R. Slagle (J. ACM, 1974)

Experiments with some cluster analysis algorithms. - James R. Slagle; Chin-Liang Chang; Richard C. T. Lee (Pattern Recognit., 1974)

Automated Theorem-Proving for the Theories of Partial and Total Ordering. - James R. Slagle; Lewis M. Norton (Comput. J., 1975)

A Clustering and Data-Reorganizing Algorithm. - James R. Slagle; Chin-Liang Chang; Stephen R. Heller (IEEE Trans. Syst. Man Cybern., 1975)

Application of Clustering to Estimate Missing Data and Improve Data Integrity. - Richard C. T. Lee; James R. Slagle; C. T. Mong (ICSE, 1976)

Federal Programs in Artificial Intelligence. - William B. Gevarter; James S. Albus; N. Caplan; B. Chern; Kent K. Curtis; Marvin Denicoff; James R. Slagle (IJCAI, 1977)

A Triangulation Method for the Sequential Mapping of Points from N-Space to Two-Space. - Richard C. T. Lee; James R. Slagle; H. Blum (IEEE Trans. Computers, 1977)

Towards Automatic Auditing of Records. - Richard C. T. Lee; James R. Slagle; C. T. Mong (IEEE Trans. Software Eng., 1978)

Using Rewriting Rules for Connection Graphs to Prove Theorems. - Chin-Liang Chang; James R. Slagle (Artif. Intell., 1979)

Experiments with Some Algorithms that Find Central Solutions for Pattern Classification. - James R. Slagle (Commun. ACM, 1979)

Finding a good figure that approximately passes through given points. - James R. Slagle; John K. Dixon (Pattern Recognit., 1980)

MARK I Robot. - John K. Dixon; Susan A. Bouchard; William G. Kennedy; James R. Slagle (IJCAI, 1981)

Expert System Consultation Control Strategy. - James R. Slagle; Michael W. Gaynor (AAAI, 1983)

An Intelligent Control Strategy for Computer Consultation. - James R. Slagle; Michael W. Gaynor; Ethan J. Halpern (IEEE Trans. Pattern Anal. Mach. Intell., 1984)

Freedom descriptions: A way to find figures that approximate given points. - James R. Slagle; John K. Dixon (Pattern Recognit., 1984)

An Expert System for a Resource Allocation Problem. - James R. Slagle; Henry Hamburger (Commun. ACM, 1985)

AGNESS: A Generalized Network-based Expert System Shell. - James R. Slagle; Michael R. Wick; Marius O. Poliac (AAAI, 1986)

An expert system for treadmill excercise ECG test analysis (abtracts). - James R. Slagle; John M. Long; Michael R. Wick; John P. Matts; Arthur S. Leon (ACM Conference on Computer Science, 1986)

A journalistic explanation facility for an expert system shell (abstract only). - James R. Slagle; Michael R. Wick (ACM Conference on Computer Science, 1987)

Experimenting with artificial neural networks-artificial intelligence mini-tutorial. 3. - Erach A. Irani; John M. Long; James R. Slagle (CBMS, 1988)

Temporal reasoning in medicine with an example in cystic fibrosis patient management-artificial intelligence mini-tutorial. 2. - Laiwah A. Leung; James R. Slagle; Stanley M. Finkelstein; Warren J. Warwick (CBMS, 1988)

Lessons learned while implementing expert systems in the real world of clinical trials data analyses: The POSCH AI project. - John M. Long; James R. Slagle; Michael R. Wick; Erach A. Irani; Patrick R. Weisman; John P. Matts; Paul F. Clarkson (CBMS, 1988)

Applications of a generalized network-based expert system shell-artificial intelligence mini-tutorial. 1. - James R. Slagle (CBMS, 1988)

A network based expert system for intelligent design of mechanisms. - Sridhar Kota; Arthur G. Erdman; Donald R. Riley; Albert C. Esterline; James R. Slagle (Artif. Intell. Eng. Des. Anal. Manuf., 1988)

A Method for Evaluating Candidate Expert System Applications. - James R. Slagle; Michael R. Wick (AI Mag., 1988)

Enhanced simulated annealing for automatic reconfiguration of multiprocessors in space. - James R. Slagle; Ashim Bose; P. Busalacchi; C. Wee (IEA/AIE (1), 1989)

Specification and Verification of Network Protocols Using Executable Temporal Logic. - Danny Kilis; Albert C. Esterline; James R. Slagle (IFIP Congress, 1989)

Using Artificial Neural Nets for Statistical Discovery: Observations after Using Backpropogation, Expert Systems, and Multiple-Linear Regression on Clinical Trial Data. - Erach A. Irani; John P. Matts; John M. Long; James R. Slagle (Complex Syst., 1989)

An Explanation Facility for Today's Expert Systems. - Michael R. Wick; James R. Slagle (IEEE Expert, 1989)

Monitor: an expert system that validates and interprets time-dependent partial data based on a cystic fibrosis home monitoring program. - James R. Slagle; Stanley M. Finkelstein; Laiwah A. Leung; Warren J. Warwick (IEEE Trans. Biomed. Eng., 1989)

The partitioned support network for expert system justification. - Michael R. Wick; James R. Slagle (IEEE Trans. Syst. Man Cybern., 1989)

Automated assistance for maintenance of medical expert systems: the POSCH AI project. - Erach A. Irani; John P. Matts; David W. Hunter; James R. Slagle; R. Y. Kainl; John M. Long (CBMS, 1990)

Formulating an approach to develop a system for the temporal analysis of clinical trial data: the POSCH AI project. - E. A. Irani; James R. Slagle; John M. Long; John P. Matts (Ann. Math. Artif. Intell., 1990)

Knowledge Specification of an Expert System. - James R. Slagle; David A. Gardiner; Kyungsook Han (IEEE Expert, 1990)

A Knowledge-Based System for the Image Correspondence Problem. - John Chung-Mong Lee; Ting-Chuen Pong; James R. Slagle (Int. J. Pattern Recognit. Artif. Intell., 1990)

Automating the Discovery of Causal Relationships in a Medical Records Database: The POSCH AI Project. - John M. Long; E. A. Irani; James R. Slagle (Knowledge Discovery in Databases, 1991)

A System that Translates Conceptual Structures into English. - Sait Dogru; James R. Slagle (Workshop on Conceptual Graphs, 1992)

A Data-Flow Graphical User Interface for Querying a Scientific Database. - Bosco S. Tjan; Len Breslow; Sait Dogru; Vijay Rajan; Keith Rieck; James R. Slagle; Marius O. Poliac (VL, 1993)

TREC-3: Experience With Conceptual Relations in Information Retrieval. - David A. Gardiner; John Riedl; James R. Slagle (TREC, 1994)

An experimental study of an object recognition system that learns. - John Chung-Mong Lee; Ting-Chuen Pong; James R. Slagle; Albert C. Esterline (Pattern Recognit., 1994)

The Use of Artificially Intelligent Agents with Bounded Rationality in the Study of Economic Markets. - Vijay Rajan; James R. Slagle (AAAI/IAAI, Vol. 1, 1996)

Embedding global physiological data in an artificial neural network. - Danny Kilis; Eugene Ackerman; James R. Slagle (ANZIIS, 1996)

Fast connectionist learning for trailer backing using a real robot. - Dean F. Hougen; John Fischer; Maria L. Gini; James R. Slagle (ICRA, 1996)

A Graphical Data Flow Language for Retrieval, Analysis, and Visualization of a Scientific Database. - Sait Dogru; Vijay Rajan; Keith Rieck; James R. Slagle; Bosco S. Tjan; Yewei Wang (J. Vis. Lang. Comput., 1996)

Connection Based Strategies for Deciding Propositional Temporal Logic. - Subash Shankar; James R. Slagle (AAAI/IAAI, 1997)

A polymodal semantics for VHDL. - Subash Shankar; James R. Slagle (CHARME, 1997)

Partitioning input space for reinforcement learning for control. - Dean F. Hougen; Maria L. Gini; James R. Slagle (ICNN, 1997)

Rapid unsupervised connectionist learning for backing a robot with two trailers. - Dean F. Hougen; Maria L. Gini; James R. Slagle (ICRA, 1997)

Implementing a Semantic Lexicon. - Sait Dogru; James R. Slagle (ICCS, 1999)

An Integrated Connectionist Approach to Reinforcement Learning for Robotic Control. - Dean F. Hougen; Maria L. Gini; James R. Slagle (ICML, 2000)