1737 search results - page 205 / 348 » On Interpolation in Existence Logics |
179
click to vote
CSL
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. For a two-variable formula B(X,Y) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of a finite-state operator Y=F(X) ...
152
click to vote
DEXAW
2008
IEEE
16 years 26 days ago
2008
IEEE
The semantic web aims at enabling the web to understand and answer the requests from people and machines. It relies on several standards for representing and reasoning about web c...
159
click to vote
ICALT
2008
IEEE
16 years 25 days ago
2008
IEEE
Collaboration has long been considered an effective approach to learning. However, forming optimal groups can be a time consuming and complex task. Different approaches have been ...
153
click to vote
ICTAI
2008
IEEE
16 years 24 days ago
2008
IEEE
These last years, the issue of locating and explaining contradictions inside sets of propositional clauses has received a renewed attention due to the emergence of very efficient...
182
click to vote
LICS
2008
IEEE
16 years 23 days ago
2008
IEEE
We present a syntax for MALL (multiplicative additive linear logic without units) proof nets which refines Girard’s one. It is also based on the use of monomial weights for ide...