4617 search results - page 734 / 924 » Automation of Diagrammatic Reasoning |
196
click to vote
NMR
2004
Springer
16 years 14 days ago
2004
Springer
Current literature offers a number of different approaches to what could generally be called “probabilistic logic programming”. These are usually based on Horn clauses. Here, ...
175
click to vote
NMR
2004
Springer
16 years 14 days ago
2004
Springer
Within the law, the traditional test for attributing causal responsibility is the counterfactual “but-for” test, which asks whether the injury complained of would have occurre...
172
click to vote
NMR
2004
Springer
16 years 14 days ago
2004
Springer
We propose in this paper a new family of belief merging operators, that is based on a game between sources : Until a coherent set of sources is reached, at each round a contest is...
135
click to vote
NMR
2004
Springer
16 years 14 days ago
2004
Springer
Unlike most non-monotonic logics Plausible Logic was designed from the very beginning with computer implementation in mind. But one aspect of implementation was neglected, namely ...
179
click to vote
NMR
2004
Springer
16 years 14 days ago
2004
Springer
In this paper, a possible worlds framework for representing general belief change operators is presented. In common with many approaches, an agent’s set of beliefs are specifie...