Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Richard A. O'Keefe

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tplp/CovingtonBOWP12
- ask others
Michael A. Covington, Roberto Bagnara, Richard A. O'Keefe, Jan Wielemaker, Simon Price: Coding guidelines for Prolog. TPLP 12(6): 889-927 (2012)
[c12]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adcs/MilneOT12
- ask others
Rachel Mary Milne, Richard A. O'Keefe, Andrew Trotman: A study in language identification. ADCS 2012: 88-95
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ausai/BlanchetteOB12
- ask others
Glenn Blanchette, Richard A. O'Keefe, Lubica Benuskova: Inference of a Phylogenetic Tree: Hierarchical Clustering versus Genetic Algorithm. Australasian Conference on Artificial Intelligence 2012: 300-312

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[i2]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0911-2899
- ask others
Michael A. Covington, Roberto Bagnara, Richard A. O'Keefe, Jan Wielemaker, Simon Price: Coding Guidelines for Prolog. CoRR abs/0911.2899 (2009)
2008
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/kais/KohRO08
- ask others
Yun Sing Koh, Nathan Rountree, Richard A. O'Keefe: Mining interesting imperfectly sporadic rules. Knowl. Inf. Syst. 14(2): 179-196 (2008)
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pdcat/JiaTOH08
- ask others
Xiangfei Jia, Andrew Trotman, Richard A. O'Keefe, Zhiyi Huang: Application-Specific Disk I/O Optimisation for a Search Engine. PDCAT 2008: 399-404
2006
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jdwm/KohRO06
- ask others
Yun Sing Koh, Nathan Rountree, Richard A. O'Keefe: Finding Non-Coincidental Sporadic Rules Using Apriori-Inverse. IJDWM 2(2): 38-54 (2006)
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pakdd/KohRO06
- ask others
Yun Sing Koh, Nathan Rountree, Richard A. O'Keefe: Mining Interesting Imperfectly Sporadic Rules. PAKDD 2006: 473-482
2004
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/inex/OKeefe04
- ask others
Richard A. O'Keefe: If INEX Is the Answer, What Is the Question? INEX 2004: 54-59
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-PL-0406014
- ask others
Richard A. O'Keefe: O(1) Reversible Tree Navigation Without Cycles. CoRR cs.PL/0406014 (2004)
2001
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tplp/OKeefe01
- ask others
Richard A. O'Keefe: O(1) reversible tree navigation without cycle. TPLP 1(5): 617-630 (2001)

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1989
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsc/SterlingBBOS89
- ask others
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
[c7]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iclp/LindholmO87
- ask others
Timothy G. Lindholm, Richard A. O'Keefe: Efficient Implementation of a Defensible Semantics for Dynamic PROLOG Code. ICLP 1987: 21-39
[c6]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iclp/OKeefe87
- ask others
Richard A. O'Keefe: Finite Fixed-Point Problems. ICLP 1987: 729-743
1985
[c5]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/slp/OKeefe85
- ask others
Richard A. O'Keefe: On the Treatment of Cuts in Prolog Source-Level Tools. SLP 1985: 68-72
[c4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/slp/OKeefe85a
- ask others
Richard A. O'Keefe: Towards an Algebra for Constructing Logic Programs. SLP 1985: 152-160
1984
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ai/MycroftO84
- ask others
Alan Mycroft, Richard A. O'Keefe: A Polymorphic Type System for Prolog. Artif. Intell. 23(3): 295-307 (1984)
[c3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecai/OKeefe84
- ask others
Richard A. O'Keefe: A New Data-Structure for Type Trees. ECAI 1984: 393-402
1983
[c2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ijcai/OKeefe83
- ask others
Richard A. O'Keefe: Concept Formation From Very Large Training Sets. IJCAI 1983: 479-481
1982
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/eurocal/SterlingBBOS82
- ask others
Leon Sterling, Alan Bundy, Lawrence Byrd, Richard A. O'Keefe, Bernard Silver: Solving Symbolic Equations with PRESS. EUROCAM 1982: 109-116