2008 |
10 | EE | Christopher J. Matheus,
Mieczyslaw M. Kokar,
Robert Dionne:
A Demonstration of Formal Policy Reasoning Using an Extended Version of BaseVISor.
POLICY 2008: 225-227 |
2005 |
9 | EE | Frank W. Hartel,
Sherri de Coronado,
Robert Dionne,
Gilberto Fragoso,
Jennifer Golbeck:
Modeling a description logic vocabulary for cancer research.
Journal of Biomedical Informatics 38(2): 114-129 (2005) |
1996 |
8 | | 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 |
1993 |
7 | | Robert Dionne,
Eric Mays,
Frank J. Oles:
The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics.
IJCAI 1993: 710-717 |
1992 |
6 | | Robert Dionne,
Eric Mays,
Frank J. Oles:
A Non-Well-Founded Approach to Terminological Cycles.
AAAI 1992: 761-766 |
5 | | Robert Dionne:
Structural Subsumption as a Basis for Intensional Semantics.
Description Logics 1992: 27-30 |
4 | | Chidanand Apté,
Robert Dionne,
James H. Griesmer,
Maurice Karnaugh,
John K. Kastner,
Meir Laker,
Eric Keener Mays:
An experiment in constructing an open expert system using a knowledge substrate.
IBM Journal of Research and Development 36(3): 409-434 (1992) |
1991 |
3 | EE | Eric Mays,
Sitaram Lanka,
Robert Dionne,
Robert A. Weida:
A Persistent Store for Large Shared Knowledge Bases.
IEEE Trans. Knowl. Data Eng. 3(1): 33-41 (1991) |
2 | | Eric Mays,
Robert Dionne,
Robert A. Weida:
K-Rep System Overview.
SIGART Bulletin 2(3): 93-97 (1991) |
1990 |
1 | | Eric Mays,
Sitaram Lanka,
Robert Dionne,
Robert A. Weida:
A Persistent Store for Large Shared Knowledge Bases
IWBS Report 133: (1990) |