385 search results - page 53 / 77 » KNAML: A Knowledge Representation Language for Distributed R... |
126
Voted
OOPSLA
2010
Springer
15 years 1 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...
133
click to vote
IEAAIE
1998
Springer
15 years 7 months 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...
126
click to vote
WWW
2007
ACM
16 years 4 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...
110
click to vote
LPNMR
2005
Springer
15 years 9 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...
156
Voted
DSVIS
2005
Springer
15 years 9 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...