2007 |
17 | EE | Frank J. Oles:
On being a student of John Reynolds.
Theor. Comput. Sci. 375(1-3): 346-350 (2007) |
2005 |
16 | EE | Frank J. Oles:
Precedence-inclusion patterns and relational learning.
Theor. Comput. Sci. 342(2-3): 262-315 (2005) |
2002 |
15 | EE | David E. Johnson,
Frank J. Oles,
Tong Zhang,
Thilo Götz:
A decision-tree-based symbolic rule induction system for text categorization.
IBM Systems Journal 41(3): 428-437 (2002) |
2001 |
14 | | Tong Zhang,
Frank J. Oles:
Text Categorization Based on Regularized Linear Classification Methods.
Inf. Retr. 4(1): 5-31 (2001) |
2000 |
13 | EE | Frank J. Oles:
An application of lattice theory to knowledge representation.
Theor. Comput. Sci. 249(1): 163-196 (2000) |
1996 |
12 | | Frank J. Oles,
Eric Mays,
Robert A. Weida:
The Algebraic Essence of K-Rep.
Description Logics 1996: 182-184 |
11 | | Robert A. Weida,
Eric Mays,
Robert Dionne,
Meir Laker,
Brian White,
Chihong Liang,
Frank J. Oles:
The K-Rep System Architecture.
Description Logics 1996: 197-199 |
1995 |
10 | | Michael W. Mislove,
Frank J. Oles:
Adjunctions Between Categories of Domains.
Fundam. Inform. 22(1/2): 93-116 (1995) |
9 | EE | Michael W. Mislove,
Frank J. Oles:
Full Abstraction and Recursion.
Theor. Comput. Sci. 151(1): 207-256 (1995) |
1993 |
8 | | Robert Dionne,
Eric Mays,
Frank J. Oles:
The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics.
IJCAI 1993: 710-717 |
1992 |
7 | | Robert Dionne,
Eric Mays,
Frank J. Oles:
A Non-Well-Founded Approach to Terminological Cycles.
AAAI 1992: 761-766 |
6 | | Michael W. Mislove,
Frank J. Oles:
Full Abstraction and Unnested Recursion.
REX Workshop 1992: 384-397 |
5 | | Frank J. Oles:
When is a Category of Many-Sorted Algebras Cartesian Closed?
Int. J. Found. Comput. Sci. 3(2): 225-231 (1992) |
1991 |
4 | | Michael W. Mislove,
Frank J. Oles:
A Simple Language Supporting Angelic Nondeterminism and Parallel Composition.
MFPS 1991: 77-101 |
3 | | Michael W. Mislove,
Lawrence S. Moss,
Frank J. Oles:
Non-Well-Founded Sets Modeled as Ideal Fixed Points
Inf. Comput. 93(1): 16-54 (1991) |
1989 |
2 | | Michael W. Mislove,
Lawrence S. Moss,
Frank J. Oles:
Non-Well-Founded Sets Obtained from Ideal Fixed Points
LICS 1989: 263-272 |
1987 |
1 | | Frank J. Oles:
Semantics for Concurrency without Powerdomains.
POPL 1987: 211-222 |