2649 search results - page 61 / 530 » Temporal Theories of Reasoning |
111
click to vote
LICS
2010
IEEE
14 years 9 months ago
2010
IEEE
One of the major interests of finite model theory is to separate the expressive power of different logics or fragments of logics. In this paper, we define a variant of EhrenfeuchtF...
IJDMB
2008
14 years 12 months ago
2008
: Recently lots of studies aim at modeling and inferring gene networks. Modeling tools propose graphical models having almost nothing about time description of events and regards t...
LPAR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
106
click to vote
TIME
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
111
click to vote
LPAR
1992
Springer
15 years 4 months ago
1992
Springer
We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and loopi...