2585 search results - page 4 / 517 » Automating Coherent Logic |
LPNMR
2004
Springer
14 years 22 days ago
2004
Springer
This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while c...
IGPL
2010
13 years 5 months ago
2010
This paper is a contribution to the formalisation of Thagard’s coherence theory. The term coherence is defined as the quality or the state of cohering, especially a logical, ord...
MICRO
2010
IEEE
13 years 5 months ago
2010
IEEE
We propose an architectural design methodology for designing formally verifiable cache coherence protocols, called Fractal Coherence. Properly designed to be fractal in behavior, t...
ECSQARU
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. In previous papers, we have presented a framework for merging structured information in XML involving uncertainty in the form of probabilities, degrees of beliefs and nec...
LLL
1999
Springer
13 years 11 months ago
1999
Springer