2022 search results - page 215 / 405 » Complexity of Non-Monotonic Logics |
212
click to vote
DALT
2005
Springer
16 years 1 days ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
181
click to vote
FPGA
2005
ACM
16 years 22 hour ago
2005
ACM
Logic duplication is an effective method for improving circuit performance. In this paper we present an algorithm named SPD that performs simultaneous placement and duplication to...
208
click to vote
PCI
2005
Springer
15 years 12 months ago
2005
Springer
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
182
click to vote
RULEML
2005
Springer
15 years 12 months ago
2005
Springer
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
165
click to vote
HIPC
2004
Springer
15 years 12 months ago
2004
Springer
This paper summarizes the design and implementation of a parallel algorithm for state assignment of large Finite State Machines (FSMs). High performance CAD tools are necessary to...