1059 search results - page 18 / 212 » Standard Logics Are Valuation-Nonmonotonic |
163
click to vote
JAR
2002
15 years 5 months ago
2002
Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-orde...
172
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
There are numerous applications where we have to deal with temporal uncertainty associated with events. The Temporal Probabilistic (TP) Logic Programs should provide support for v...
133
click to vote
CLUSTER
2004
IEEE
15 years 9 months ago
2004
IEEE
The Rocks toolkit [9], [7], [10] uses a graph-based framework to describe the configuration of all node types (termed appliances) that make up a complete cluster. With hundreds of...
133
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
The interlock and forwarding logic is considered the tricky part of a fully-featured pipelined microprocessor and especially debugging these parts delays the hardware design proce...
174
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...