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....
67
Voted
BIRTHDAY
9 years 10 months ago
2015 Springer
Abstract. The notion of module extraction has been studied extensively in the ontology community. The idea is to extract, from a large ontology, those axioms that are relevant to c...
|
Applied Computing