2022 search results - page 117 / 405 » Complexity of Non-Monotonic Logics |
104
Voted
FLAIRS
2008
15 years 3 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...
104
Voted
ICCAD
2001
IEEE
15 years 9 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...
89
Voted
LICS
2005
IEEE
15 years 6 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...
CODES
2003
IEEE
15 years 6 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...
96
Voted
CORR
2008
Springer
15 years 27 days ago
2008
Springer
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed...