4978 search results - page 242 / 996 » Logical models of argument |
260
click to vote
ICLP
2009
Springer
16 years 6 months ago
2009
Springer
If logic programs are interpreted over a three-valued logic, then often Kleene's strong three-valued logic with complete equivalence and Fitting's associated immediate co...
132
click to vote
SIGIR
2009
ACM
16 years 10 days ago
2009
ACM
Retrieval with Logical Imaging is derived from belief revision and provides a novel mechanism for estimating the relevance of a document through logical implication (i.e. P(q → ...
187
click to vote
ESOP
2006
Springer
15 years 9 months ago
2006
Springer
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...
149
click to vote
ILP
2000
Springer
15 years 9 months ago
2000
Springer
First-order probabilistic models are recognized as efficient frameworks to represent several realworld problems: they combine the expressive power of first-order logic, which serv...
163
click to vote
JASIS
2000
15 years 5 months ago
2000
In the logical approach to information retrieval (IR), retrieval is considered as uncertain inference. Whereas classical IR models are based on propositional logic, we combine Dat...