593 search results - page 20 / 119 » RDF and Logic: Reasoning and Extension |
107
click to vote
SWAP
2007
15 years 2 months ago
2007
Abstract. Ontologies are pervading many areas of knowledge representation and management. To date, most research efforts have been spent on the development of sufficiently express...
121
click to vote
FOSSACS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
110
click to vote
FOSSACS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
CSL
2005
Springer
15 years 7 months ago
2005
Springer
We study the complexity of model-checking for the fixpoint extension of Hintikka and Sandu’s independence-friendly logic. We show that this logic captures ExpTime; and by embedd...
125
Voted
INFFUS
2006
15 years 1 months ago
2006
This paper addresses the problem of merging uncertain information in the framework of possibilistic logic. It presents several syntactic combination rules to merge possibilistic k...