Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* | 1993 | |
---|---|---|

12 | EE | Jean H. Gallier, Paliath Narendran, David A. Plaisted, Stan Raatz, Wayne Snyder: An Algorithm for Finding Canonical Sets of Ground Rewrite Rules in Polynomial Time. J. ACM 40(1): 1-16 (1993) |

1992 | ||

11 | EE | Jean H. Gallier, Paliath Narendran, Stan Raatz, Wayne Snyder: Theorem Proving Using Equational Matings and Rigid E-Unification. J. ACM 39(2): 377-429 (1992) |

1989 | ||

10 | George Drastal, Gabor Czako, Stan Raatz: Induction in an Abstraction Space: A Form of Constructive Induction. IJCAI 1989: 708-712 | |

9 | George Drastal, Regine Meunier, Stan Raatz: Error Correction in Constructive Induction. ML 1989: 81-83 | |

8 | Jean H. Gallier, Stan Raatz: Extending SLD Resolution to Equational Horn Clauses using E-Unification. J. Log. Program. 6(1&2): 3-43 (1989) | |

1988 | ||

7 | EE | Jean H. Gallier, Paliath Narendran, David A. Plaisted, Stan Raatz, Wayne Snyder: Finding Canonical Rewriting Systems Equivalent to a Finite Set of Ground Equations in Polynomial Time. CADE 1988: 182-196 |

6 | Stan Raatz, Jean H. Gallier: A Relational Semantics for Logic Programming. ICLP/SLP 1988: 1024-1035 | |

1987 | ||

5 | Jean H. Gallier, Stan Raatz, Wayne Snyder: Theorem Proving Using Rigid E-Unification Equational Matings LICS 1987: 338-346 | |

4 | Stan Raatz, George Drastal: Patterns of interaction in rule-based expert system programming. Computational Intelligence 3: 107-116 (1987) | |

3 | Jean H. Gallier, Stan Raatz: Hornlog: A Graph-Based Interpreter for General Horn Clauses. J. Log. Program. 4(2): 119-155 (1987) | |

1986 | ||

2 | Jean H. Gallier, Stan Raatz: SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification. SLP 1986: 168-179 | |

1985 | ||

1 | Jean H. Gallier, Stan Raatz: Logic Programming and Graph Rewriting. SLP 1985: 208-219 |

1 | Gabor Czako | [10] |

2 | George Drastal | [4] [9] [10] |

3 | Jean H. Gallier | [1] [2] [3] [5] [6] [7] [8] [11] [12] |

4 | Regine Meunier | [9] |

5 | Paliath Narendran | [7] [11] [12] |

6 | David A. Plaisted | [7] [12] |

7 | Wayne Snyder | [5] [7] [11] [12] |