BIRTHDAY
2015
Springer
8 years 4 days ago
2015
Springer
Abstract. We revisit non-monotonic description logics based on circumscription (with preferences) and prove several decidability results for their satisfiability problem. In parti...
BIRTHDAY
2015
Springer
8 years 4 days ago
2015
Springer
Abstract. While groups are generally helpful for the definition of authorization policies, their use in distributed systems is not straightforward. This paper describes a design f...
BIRTHDAY
2015
Springer
8 years 4 days ago
2015
Springer
Vacuity checking is traditionally performed after model checking has terminated successfully. It ensures that all the elements of the specification have played a role in its satis...
BIRTHDAY
2015
Springer
8 years 4 days ago
2015
Springer
Abstract. We consider the problem of verifying whether one action theory can simulate a second one. Action theories provide modular descriptions of state machines, and simulation m...
BIRTHDAY
2015
Springer
8 years 4 days ago
2015
Springer
The concept of active knowledge implementation on the basis of the theory of structural program synthesis, modern technologies and their necessary developments are considered. The ...
BIRTHDAY
2015
Springer
8 years 4 days ago
2015
Springer
Soft constraints have proved to be a versatile tool for the specification and implementation of decision making in adaptive systems. A plethora of formalisms have been devised to ...
BIRTHDAY
2015
Springer
8 years 4 days ago
2015
Springer
BIRTHDAY
2015
Springer
8 years 4 days ago
2015
Springer
Abstract. Petri games, introduced in recent joint work with ErnstR¨udiger Olderog, are an extension of Petri nets for the causality-based synthesis of distributed systems. In a Pe...
BIRTHDAY
2015
Springer
8 years 4 days ago
2015
Springer
Let α ∈ (0, 1)R be irrational and Gn = Gn,1/nα be the random graph with edge probability 1/nα; we know that it satisfies the 0-1 law for first order logic. We deal with the ...
BIRTHDAY
2015
Springer
8 years 4 days ago
2015
Springer
The aim of the paper is to present a theory agenda for component-based design based on results that motivated the development of the BIP component framework, to identify open probl...