|
Search the dblp DataBase
Stan Raatz:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jean H. Gallier, Stan Raatz
Logic Programming and Graph Rewriting. [Citation Graph (1, 0)][DBLP] SLP, 1985, pp:208-219 [Conf]
- Jean H. Gallier, Stan Raatz
Hornlog: A Graph-Based Interpreter for General Horn Clauses. [Citation Graph (1, 0)][DBLP] J. Log. Program., 1987, v:4, n:2, pp:119-155 [Journal]
- Jean H. Gallier, Stan Raatz
Extending SLD Resolution to Equational Horn Clauses using E-Unification. [Citation Graph (1, 0)][DBLP] J. Log. Program., 1989, v:6, n:1&2, pp:3-43 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] CADE, 1988, pp:182-196 [Conf]
- Stan Raatz, Jean H. Gallier
A Relational Semantics for Logic Programming. [Citation Graph (0, 0)][DBLP] ICLP/SLP, 1988, pp:1024-1035 [Conf]
- George Drastal, Regine Meunier, Stan Raatz
Error Correction in Constructive Induction. [Citation Graph (0, 0)][DBLP] ML, 1989, pp:81-83 [Conf]
- George Drastal, Gabor Czako, Stan Raatz
Induction in an Abstraction Space: A Form of Constructive Induction. [Citation Graph (0, 0)][DBLP] IJCAI, 1989, pp:708-712 [Conf]
- Jean H. Gallier, Stan Raatz, Wayne Snyder
Theorem Proving Using Rigid E-Unification Equational Matings [Citation Graph (0, 0)][DBLP] LICS, 1987, pp:338-346 [Conf]
- Jean H. Gallier, Stan Raatz
SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification. [Citation Graph (0, 0)][DBLP] SLP, 1986, pp:168-179 [Conf]
- Stan Raatz, George Drastal
Patterns of interaction in rule-based expert system programming. [Citation Graph (0, 0)][DBLP] Computational Intelligence, 1987, v:3, n:, pp:107-116 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] J. ACM, 1993, v:40, n:1, pp:1-16 [Journal]
- Jean H. Gallier, Paliath Narendran, Stan Raatz, Wayne Snyder
Theorem Proving Using Equational Matings and Rigid E-Unification. [Citation Graph (0, 0)][DBLP] J. ACM, 1992, v:39, n:2, pp:377-429 [Journal]
Search in 0.001secs, Finished in 0.002secs
|