6355 search results - page 174 / 1271 » From Logic to Games |
181
click to vote
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
In the last two decades we have witnessed an impressive advance in the efficiency of propositional satisfiability techniques (SAT), which has brought large and previously-intractab...
132
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
In this work we present several possible extensions of fuzzy Datalog. At first the concept of fuzzy Datalog will be summarized, then its extension for intuitionistic- and interval...
181
click to vote
IGPL
2000
15 years 6 months ago
2000
This paper has two goals. First, we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning....
196
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
153
click to vote
DT
1998
15 years 6 months ago
1998
The logic blocks of most modern FPGAs contain clusters of look-up tables and flip flops, yet little is known about good choices for several key architectural parameters related ...