3032 search results - page 288 / 607 » Description Logic Rules |
120
click to vote
IJCAI
2003
15 years 5 months ago
2003
A default conditional α → β has most often been informally interpreted as a defeasible version of a classical conditional, usually the material conditional. That is, the intui...
174
click to vote
AAAI
1996
15 years 5 months ago
1996
First-order probabilistic logic is a powerful knowledge representation language. Unfortunately, deductive reasoning based on the standard semantics for this logic does not support...
124
click to vote
ENGL
2006
15 years 4 months ago
2006
We describe in this paper the use of neural networks, fuzzy logic and genetic algorithms for voice recognition. In particular, we consider the case of speaker recognition by analyz...
133
click to vote
ENTCS
2007
15 years 4 months ago
2007
Many programming calculi have been designed to have a Curry-Howard correspondence with a classical logic. We investigate the effect that different choices of logical connective ha...
115
click to vote
JAIR
2011
14 years 11 months ago
2011
We introduce a novel logical notion–partial entailment–to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with...