dblp.uni-trier.dewww.uni-trier.de

James R. Slagle Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
50EESait 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
46EEDanny 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-
43EEJohn 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
41EESait 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)
38EEJames R. Slagle, David A. Gardiner, Kyungsook Han: Knowledge Specification of an Expert System. IEEE Expert 5(4): 29-38 (1990)
1989
37EEJames 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
33EEJames 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
31EEJames 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
29EEJames 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
26EEJames 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
18EEJames R. Slagle: Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity. J. ACM 21(4): 622-642 (1974)
17EEJames 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
15EEJames R. Slagle: Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets. J. ACM 19(1): 120-135 (1972)
14EEJames 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)
10EEChin-Liang Chang, James R. Slagle: Completeness of Linear Refutation for Theories with Equality. J. ACM 18(1): 126-136 (1971)
1970
9EEJames 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
7EEJames R. Slagle, John K. Dixon: Experiments With Some Programs That Search Game Trees. J. ACM 16(2): 189-207 (1969)
1968
6EEJames R. Slagle, Philip Bursky: Experiments With a Multipurpose, Theorem-Proving Heuristic Program. J. ACM 15(1): 85-99 (1968)
1967
5EEJames R. Slagle: Automatic Theorem Proving With Renamable and Semantic Resolution. J. ACM 14(4): 687-697 (1967)
1965
4EEJames R. Slagle: Experiments with a deductive question-answering program. Commun. ACM 8(12): 792-798 (1965)
1964
3EEJames R. Slagle: On an algorithm for minimum-cost procedures. Commun. ACM 7(11): 682 (1964)
2EEJames R. Slagle: An Efficient Algorithm for Finding Certain Minimum-Cost Procedures for Making Binary Decisions. J. ACM 11(3): 253-264 (1964)
1963
1EEJames R. Slagle: A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus. J. ACM 10(4): 507-520 (1963)

Coauthor Index

1E. Ackerman [46]
2James S. Albus [22]
3H. Blum [21]
4Ashim Bose [37]
5Susan A. Bouchard [27]
6Len Breslow [42]
7Philip Bursky [6]
8P. Busalacchi [37]
9N. Caplan [22]
10Chin-Liang Chang [8] [10] [13] [17] [25]
11B. Chern [22]
12Kent Curtis [22]
13Marvin Denicoff [22]
14John K. Dixon [7] [26] [27] [29]
15Sait Dogru [41] [42] [45] [50]
16Albert C. Esterline [36] [43]
17Carl D. Farrell [11]
18David A. Gardiner [38] [44]
19Michael Gaynor [28]
20William B. Gevarter [22]
21Maria L. Gini [51]
22Henry Hamburger [30]
23Kyungsook Han [38]
24Dean F. Hougen [51]
25E. A. Irani [39] [40]
26William G. Kennedy [27]
27Danny Kilis [36] [46]
28John Chung-Mong Lee [43]
29Richard C. T. Lee (Richard Chia-Tung Lee) [8] [12] [17] [20] [21] [23]
30Arthur S. Leon [31]
31John M. Long [31] [39] [40]
32John P. Matts [31] [39]
33C. T. Mong [20] [23]
34Lewis M. Norton [16] [19]
35Marius O. Poliac [32] [42]
36Ting-Chuen Pong [43]
37Vijay Rajan [42] [45] [47]
38Keith Rieck [42] [45]
39John Riedl [44]
40Subash Shankar [48] [49]
41Bosco S. Tjan [42] [45]
42Yewei Wang [45]
43C. Wee [37]
44Michael R. Wick [31] [32] [33] [34] [35]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)