385 search results - page 53 / 77 » KNAML: A Knowledge Representation Language for Distributed R... |
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming env...
IEAAIE
1998
Springer
14 years 28 days ago
1998
Springer
The users of libraries of object-oriented software components face with both a terminological and a cognitive gap. Usually, library users do not understand the vocabulary used in t...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
XACML has emerged as a popular access control language on the Web, but because of its rich expressiveness, it has proved difficult to analyze in an automated fashion. In this pape...
LPNMR
2005
Springer
14 years 2 months ago
2005
Springer
The formalism of nonmonotonic causal theories (Giunchiglia, Lee, Lifschitz, McCain, Turner, 2004) provides a general-purpose formalism for nonmonotonic reasoning and knowledge repr...
DSVIS
2005
Springer
14 years 2 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...