2540 search results - page 330 / 508 » Abstract Logics as Dialgebras |
CORR
2008
Springer
13 years 11 months ago
2008
Springer
Abstract The Little-Hopfield neural network programmed with Horn clauses is studied. We argue that the energy landscape of the system, corresponding to the inconsistency function f...
CORR
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We consider the relational characterisation of branching bisimilarity with explicit divergence. We prove that it is an equivalence and that it coincides with the original...
MST
2008
13 years 10 months ago
2008
Abstract. We outline a general theory of graph polynomials which covers all the examples we found in the vast literature, in particular, the chromatic polynomial, various generaliz...
MJ
2006
13 years 10 months ago
2006
In this paper, we describe a hybrid tool for hardware formal verification that links the HOL (higher-order logic) theorem prover and (multiway decision graphs) model checker. Our ...
CORR
2000
Springer
13 years 10 months ago
2000
Springer
Abstract. We introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about the in...