2302 search results - page 141 / 461 » Basic Description Logics |
129
click to vote
ISSS
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper present a novel interface synthesis approach based on a one-sided interface description. Whereas most other approaches consider interface synthesis as optimizing a chan...
118
click to vote
REX
1989
15 years 8 months ago
1989
In this paper we further develop the methodology of temporal logic as an executable imperative language, presented by Moszkowski [Mos86] and Gabbay [Gab87, Gab89] and present a con...
131
click to vote
JCSS
2010
15 years 2 months ago
2010
In classical logics, the meaning of a formula is invariant with respect to the renaming of bound variables. This property, normally taken for granted, has been shown not to hold in...
117
click to vote
ESSLLI
1999
Springer
15 years 8 months ago
1999
Springer
This paper argues that exhaustification is empirically and theoretically important as a tool in the semantic description of various constructions in natural language. Discussion f...
156
click to vote
CSL
2006
Springer
15 years 8 months ago
2006
Springer
A complete and decidable propositional logic for reasoning about states of probabilistic sequential programs is presented. The state logic is then used to obtain a sound Hoare-styl...