586 search results - page 25 / 118 » Automated Reasoning on Aspects Interactions |
KR
2010
Springer
14 years 2 months ago
2010
Springer
Horn fragments of Description Logics (DLs) have gained popularity because they provide a beneficial trade-off between expressive power and computational complexity and, more spec...
DLOG
2010
13 years 8 months ago
2010
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...
SEFM
2008
IEEE
14 years 4 months ago
2008
IEEE
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
Computational technologies have been increasingly explored to make biomedical knowledge and data more accessible for human understanding, comparison, analysis and communication. I...
RIDE
1999
IEEE
14 years 2 months ago
1999
IEEE
Advances in computer networking technology and open system standards are making the creation and management of virtual enterprises feasible. A virtual enterprise is a temporary co...