James R. Slagle

According to our database1, James R. Slagle authored at least 69 papers between 1959 and 2000.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2000
An Integrated Connectionist Approach to Reinforcement Learning for Robotic Control.
Proceedings of the Seventeenth International Conference on Machine Learning (ICML 2000), Stanford University, Stanford, CA, USA, June 29, 2000

1999
Implementing a Semantic Lexicon.
Proceedings of the Conceptual Structures: Standards and Practices, 1999

1997
Rapid unsupervised connectionist learning for backing a robot with two trailers.
Proceedings of the 1997 IEEE International Conference on Robotics and Automation, 1997

Partitioning input space for reinforcement learning for control.
Proceedings of International Conference on Neural Networks (ICNN'97), 1997

A polymodal semantics for VHDL.
Proceedings of the Advances in Hardware Design and Verification, 1997

Connection Based Strategies for Deciding Propositional Temporal Logic.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996
A Graphical Data Flow Language for Retrieval, Analysis, and Visualization of a Scientific Database.
J. Vis. Lang. Comput., 1996

Fast connectionist learning for trailer backing using a real robot.
Proceedings of the 1996 IEEE International Conference on Robotics and Automation, 1996

Embedding global physiological data in an artificial neural network.
Proceedings of the Australian New Zealand Conference on Intelligent Information Systems, 1996

The Use of Artificially Intelligent Agents with Bounded Rationality in the Study of Economic Markets.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1994
An experimental study of an object recognition system that learns.
Pattern Recognit., 1994

TREC-3: Experience With Conceptual Relations in Information Retrieval.
Proceedings of The Third Text REtrieval Conference, 1994

1993
A Data-Flow Graphical User Interface for Querying a Scientific Database.
Proceedings of the 1993 IEEE Workshop on Visual Languages, 1993

1992
A System that Translates Conceptual Structures into English.
Proceedings of the Conceptual Structures: Theory and Implementation, 1992

1991
Automating the Discovery of Causal Relationships in a Medical Records Database: The POSCH AI Project.
Proceedings of the Knowledge Discovery in Databases, 1991

1990
A Knowledge-Based System for the Image Correspondence Problem.
Int. J. Pattern Recognit. Artif. Intell., 1990

Knowledge Specification of an Expert System.
IEEE Expert, 1990

Formulating an approach to develop a system for the temporal analysis of clinical trial data: the POSCH AI project.
Ann. Math. Artif. Intell., 1990

Automated assistance for maintenance of medical expert systems: the POSCH AI project.
Proceedings of the Third Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'90), 1990

1989
The partitioned support network for expert system justification.
IEEE Trans. Syst. Man Cybern., 1989

An Explanation Facility for Today's Expert Systems.
IEEE Expert, 1989

Using Artificial Neural Nets for Statistical Discovery: Observations after Using Backpropogation, Expert Systems, and Multiple-Linear Regression on Clinical Trial Data.
Complex Syst., 1989

Specification and Verification of Network Protocols Using Executable Temporal Logic.
Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

Enhanced simulated annealing for automatic reconfiguration of multiprocessors in space.
Proceedings of the Second International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1989, June 6-9, 1989, Tullahoma, TN, USA, 1989

1988
A Method for Evaluating Candidate Expert System Applications.
AI Mag., 1988

A network based expert system for intelligent design of mechanisms.
Artif. Intell. Eng. Des. Anal. Manuf., 1988

Applications of a generalized network-based expert system shell-artificial intelligence mini-tutorial. 1.
Proceedings of the First Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'88), 1988

Lessons learned while implementing expert systems in the real world of clinical trials data analyses: The POSCH AI project.
Proceedings of the First Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'88), 1988

Temporal reasoning in medicine with an example in cystic fibrosis patient management-artificial intelligence mini-tutorial. 2.
Proceedings of the First Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'88), 1988

Experimenting with artificial neural networks-artificial intelligence mini-tutorial. 3.
Proceedings of the First Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'88), 1988

1987
A journalistic explanation facility for an expert system shell (abstract only).
Proceedings of the 15th ACM Annual Conference on Computer Science, 1987

1986
An expert system for treadmill excercise ECG test analysis (abtracts).
Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

AGNESS: A Generalized Network-based Expert System Shell.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985
An Expert System for a Resource Allocation Problem.
Commun. ACM, 1985

1984
Freedom descriptions: A way to find figures that approximate given points.
Pattern Recognit., 1984

An Intelligent Control Strategy for Computer Consultation.
IEEE Trans. Pattern Anal. Mach. Intell., 1984

1983
Expert System Consultation Control Strategy.
Proceedings of the National Conference on Artificial Intelligence, 1983

1981
MARK I Robot.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1980
Finding a good figure that approximately passes through given points.
Pattern Recognit., 1980

1979
Experiments with Some Algorithms that Find Central Solutions for Pattern Classification.
Commun. ACM, 1979

Using Rewriting Rules for Connection Graphs to Prove Theorems.
Artif. Intell., 1979

1978
Towards Automatic Auditing of Records.
IEEE Trans. Software Eng., 1978

1977
A Triangulation Method for the Sequential Mapping of Points from <i>N</i>-Space to Two-Space.
IEEE Trans. Computers, 1977

Federal Programs in Artificial Intelligence.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976
Application of Clustering to Estimate Missing Data and Improve Data Integrity.
Proceedings of the 2nd International Conference on Software Engineering, 1976

1975
A Clustering and Data-Reorganizing Algorithm.
IEEE Trans. Syst. Man Cybern., 1975

Automated Theorem-Proving for the Theories of Partial and Total Ordering.
Comput. J., 1975

1974
Experiments with some cluster analysis algorithms.
Pattern Recognit., 1974

Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity.
J. ACM, 1974

1973
Experiments with an Automatic Theorem-Prover Having Partial Ordering Inference Rules.
Commun. ACM, 1973

1972
An Approach for Finding C-Linear Complete Inference Systems.
J. ACM, 1972

Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets.
J. ACM, 1972

1971
Completeness of Linear Refutation for Theories with Equality.
J. ACM, 1971

Finding resolution proofs and using duplicate goals in and/or trees.
Inf. Sci., 1971

Application of Game Tree Searching Techniques to Sequential Pattern Recognition.
Commun. ACM, 1971

Experiments in Automatic Learning for a Multipurpose Heuristic Program.
Commun. ACM, 1971

An Admissible and Optimal Algorithm for Searching AND/OR Graphs.
Artif. Intell., 1971

1970
A New Algorithm for Generating Prime Implicants.
IEEE Trans. Computers, 1970

Interpolation Theorems for Resolution in Lower Predicate Calculus.
J. ACM, 1970

Experiments with the M & N tree-searching program.
Commun. ACM, 1970

1969
Experiments With Some Programs That Search Game Trees.
J. ACM, 1969

Completeness Theorems for Semantic Resolution in Consequence-Finding.
Proceedings of the 1st International Joint Conference on Artificial Intelligence, 1969

1968
Experiments With a Multipurpose, Theorem-Proving Heuristic Program.
J. ACM, 1968

1967
Automatic Theorem Proving With Renamable and Semantic Resolution.
J. ACM, 1967

1965
Experiments with a deductive question-answering program.
Commun. ACM, 1965

1964
An Efficient Algorithm for Finding Certain Minimum-Cost Procedures for Making Binary Decisions.
J. ACM, 1964

On an algorithm for minimum-cost procedures.
Commun. ACM, 1964

1963
A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus.
J. ACM, 1963

1959
Formal integration on a digital computer.
Proceedings of the Preprints of papers presented at the 14th national meeting of the Association for Computing Machinery, 1959


  Loading...