1737 search results - page 34 / 348 » On Interpolation in Existence Logics |
164
click to vote
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
175
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
The Semantic Web drives towards the use of the Web for interacting with logically interconnected data. Through knowledge models such as Resource Description Framework (RDF), the S...
166
click to vote
ILP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Logical Bayesian Networks (LBNs) have recently been introduced as another language for knowledge based model construction of Bayesian networks, besides existing languages...
158
click to vote
CIE
2010
Springer
15 years 11 months ago
2010
Springer
This paper is an informal (and nonexhaustive) overview over some existing notions of proof nets for classical logic, and gives some hints why they might be considered to be unsatis...
124
click to vote
EUSFLAT
2007
15 years 7 months ago
2007
We propose a general semantic notion of modal many-valued logic. Then, we explore the difficulties to characterize this notation in a syntactic way and analyze the existing litera...