940 search results - page 2 / 188 » Local rely-guarantee reasoning |
AI
2011
Springer
13 years 16 days ago
2011
Springer
An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One o...
ATAL
2011
Springer
12 years 5 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
VSTTE
2010
Springer
13 years 3 months ago
2010
Springer
KR
1998
Springer
13 years 9 months ago
1998
Springer
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise t...
DLOG
2011
12 years 9 months ago
2011
A combination of open and closed-world reasoning (usually called local closed world reasoning) is a desirable capability of knowledge representation formalisms for Semantic Web app...