1171 search results - page 39 / 235 » A Logical Language for Expressing Authorizations |
104
click to vote
IJCAI
2001
15 years 1 months ago
2001
Ontologies are set to play a key r^ole in the "Semantic Web" by providing a source of shared and precisely defined terms that can be used in descriptions of web resource...
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In spite of the significant evolution of spelling and grammar checkers for word-processing software, the problem of judging the appropriateness of language usage in diff...
PPDP
2007
Springer
15 years 5 months ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
100
click to vote
KR
2010
Springer
15 years 4 months ago
2010
Springer
Topological logics are a family of languages for representing and reasoning about topological data. In this paper, we consider propositional topological logics able to express the...
121
click to vote
ECOOP
2008
Springer
15 years 26 days ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...