2035 search results - page 110 / 407 » On the complexity of stratified logics |
184
click to vote
KI
2009
Springer
16 years 26 days ago
2009
Springer
As a tractable description logic, DL-Lite provides a good compromise between expressive power and computational complexity of inference. It is therefore important to study ways of ...
164
click to vote
FLAIRS
2008
15 years 8 months ago
2008
We develop a formal system dealing `spatially' with certain aspects of uniformity and control during knowledge acquisition. To this end, we study an appropriate modality, whi...
164
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
In this paper, we present novel algorithms that effectively combine physical layout and early logic synthesis to improve overall design quality. In addition, we employ partitionin...
139
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
165
click to vote
CODES
2003
IEEE
15 years 11 months ago
2003
IEEE
Boolean logic minimization is traditionally used in logic synthesis tools running on powerful desktop computers. However, logic minimization has recently been proposed for dynamic...