282 search results - page 47 / 57 » Propositional Fusion Rules |
114
click to vote
ICAIL
2007
ACM
15 years 6 months ago
2007
ACM
Ontologies in a legal expert system must be processed to suit all possible user cases within the field of law of the system. From the logical premises of a deductive system of expr...
142
click to vote
AGP
1995
IEEE
15 years 6 months ago
1995
IEEE
In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi–modal logics. The theorem prover, which is called KEM, arise...
141
Voted
MIR
2010
ACM
15 years 4 months ago
2010
ACM
This paper presents a classification-driven biomedical image retrieval system to bride the semantic gap by transforming image features to their global categories at different gran...
153
click to vote
NMR
2004
Springer
15 years 8 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
119
Voted
LPNMR
1997
Springer
15 years 7 months ago
1997
Springer
This paper introduces power default reasoning (PDR), a framework for nonmonotonic reasoning based on the domain-theoretic idea of modeling default rules with partial-information i...