Sciweavers

2599 search results - page 432 / 520
» An Operational Semantics for Knowledge Bases
Sort
View
ICLP
1998
Springer
15 years 2 months ago
Iterated Logic Program Updates
The eld of theory update has seen some improvement, in what regards updating, by allowing desired updates to be speci ed by update programs. The updating of models is governed by ...
João Alexandre Leite, Luís Moniz Per...
ASWC
2006
Springer
15 years 1 months ago
Minerva: A Scalable OWL Ontology Storage and Inference System
With the increasing use of ontologies in Semantic Web and enterprise knowledge management, it is critical to develop scalable and efficient ontology management systems. In this pap...
Jian Zhou, Li Ma, Qiaoling Liu, Lei Zhang, Yong Yu...
APWEB
2010
Springer
15 years 1 months ago
Learning to Find Interesting Connections in Wikipedia
To help users answer the question, what is the relation between (real world) entities or concepts, we might need to go well beyond the borders of traditional information retrieval ...
Marek Ciglan, Etienne Riviere, Kjetil Nørv&...
CCS
2008
ACM
14 years 12 months ago
Towards automatic reverse engineering of software security configurations
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...
Rui Wang 0010, XiaoFeng Wang, Kehuan Zhang, Zhuowe...
CIKM
2008
Springer
14 years 12 months ago
A system for finding biological entities that satisfy certain conditions from texts
Finding biological entities (such as genes or proteins) that satisfy certain conditions from texts is an important and challenging task in biomedical information retrieval and tex...
Wei Zhou, Clement T. Yu, Weiyi Meng