Sciweavers

1423 search results - page 106 / 285
» Quantum logic as a dynamic logic
Sort
View
CADE
2000
Springer
15 years 2 months ago
Two Techniques to Improve Finite Model Search
Abstract. This article introduces two techniques to improve the propagation efficiency of CSP based finite model generation methods. One approach consists in statically rewriting ...
Gilles Audemard, Belaid Benhamou, Laurent Henocque
FMLDO
1999
Springer
94views Database» more  FMLDO 1999»
15 years 2 months ago
Specifying Active Rules for Database Maintenance
In this article we extend previous work on the development of logical foundations for the specification of the dynamics of databases. In particular, we deal with two problems. Fir...
Leopoldo E. Bertossi, Javier Pinto
CADE
2009
Springer
15 years 10 months ago
An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability for propositional dynamic logic. Our main contribution is a sound meth...
Florian Widmann, Rajeev Goré
92
Voted
ENTCS
2006
101views more  ENTCS 2006»
14 years 10 months ago
Towards "Dynamic Domains": Totally Continuous Cocomplete Q-categories
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...
Isar Stubbe
74
Voted
ENTCS
2006
114views more  ENTCS 2006»
14 years 10 months ago
Run-Time Checking of Dynamic Properties
We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of...
Oleg Sokolsky, Usa Sammapun, Insup Lee, Jesung Kim