Result 1 to 11 of 11 total
A demonstration of formal policy reasoning using an extended version of basevisor (English)
POLICY, 225-227 (2008).
1
Modeling a description logic vocabulary for cancer research (English)
Journal of Biomedical Informatics 38, No. 2, 114-129 (2005).
2
The K-rep system architecture (English)
Description Logics, 197-199 (1996).
3
The equivalence of model-theoretic and structural subsumption in description logics (English)
IJCAI, 710-717 (1993).
4
Structural subsumption as a basis for intensional semantics (English)
Description Logics, 27-30 (1992).
5
A non-well-founded approach to terminological cycles (English)
AAAI, 761-766 (1992).
6
A persistent store for large shared knowledge bases (English)
IEEE Trans. Knowl. Data Eng. 3, No. 1, 33-41 (1991).
7
K-rep system overview (English)
SIGART Bulletin 2, No. 3, 93-97 (1991).
8
A persistent store for large shared knowledge bases (English)
IWBS Report 133 (1990).
9
Exact and approximate algorithms for optimal network design. (English)
Networks 9, 37-59 (1979).
10
Étude et extension d’un algorithme de Murchland. (French)
INFOR 16, 132-146 (1978).
11
Result 1 to 11 of 11 total
Start
Contact
Print
General Help
