2573 search results - page 112 / 515 » Combinations of Modal Logics |
159
click to vote
PKDD
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. A new method is proposed for compiling causal independencies into Markov logic networks (MLNs). An MLN can be viewed as compactly representing a factorization of a joint ...
134
click to vote
VLSID
2006
IEEE
16 years 4 months ago
2006
IEEE
Radiation induced soft errors in combinational logic is expected to become as important as directly induced errors on state elements. Consequently, it has become important to deve...
135
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
Soft errors in logic are emerging as a significant reliability problem for VLSI designs. This paper presents novel circuit optimization techniques to mitigate soft error rates (SE...
164
click to vote
ASP
2005
Springer
15 years 9 months ago
2005
Springer
This paper studies compositional semantics of nonmonotonic logic programs. We suppose the answer set semantics of extended disjunctive programs and consider the following problem. ...
127
click to vote
ICML
1994
IEEE
15 years 7 months ago
1994
IEEE
This paper describes a new methodfor inducing logic programs from examples which attempts to integrate the best aspects of existingILP methodsintoa singlecoherent framework. In pa...