SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

James R. Slagle: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.003secs, Finished in 0.303secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP