2302 search results - page 12 / 461 » Basic Description Logics |
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
In this paper we introduce an extension of propositional logic that allows clauses to be weighted with values from a generic semiring. The main interest of this extension is that ...
ASIAN
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
FUIN
2008
13 years 8 months ago
2008
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
CADE
2001
Springer
14 years 8 months ago
2001
Springer
DLOG
2007
13 years 10 months ago
2007
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics (DLs) as an exten...