1940 search results - page 89 / 388 » The Dynamic Logic of Permission |
178
click to vote
KI
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are t...
175
click to vote
GCC
2007
Springer
15 years 10 months ago
2007
Springer
Recently, grid computing has become a popular technology for large-scale scientific or business computing. Grid workflow system can enhance the flexibility and efficiency of the g...
185
click to vote
DAGSTUHL
1998
15 years 7 months ago
1998
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...
194
click to vote
ICLP
1992
Springer
15 years 10 months ago
1992
Springer
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
153
click to vote
BROADNETS
2005
IEEE
16 years 3 days ago
2005
IEEE
—The peer-to-peer technology offers many advantages, but at the same time, it poses many novel challenges for the research community. Modern peer-to-peer systems are characterize...