24 search results - page 5 / 5 » System for Automated Deduction (SAD): A Tool for Proof Verif... |
KI
2010
Springer
12 years 11 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
ICAIL
2003
ACM
13 years 9 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
WOLLIC
2009
Springer
13 years 11 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
FMCAD
2008
Springer
13 years 6 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...