2540 search results - page 8 / 508 » Abstract Logics as Dialgebras |
DAC
2006
ACM
14 years 11 months ago
2006
ACM
or Abstraction for the Functional Verification of FPGAs Guy Dupenloup, Thierry Lemeunier, Roland Mayr Altera Corporation 101 Innovation Drive San Jose, CA 95134 1-408-544-8672 {gdu...
FROCOS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
EPIA
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several implications in the rules and rather general connect...
IJCAI
2003
13 years 11 months ago
2003
emic Logic for Arbitration (Extended Abstract)
LPNMR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarel...