High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study (2000)
Cached
Download Links
- [kogs-www.informatik.uni-hamburg.de]
- [kogs-www.informatik.uni-hamburg.de]
- [www.cs.concordia.ca]
- [kogs-www.informatik.uni-hamburg.de]
- [users.encs.concordia.ca]
- [www.cs.concordia.ca]
- [kogs-www.informatik.uni-hamburg.de]
- [users.encs.concordia.ca]
- [www.cs.concordia.ca]
- DBLP
Other Repositories/Bibliography
by
Volker Haarslev
,
Ralf Möller
| Citations: | 76 - 12 self |
BibTeX
@INPROCEEDINGS{Haarslev00highperformance,
author = {Volker Haarslev and Ralf Möller},
title = {High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study},
booktitle = {},
year = {2000},
pages = {161--168}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present an empirical analysis of optimization
Citations
| 129 | H.: An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on - Baader, Franconi, et al. - 1994 |
| 16 | Consistency testing: The RACE experience - Haarslav, Möller - 2000 |
| 4 | A subset-matching sizebounded cache for satisfiability in modal logics - Giunchiglia, Tacchella |
