411 search results - page 41 / 83 » Evaluation and exploitation of knowledge robustness in knowl... |
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...
AH
2000
Springer
15 years 2 months ago
2000
Springer
: The Adaptive Courseware Environment (ACE) is a WWW-based tutoring framework which combines methods of knowledge representation, instructional planning, and adaptive media generat...
ICDCS
2007
IEEE
15 years 4 months ago
2007
IEEE
Trust negotiation supports authentication and access control across multiple security domains by allowing parties to use non-forgeable digital credentials to establish trust. By t...
AMS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper describes the extension of a behaviour-based control system for autonomous outdoor navigation. To perform robust obstacle avoidance the existing stereo vision ...
TPLP
2002
14 years 9 months ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...