2022 search results - page 203 / 405 » Complexity of Non-Monotonic Logics |
171
click to vote
FOSSACS
2007
Springer
16 years 20 days ago
2007
Springer
We study the complexity of satisfiability for the expressive extension ICPDL of PDL (Propositional Dynamic Logic), which admits intersection and converse as program operations. Ou...
187
click to vote
FPL
2007
Springer
16 years 20 days ago
2007
Springer
Modern platform FPGAs integrate fine-grained reconfigurable logic with processor cores and allow the creation of complete configurable systems-on-chip. However, design methodol...
185
click to vote
ICALP
2007
Springer
16 years 20 days ago
2007
Springer
The ability to detect ambiguities in context-free grammars is vital for their use in several fields, but the problem is undecidable in the general case. We present a safe, conser...
167
click to vote
RR
2007
Springer
16 years 19 days ago
2007
Springer
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
174
click to vote
DDECS
2006
IEEE
16 years 17 days ago
2006
IEEE
- Extension of a BIST design algorithm is proposed in this paper. The method is based on a synthesis of a combinational block - the decoder, transforming pseudo-random code words i...