2162 search results - page 119 / 433 » Automated Reasoning on Feature Models |
147
click to vote
DEON
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of...
138
click to vote
DLOG
1998
15 years 5 months ago
1998
This paper introduces YAYA1, a Description Logic system focused towards learning complex interrelations among objects. YAYA Concept Language (YCL) is quite restricted; although it...
154
click to vote
DEON
2010
Springer
15 years 4 months ago
2010
Springer
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie...
138
click to vote
CSL
2006
Springer
15 years 4 months ago
2006
Springer
In a data word or a data tree each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been considered in the realm of sem...
116
click to vote
CSL
2004
Springer
15 years 3 months ago
2004
Springer
9 A two-level mixture linear dynamic system model, with frame-level switching parameters in the obser10 vation equation and with segment-level switching parameters in the target-d...