2500 search results - page 96 / 500 » Logical Semantics of Modularisation |
121
click to vote
JANCL
2007
15 years 2 months ago
2007
We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect information, for which no commonly accepted semantics has been proposed yet. Rather than ...
105
click to vote
ECSQARU
2007
Springer
15 years 9 months 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...
135
click to vote
ICDE
2008
IEEE
15 years 9 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...
136
click to vote
TABLEAUX
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
119
click to vote
LOGCOM
2002
15 years 2 months ago
2002
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method exploits the strong connection between...