1551 search results - page 10 / 311 » How Typical is the |
125
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
Knowledge workers typically collaborate in knowledge processes and have to be supported with adequate information and communication infrastructures. We propose a shared-context inf...
131
Voted
DLOG
2008
15 years 6 months ago
2008
We show how the reasoning tasks of checking various versions of conservativity for the description logic DL-Litebool can be reduced to satisfiability of quantified Boolean formulas...
133
click to vote
IJCAI
2001
15 years 5 months ago
2001
Previously, the plan language cc-Golog was introduced for the purpose of specifying event-driven behavior typically found in robot controllers. So far, however, cc-Golog is usable...
108
click to vote
ECOOP
2003
Springer
15 years 9 months ago
2003
Springer
This paper explains how higher-order hierarchies can be used to handle the expression problem. The expression is concerned with extending both the set of data structures and the s...
132
click to vote
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
This article demonstrates how a powerful and expressive ion from concurrency theory--monads of resumptions--plays a dual r^ole as a programming tool for concurrent applications. Th...