2067 search results - page 80 / 414 » Logics of propositional control |
113
click to vote
CAV
2003
Springer
15 years 7 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
111
Voted
LORI
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The aim of this work is propose a logical approach to intention dynamics based on the notion of assignment [7, 3]. The function of an assignment is to associate the truth...
ERSHOV
2001
Springer
15 years 6 months ago
2001
Springer
There are many different ways of proving formulas in proposition logic. Many of these can easily be characterized as forms of resolution (e.g. [12] and [9]). Others use so-called...
107
click to vote
CSR
2006
Springer
15 years 5 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...
120
click to vote
AAAI
2007
15 years 4 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...