2573 search results - page 227 / 515 » Combinations of Modal Logics |
201
Voted
LPAR
2007
Springer
16 years 22 days ago
2007
Springer
We study the data complexity of instance checking and conjunctive query answering in the EL family of description logics, with a particular emphasis on the boundary of tractability...
149
click to vote
DATE
2006
IEEE
16 years 20 days ago
2006
IEEE
—In this paper we describe a methodology to measure exactly the quality of fault-tolerant designs by combining faultinjection in high level design (HLD) descriptions with a forma...
170
click to vote
BIRTHDAY
2005
Springer
16 years 4 days ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
151
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
This paper focuses on the inference of modes for which a logic program is guaranteed to terminate. This generalizes traditional termination analysis where an analyzer tries to veri...
167
click to vote
VTS
1999
IEEE
15 years 11 months ago
1999
IEEE
Ground bounce in internal circuitry is becoming an important design validation and test issue. In this paper a new circuit model for ground bounce in internal circuitry is propose...