1435 search results - page 150 / 287 » E-connections of Description Logics |
127
click to vote
WSC
1998
15 years 2 months ago
1998
Emulation is the process of exactly imitating a real system. Recent advances in simulation technology make it possible to emulate real world control systems by using a system'...
112
click to vote
FROCOS
2007
Springer
15 years 5 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...
116
click to vote
DSD
2009
IEEE
15 years 5 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...
141
click to vote
LPNMR
1995
Springer
15 years 5 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 ...
139
click to vote
DLOG
2007
15 years 3 months 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...