282 search results - page 16 / 57 » Propositional Fusion Rules |
122
click to vote
AISC
1998
Springer
15 years 7 months ago
1998
Springer
While propositional modal logic is a standard tool, first-order modal logic is not. Indeed, it is not generally understood that conventional first-order syntax is insufficiently ex...
128
click to vote
EACL
1989
ACL Anthology
15 years 4 months ago
1989
ACL Anthology
In this paper a method for controlling the dialog in a natural language (NL) system is presented. It provides a deep modeling of information processing based on time dependent pro...
128
Voted
ISIPTA
2003
IEEE
15 years 8 months ago
2003
IEEE
Dempster’s rule for combining two belief functions assumes the independence of the sources of information. If this assumption is questionable, I suggest to use the least speciï¬...
129
click to vote
ITS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
CORR
2006
Springer
15 years 3 months ago
2006
Springer
: Recent works have investigated the problem of the conflict redistribution in the fusion rules of evidence theories. As a consequence of these works, many new rules have been prop...