2540 search results - page 132 / 508 » Abstract Logics as Dialgebras |
176
click to vote
ICCD
1993
IEEE
15 years 10 months ago
1993
IEEE
for a state machine which is an abstraction for an existing sequential circuit, which can be useful for redesign or engineering change. The generated state machines can be further ...
168
click to vote
DLOG
2001
15 years 7 months ago
2001
In this extended abstract an optimization technique, the so-called signature calculus, for reasoning with number restrictions in description logics is investigated. The calculus i...
198
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
205
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends pro...
127
click to vote
SLP
1990
15 years 7 months ago
1990
eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.