Sciweavers

2097 search results - page 166 / 420
» Knowledge Base Maintenance through Knowledge Representation
Sort
View
120
Voted
I3
2007
15 years 5 months ago
Referent Tracking and its Applications
Referent tracking (RT) is a new paradigm, based on unique identification, for representing and keeping track of particulars. It was first introduced to support the entry and retri...
Werner Ceusters, Barry Smith
136
Voted
AIIDE
2009
15 years 4 months ago
Bowyer: A Planning Tool for Bridging the Gap between Declarative and Procedural Domains
Traditionally, there have been two large obstacles faced in attempting to apply AI techniques to games and other virtual environments. The first obstacle is the gap between the la...
Steven P. Cash, R. Michael Young
134
Voted
JCP
2008
116views more  JCP 2008»
15 years 3 months ago
Formal Verification and Visualization of Security Policies
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
Luay A. Wahsheh, Daniel Conte de Leon, Jim Alves-F...
122
Voted
GSEM
2004
Springer
15 years 9 months ago
An Ontology-Based Framework for Semantic Grid Service Composition
The Semantic Grid aims at enhancing Grid architectures by knowledge engineering techniques. The service notion is central in this approach. Service-level agreements, called contrac...
Claus Pahl
ACL
2006
15 years 5 months ago
A Logic-Based Semantic Approach to Recognizing Textual Entailment
This paper proposes a knowledge representation model and a logic proving setting with axioms on demand successfully used for recognizing textual entailments. It also details a lex...
Marta Tatu, Dan I. Moldovan