1941 search results - page 171 / 389 » Reasoning about Computations Using Two-Levels of Logic |
120
Voted
HYBRID
1992
Springer
15 years 7 months ago
1992
Springer
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...
137
Voted
LPNMR
2007
Springer
15 years 9 months ago
2007
Springer
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
136
Voted
ERSHOV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
135
Voted
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...
150
Voted
DLOG
2003
15 years 5 months ago
2003
The purpose of the chapter is to help someone familiar with DLs to understand the issues involved in developing an ontology for some universe of discourse, which is to become a co...