1064 search results - page 116 / 213 » Disjoint Systems (Extended Abstract) |
159
click to vote
LICS
2009
IEEE
16 years 23 days ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
148
click to vote
WOLLIC
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, n...
159
click to vote
FORMATS
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. We study the realizability problem for specifications of reactive systems expressed in real-time linear temporal logics. The logics we consider are subsets of MITL (Metr...
192
click to vote
IDC
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. Based on the plethora of proposals and standards for logic- and rulebased reasoning for the Semantic Web (SW), a key factor for the success of SW agents is interoperabili...
135
click to vote
IDEAL
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. In this paper, we present a more effective approach to clustering with eXtended Classifier System (XCS) which is divided into two phases. The first phase is the XCS le...