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 | ||

50 | EE | Sait 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 | |

46 | EE | Danny 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- | |

43 | EE | John 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 | ||

41 | EE | Sait 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) | |

38 | EE | James R. Slagle, David A. Gardiner, Kyungsook Han: Knowledge Specification of an Expert System. IEEE Expert 5(4): 29-38 (1990) |

1989 | ||

37 | EE | James 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 | ||

33 | EE | James 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 | |

31 | EE | 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). 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 | ||

29 | EE | James 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 | ||

26 | EE | James 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 | ||

18 | EE | James R. Slagle: Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity. J. ACM 21(4): 622-642 (1974) |

17 | EE | James 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 | ||

15 | EE | James R. Slagle: Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets. J. ACM 19(1): 120-135 (1972) |

14 | EE | James 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) | |

10 | EE | Chin-Liang Chang, James R. Slagle: Completeness of Linear Refutation for Theories with Equality. J. ACM 18(1): 126-136 (1971) |

1970 | ||

9 | EE | James 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 | |

7 | EE | James R. Slagle, John K. Dixon: Experiments With Some Programs That Search Game Trees. J. ACM 16(2): 189-207 (1969) |

1968 | ||

6 | EE | James R. Slagle, Philip Bursky: Experiments With a Multipurpose, Theorem-Proving Heuristic Program. J. ACM 15(1): 85-99 (1968) |

1967 | ||

5 | EE | James R. Slagle: Automatic Theorem Proving With Renamable and Semantic Resolution. J. ACM 14(4): 687-697 (1967) |

1965 | ||

4 | EE | James R. Slagle: Experiments with a deductive question-answering program. Commun. ACM 8(12): 792-798 (1965) |

1964 | ||

3 | EE | James R. Slagle: On an algorithm for minimum-cost procedures. Commun. ACM 7(11): 682 (1964) |

2 | EE | James R. Slagle: An Efficient Algorithm for Finding Certain Minimum-Cost Procedures for Making Binary Decisions. J. ACM 11(3): 253-264 (1964) |

1963 | ||

1 | EE | James R. Slagle: A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus. J. ACM 10(4): 507-520 (1963) |