Sciweavers

2097 search results - page 166 / 420
» Knowledge Base Maintenance through Knowledge Representation
Sort
View
I3
2007
15 years 7 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
AIIDE
2009
15 years 7 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
JCP
2008
116views more  JCP 2008»
15 years 6 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...
GSEM
2004
Springer
15 years 11 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 7 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