Sciweavers

BIRTHDAY
2015
Springer
8 years 8 months ago
Decidability of Circumscribed Description Logics Revisited
Abstract. We revisit non-monotonic description logics based on circumscription (with preferences) and prove several decidability results for their satisfiability problem. In parti...
Piero A. Bonatti, Marco Faella, Carsten Lutz, Luig...
BIRTHDAY
2015
Springer
8 years 8 months ago
Distributed Authorization with Distributed Grammars
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...
Martín Abadi, Mike Burrows, Himabindu Pucha...
BIRTHDAY
2015
Springer
8 years 8 months ago
Inherent Vacuity in Lattice Automata
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...
Hila Gonen, Orna Kupferman
BIRTHDAY
2015
Springer
8 years 8 months ago
Simulation of Action Theories and an Application to General Game-Playing Robots
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...
Michael Thielscher
BIRTHDAY
2015
Springer
8 years 8 months ago
Active Knowledge, LuNA and Literacy for Oncoming Centuries
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 ...
Victor Malyshkin
BIRTHDAY
2015
Springer
8 years 8 months ago
Partial Valuation Structures for Qualitative Soft Constraints
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 ...
Alexander Schiendorfer, Alexander Knapp, Jan-Phili...
BIRTHDAY
2015
Springer
8 years 8 months ago
Alice and Bob Meet Equational Theories
David A. Basin, Michel Keller, Sasa Radomirovic, R...
BIRTHDAY
2015
Springer
8 years 8 months ago
Bounded Synthesis for Petri Games
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...
Bernd Finkbeiner
BIRTHDAY
2015
Springer
8 years 8 months ago
On Failure of 0-1 Laws
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 ...
Saharon Shelah
BIRTHDAY
2015
Springer
8 years 8 months ago
A Theory Agenda for Component-Based Design
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...
Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Ma...