540 search results - page 15 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
LPNMR
2005
Springer
15 years 5 months ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...
119
click to vote
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
140
click to vote
DKE
2008
15 years 11 days ago
2008
Logic is currently the target of the majority of the upcoming efforts towards the realization of the Semantic Web vision, namely making the content of the Web accessible not only t...
117
Voted
ICFP
2005
ACM
16 years 8 days ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
COLING
2002
15 years 4 days ago
2002
It is shown that basic language processes such as the production of free word associations and the generation of synonyms can be simulated using statistical models that analyze th...