3658 search results - page 237 / 732 » The logic of proofs, semantically |
192
click to vote
RTA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...
171
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents the formal verification of a compiler front-end that translates a subset of the C language into the Cminor intermediate language. The semantics of the source an...
153
click to vote
ECSQARU
2007
Springer
16 years 26 days ago
2007
Springer
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics as an extension o...
199
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
— Secure Semantic Web applications, particularly those involving access control, are typically focused at the application-domain only, rather than taking a more holistic approach...
214
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default...