1587 search results - page 154 / 318 » The Semantics of Extended SOFL |
ECSQARU
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Preferences and uncertainty occur in many real-life problems. The theory of possibility is one non-probabilistic way of dealing with uncertainty, which allows for easy in...
EUC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. A dramatic increase of event monitoring capabilities by wireless sensors requires new, more sophisticated, event correlation over time and space. This new paradigm implie...
LPNMR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarel...
FASE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
ICALP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...