4513 search results - page 410 / 903 » Logic programming with satisfiability |
103
Voted
ISLPED
1996
ACM
15 years 9 months ago
1996
ACM
We present a new gate-level approach to current simulation. We use a symbolic model of current pulses that takes accurately into account the dependence on the switching conditions...
144
click to vote
EURODAC
1994
IEEE
15 years 9 months ago
1994
IEEE
An approach for stuck-at-i and delay-fault testing of redundant circuits without modifying the logic is proposed. The only requirement is the ability to control both phases of eac...
129
click to vote
FSTTCS
1993
Springer
15 years 9 months ago
1993
Springer
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
131
click to vote
FOIKS
2010
Springer
15 years 8 months ago
2010
Springer
Armstrong databases are a popular tool in example-based database design. An Armstrong database for a given constraint set from a fixed constraint class Z satisfies precisely those ...
133
click to vote
AI
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In this paper, we present an argumentation-based approach to dealing with inconsistency occurring in knowledge bases. We investigate several important logical properties ...