| 2008 |
|---|
| 14 | EE | Yun Sing Koh,
Nathan Rountree,
Richard A. O'Keefe:
Mining interesting imperfectly sporadic rules.
Knowl. Inf. Syst. 14(2): 179-196 (2008) |
| 2006 |
|---|
| 13 | EE | Yun Sing Koh,
Nathan Rountree,
Richard A. O'Keefe:
Mining Interesting Imperfectly Sporadic Rules.
PAKDD 2006: 473-482 |
| 2004 |
|---|
| 12 | EE | Richard A. O'Keefe:
If INEX Is the Answer, What Is the Question?
INEX 2004: 54-59 |
| 11 | EE | Richard A. O'Keefe:
O(1) Reversible Tree Navigation Without Cycles
CoRR cs.PL/0406014: (2004) |
| 2001 |
|---|
| 10 | | Richard A. O'Keefe:
O(1) reversible tree navigation without cycle.
TPLP 1(5): 617-630 (2001) |
| 1989 |
|---|
| 9 | | Leon Sterling,
Alan Bundy,
Lawrence Byrd,
Richard A. O'Keefe,
Bernard Silver:
Solving Symbolic Equations with PRESS.
J. Symb. Comput. 7(1): 71-84 (1989) |
| 1987 |
|---|
| 8 | | Timothy G. Lindholm,
Richard A. O'Keefe:
Efficient Implementation of a Defensible Semantics for Dynamic PROLOG Code.
ICLP 1987: 21-39 |
| 7 | | Richard A. O'Keefe:
Finite Fixed-Point Problems.
ICLP 1987: 729-743 |
| 1985 |
|---|
| 6 | | Richard A. O'Keefe:
Towards an Algebra for Constructing Logic Programs.
SLP 1985: 152-160 |
| 5 | | Richard A. O'Keefe:
On the Treatment of Cuts in Prolog Source-Level Tools.
SLP 1985: 68-72 |
| 1984 |
|---|
| 4 | | Richard A. O'Keefe:
A New Data-Structure for Type Trees.
ECAI 1984: 393-402 |
| 3 | | Alan Mycroft,
Richard A. O'Keefe:
A Polymorphic Type System for Prolog.
Artif. Intell. 23(3): 295-307 (1984) |
| 1983 |
|---|
| 2 | | Richard A. O'Keefe:
Concept Formation From Very Large Training Sets.
IJCAI 1983: 479-481 |
| 1982 |
|---|
| 1 | | Leon Sterling,
Alan Bundy,
Lawrence Byrd,
Richard A. O'Keefe,
Bernard Silver:
Solving Symbolic Equations with PRESS.
EUROCAM 1982: 109-116 |
