BIRTHDAY
9 years 10 months 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
9 years 10 months ago
2015 Springer 
We introduce a new class of succinct games, called weighted boolean formula games. Here, each player has a set of boolean formulas he wants to get satisfied. The boolean formulas...
BIRTHDAY
9 years 10 months 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...
BIRTHDAY
9 years 10 months ago
2015 Springer
Abstract. Answer Set Programming is a widely known knowledge representation framework based on the logic programming paradigm that has been extensively studied in the past decades....
BIRTHDAY
9 years 10 months 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...
|
Applied Computing