2530 search results - page 147 / 506 » Dynamic topological logic |
137
Voted
KI
1999
Springer
15 years 8 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...
123
Voted
GCC
2007
Springer
15 years 7 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...
149
Voted
DAGSTUHL
1998
15 years 5 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 ...
159
Voted
ICLP
1992
Springer
15 years 7 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...
119
Voted
BROADNETS
2005
IEEE
15 years 9 months 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...