2062 search results - page 250 / 413 » Derivatives of Logical Formulas |
148
click to vote
IGPL
2010
15 years 5 months ago
2010
: The main focus of this paper is to develop an adaptive formal apparatus capable of capturing (certain types of) reasoning conducted within the framework of the so-called dynamic ...
164
click to vote
SYNTHESE
2010
15 years 4 months ago
2010
There exists a considerable body of work on epistemic logics for resource-bounded reasoners. In this paper, we concentrate on a less studied aspect of resource-bounded reasoning, n...
182
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
175
click to vote
ICDIM
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we discuss the use of digital circuits in decision support systems. For this, it is first necessary to translate the descriptions of situations and conclusions whic...
205
click to vote
COMMA
2010
15 years 1 months ago
2010
Abstract. Constrained argumentation frameworks (CAF) generalize Dung's frameworks by allowing additional constraints on arguments to be taken into account in the definition of...