1737 search results - page 76 / 348 » On Interpolation in Existence Logics |
127
click to vote
CCR
2005
15 years 6 months ago
2005
-- A protocol that supports the sharing of resources that exist in different packet switching networks is presented. The protocol provides for variation in individual network packe...
155
click to vote
STACS
2009
Springer
16 years 29 days ago
2009
Springer
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
123
click to vote
AML
2008
15 years 6 months ago
2008
We study problems of Clote and Paris, concerning the existence of end extensions of models of n-collection. We continue the study of the notion of ` -fullness', begun by Wilki...
164
click to vote
ICRA
2007
IEEE
16 years 14 days ago
2007
IEEE
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
139
click to vote
ICLP
2007
Springer
16 years 10 days ago
2007
Springer
We propose a novel technique that maps decision problems in WS1S (weak monadic second-order logic with n successors) to the problem of query evaluation of Complex-value Datalog que...