1498 search results - page 190 / 300 » Description logic for coalitions |
FROCOS
2007
Springer
15 years 1 months ago
2007
Springer
In the last two decades we have witnessed an impressive advance in the efficiency of propositional satisfiability techniques (SAT), which has brought large and previously-intractab...
DSD
2009
IEEE
15 years 1 months ago
2009
IEEE
Todays NoCs are reaching a level where it is getting very hard to ensure 100% of functionality. Consequently, fault tolerance has become an important aspect in todays design techn...
115
click to vote
LPNMR
1995
Springer
15 years 1 months ago
1995
Springer
In this paper we propose a version of default logic with the following two properties: (1) defaults with mutually inconsistent justications are never used together in constructing ...
108
click to vote
DLOG
2007
15 years 12 days ago
2007
In Description Logics (DLs), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problems such as c...
HCI
2007
14 years 11 months ago
2007
Abstract. A major challenge of Ambient Intelligence lies in building middleware that can ease service implementation through allowing the application developer to emphasize only th...