James R. Slagle

70 papers A* 9B 5Misc 1Journal 41Unranked 13
YearRankTypeTitle / Venue / Authors
2000 A* conf
An Integrated Connectionist Approach to Reinforcement Learning for Robotic Control.
ICML
Dean F. Hougen, Maria L. Gini, James R. Slagle
1999 Misc conf
Implementing a Semantic Lexicon.
ICCS
Sait Dogru, James R. Slagle
1997 — conf
A polymodal semantics for VHDL.
CHARME
Subash Shankar, James R. Slagle
1997 — conf
Connection Based Strategies for Deciding Propositional Temporal Logic.
AAAI/IAAI
Subash Shankar, James R. Slagle
1997 — conf
Partitioning input space for reinforcement learning for control.
ICNN
Dean F. Hougen, Maria L. Gini, James R. Slagle
1997 A* conf
Rapid unsupervised connectionist learning for backing a robot with two trailers.
ICRA
Dean F. Hougen, Maria L. Gini, James R. Slagle
1996 J jnl
A Graphical Data Flow Language for Retrieval, Analysis, and Visualization of a Scientific Database.
J. Vis. Lang. Comput.
Sait Dogru, Vijay Rajan, Keith Rieck, James R. Slagle, Bosco S. Tjan, Yewei Wang
1996 — conf
Embedding global physiological data in an artificial neural network.
ANZIIS
Danny Kilis, Eugene Ackerman, James R. Slagle
1996 A* conf
Fast connectionist learning for trailer backing using a real robot.
ICRA
Dean F. Hougen, John Fischer, Maria L. Gini, James R. Slagle
1996 — conf
The Use of Artificially Intelligent Agents with Bounded Rationality in the Study of Economic Markets.
AAAI/IAAI, Vol. 1
Vijay Rajan, James R. Slagle
1994 J jnl
An experimental study of an object recognition system that learns.
Pattern Recognit.
John Chung-Mong Lee, Ting-Chuen Pong, James R. Slagle, Albert C. Esterline
1994 — conf
TREC-3: Experience With Conceptual Relations in Information Retrieval.
TREC
David A. Gardiner, John Riedl, James R. Slagle
1993 — conf
A Data-Flow Graphical User Interface for Querying a Scientific Database.
VL
Bosco S. Tjan, Len Breslow, Sait Dogru, Vijay Rajan, Keith Rieck, James R. Slagle, Marius O. Poliac
1992 — conf
A System that Translates Conceptual Structures into English.
Workshop on Conceptual Graphs
Sait Dogru, James R. Slagle
1991 — ch.
Automating the Discovery of Causal Relationships in a Medical Records Database: The POSCH AI Project.
Knowledge Discovery in Databases
John M. Long, E. A. Irani, James R. Slagle
1990 J jnl
A Knowledge-Based System for the Image Correspondence Problem.
Int. J. Pattern Recognit. Artif. Intell.
John Chung-Mong Lee, Ting-Chuen Pong, James R. Slagle
1990 B conf
Automated assistance for maintenance of medical expert systems: the POSCH AI project.
CBMS
Erach A. Irani, John P. Matts, David W. Hunter, James R. Slagle, R. Y. Kainl, John M. Long
1990 J jnl
Formulating an approach to develop a system for the temporal analysis of clinical trial data: the POSCH AI project.
Ann. Math. Artif. Intell.
E. A. Irani, James R. Slagle, John M. Long, John P. Matts
1990 J jnl
Knowledge Specification of an Expert System.
IEEE Expert
James R. Slagle, David A. Gardiner, Kyungsook Han
1989 J jnl
An Explanation Facility for Today's Expert Systems.
IEEE Expert
Michael R. Wick, James R. Slagle
1989 — conf
Enhanced simulated annealing for automatic reconfiguration of multiprocessors in space.
IEA/AIE (1)
James R. Slagle, Ashim Bose, P. Busalacchi, C. Wee
1989 J jnl
Monitor: an expert system that validates and interprets time-dependent partial data based on a cystic fibrosis home monitoring program.
IEEE Trans. Biomed. Eng.
James R. Slagle, Stanley M. Finkelstein, Laiwah A. Leung, Warren J. Warwick
1989 — conf
Specification and Verification of Network Protocols Using Executable Temporal Logic.
IFIP Congress
Danny Kilis, Albert C. Esterline, James R. Slagle
1989 J jnl
The partitioned support network for expert system justification.
IEEE Trans. Syst. Man Cybern.
Michael R. Wick, James R. Slagle
1989 J jnl
Using Artificial Neural Nets for Statistical Discovery: Observations after Using Backpropogation, Expert Systems, and Multiple-Linear Regression on Clinical Trial Data.
Complex Syst.
Erach A. Irani, John P. Matts, John M. Long, James R. Slagle
1988 J jnl
A Method for Evaluating Candidate Expert System Applications.
AI Mag.
James R. Slagle, Michael R. Wick
1988 J jnl
A network based expert system for intelligent design of mechanisms.
Artif. Intell. Eng. Des. Anal. Manuf.
Sridhar Kota, Arthur G. Erdman, Donald R. Riley, Albert C. Esterline, James R. Slagle
1988 B conf
Applications of a generalized network-based expert system shell-artificial intelligence mini-tutorial. 1.
CBMS
James R. Slagle
1988 B conf
Experimenting with artificial neural networks-artificial intelligence mini-tutorial. 3.
CBMS
Erach A. Irani, John M. Long, James R. Slagle
1988 B conf
Lessons learned while implementing expert systems in the real world of clinical trials data analyses: The POSCH AI project.
CBMS
John M. Long, James R. Slagle, Michael R. Wick, Erach A. Irani, Patrick R. Weisman, John P. Matts, Paul F. Clarkson
1988 B conf
Temporal reasoning in medicine with an example in cystic fibrosis patient management-artificial intelligence mini-tutorial. 2.
CBMS
Laiwah A. Leung, James R. Slagle, Stanley M. Finkelstein, Warren J. Warwick
1987 — conf
A journalistic explanation facility for an expert system shell (abstract only).
ACM Conference on Computer Science
James R. Slagle, Michael R. Wick
1986 A* conf
AGNESS: A Generalized Network-based Expert System Shell.
AAAI
James R. Slagle, Michael R. Wick, Marius O. Poliac
1986 — conf
An expert system for treadmill excercise ECG test analysis (abtracts).
ACM Conference on Computer Science
James R. Slagle, John M. Long, Michael R. Wick, John P. Matts, Arthur S. Leon
1985 J jnl
An Expert System for a Resource Allocation Problem.
Commun. ACM
James R. Slagle, Henry Hamburger
1984 J jnl
An Intelligent Control Strategy for Computer Consultation.
IEEE Trans. Pattern Anal. Mach. Intell.
James R. Slagle, Michael W. Gaynor, Ethan J. Halpern
1984 J jnl
Freedom descriptions: A way to find figures that approximate given points.
Pattern Recognit.
James R. Slagle, John K. Dixon
1983 A* conf
Expert System Consultation Control Strategy.
AAAI
James R. Slagle, Michael W. Gaynor
1981 A* conf
MARK I Robot.
IJCAI
John K. Dixon, Susan A. Bouchard, William G. Kennedy, James R. Slagle
1980 J jnl
Finding a good figure that approximately passes through given points.
Pattern Recognit.
James R. Slagle, John K. Dixon
1979 J jnl
Experiments with Some Algorithms that Find Central Solutions for Pattern Classification.
Commun. ACM
James R. Slagle
1979 J jnl
Using Rewriting Rules for Connection Graphs to Prove Theorems.
Artif. Intell.
Chin-Liang Chang, James R. Slagle
1978 J jnl
Towards Automatic Auditing of Records.
IEEE Trans. Software Eng.
Richard C. T. Lee, James R. Slagle, C. T. Mong
1977 J jnl
A Triangulation Method for the Sequential Mapping of Points from
IEEE Trans. Computers
Richard C. T. Lee, James R. Slagle, H. Blum
1977 A* conf
Federal Programs in Artificial Intelligence.
IJCAI
William B. Gevarter, James S. Albus, N. Caplan, B. Chern, Kent K. Curtis, Marvin Denicoff, James R. Slagle
1976 A* conf
Application of Clustering to Estimate Missing Data and Improve Data Integrity.
ICSE
Richard C. T. Lee, James R. Slagle, C. T. Mong
1975 J jnl
A Clustering and Data-Reorganizing Algorithm.
IEEE Trans. Syst. Man Cybern.
James R. Slagle, Chin-Liang Chang, Stephen R. Heller
1975 J jnl
Automated Theorem-Proving for the Theories of Partial and Total Ordering.
Comput. J.
James R. Slagle, Lewis M. Norton
1974 J jnl
Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity.
J. ACM
James R. Slagle
1974 J jnl
Experiments with some cluster analysis algorithms.
Pattern Recognit.
James R. Slagle, Chin-Liang Chang, Richard C. T. Lee
1973 J jnl
Experiments with an Automatic Theorem-Prover Having Partial Ordering Inference Rules.
Commun. ACM
James R. Slagle, Lewis M. Norton
1972 J jnl
An Approach for Finding C-Linear Complete Inference Systems.
J. ACM
James R. Slagle
1972 J jnl
Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets.
J. ACM
James R. Slagle
1971 J jnl
An Admissible and Optimal Algorithm for Searching AND/OR Graphs.
Artif. Intell.
Chin-Liang Chang, James R. Slagle
1971 J jnl
Application of Game Tree Searching Techniques to Sequential Pattern Recognition.
Commun. ACM
James R. Slagle, Richard C. T. Lee
1971 J jnl
Completeness of Linear Refutation for Theories with Equality.
J. ACM
Chin-Liang Chang, James R. Slagle
1971 J jnl
Experiments in Automatic Learning for a Multipurpose Heuristic Program.
Commun. ACM
James R. Slagle, Carl D. Farrell
1971 J jnl
Finding resolution proofs and using duplicate goals in and/or trees.
Inf. Sci.
James R. Slagle, Deena A. Koniver
1970 J jnl
A New Algorithm for Generating Prime Implicants.
IEEE Trans. Computers
James R. Slagle, Chin-Liang Chang, Richard C. T. Lee
1970 J jnl
Experiments with the M & N tree-searching program.
Commun. ACM
James R. Slagle, John K. Dixon
1970 J jnl
Interpolation Theorems for Resolution in Lower Predicate Calculus.
J. ACM
James R. Slagle
1969 A* conf
Completeness Theorems for Semantic Resolution in Consequence-Finding.
IJCAI
James R. Slagle, Chin-Liang Chang, Richard C. T. Lee
1969 J jnl
Experiments With Some Programs That Search Game Trees.
J. ACM
James R. Slagle, John K. Dixon
1968 J jnl
Experiments With a Multipurpose, Theorem-Proving Heuristic Program.
J. ACM
James R. Slagle, Philip Bursky
1967 J jnl
Automatic Theorem Proving With Renamable and Semantic Resolution.
J. ACM
James R. Slagle
1965 J jnl
Experiments with a deductive question-answering program.
Commun. ACM
James R. Slagle
1964 J jnl
An Efficient Algorithm for Finding Certain Minimum-Cost Procedures for Making Binary Decisions.
J. ACM
James R. Slagle
1964 J jnl
On an algorithm for minimum-cost procedures.
Commun. ACM
James R. Slagle
1963 J jnl
A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus.
J. ACM
James R. Slagle
1959 — conf
Formal integration on a digital computer.
ACM National Meeting
James R. Slagle