`Travelled to:`

1 × Australia

2 × USA

`Collaborated with:`

∅ T.G.Lindholm M.Crane A.Trotman

`Talks about:`

prolog (2) discriminatori (1) treatment (1) implement (1) construct (1) maintain (1) quantiz (1) program (1) problem (1) algebra (1)

## Person: Richard A. O'Keefe

### DBLP: O'Keefe:Richard_A=

### Contributed to:

### Wrote 5 papers:

- CIKM-2013-CraneTO #maintenance
- Maintaining discriminatory power in quantized indexes (MC, AT, RAO), pp. 1221–1224.
- ICLP-1987-LindholmO87 #implementation #performance #prolog #semantics
- Efficient Implementation of a Defensible Semantics for Dynamic PROLOG Code (TGL, RAO), pp. 21–39.
- ICLP-1987-OKeefe87 #finite #fixpoint #problem
- Finite Fixed-Point Problems (RAO), pp. 729–743.
- SLP-1985-OKeefe85 #on the #prolog #tool support
- On the Treatment of Cuts in Prolog Source-Level Tools (RAO), pp. 68–72.
- SLP-1985-OKeefe85a #algebra #logic programming #source code #towards
- Towards an Algebra for Constructing Logic Programs (RAO), pp. 152–160.