524 search results - page 68 / 105 » Representation and Reasoning on RBAC: A Description Logic Ap... |
DLOG
2009
13 years 6 months ago
2009
Abstract. We address the revision problem for knowledge bases (KBs) in Description Logics (DLs). This problem has received much attention in the ontology management and DL communit...
AIIA
1991
Springer
14 years 8 days ago
1991
Springer
The use of approximation as a method for dealing with complex problems is a fundamental research issue in Knowledge Representation. Using approximation in symbolic AI is not strai...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— Knowledge processing is an essential technique for enabling autonomous robots to do the right thing to the right object in the right way. Using knowledge processing the robots ...