1551 search results - page 10 / 311 » How Typical is the |
CAISE
2003
Springer
14 years 18 days 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...
DLOG
2008
13 years 9 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...
IJCAI
2001
13 years 8 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...
ECOOP
2003
Springer
14 years 18 days 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...
AMAST
2006
Springer
13 years 11 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...