2062 search results - page 120 / 413 » Derivatives of Logical Formulas |
132
click to vote
CONCUR
1993
Springer
15 years 8 months ago
1993
Springer
cal Technique for Process Abstraction Glenn Bruns Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK Abstract. With algebraic laws a process can be simpli...
128
click to vote
CSR
2006
Springer
15 years 7 months ago
2006
Springer
We present a method to convert the construction of binary decision diagrams (BDDs) into extended resolution proofs. Besides in proof checking, proofs are fundamental to many applic...
143
click to vote
AAAI
2007
15 years 6 months ago
2007
The world is unpredictable, and acting intelligently requires anticipating possible consequences of actions that are taken. Assuming that the actions and the world are determinist...
155
click to vote
CP
2008
Springer
15 years 5 months ago
2008
Springer
This paper presents a global constraint that enforces rules written in a language based on arithmetic and first-order logic to hold among a set of objects. In a first step, the rul...
124
click to vote
UAI
2003
15 years 5 months ago
2003
We look at the problem of revising fuzzy belief bases, i.e., belief base revision in which both formulas in the base as well as revision-input formulas can come attached with varyi...