4617 search results - page 720 / 924 » Automation of Diagrammatic Reasoning |
181
click to vote
CSL
2005
Springer
16 years 21 days ago
2005
Springer
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...
180
click to vote
ECSQARU
2005
Springer
16 years 20 days ago
2005
Springer
In a Bayesian network with continuous variables containing a variable(s) that is a conditionally deterministic function of its continuous parents, the joint density function for t...
113
click to vote
ECSQARU
2005
Springer
16 years 20 days ago
2005
Springer
This paper is centered on the family of Dung’s finite argumentation frameworks when the attacks relation is symmetric (and nonempty and irreflexive). We show that while this fa...
179
click to vote
ECSQARU
2005
Springer
16 years 20 days ago
2005
Springer
The main task of drug discovery is to find novel bioactive molecules, i.e., chemical compounds that, for example, protect human cells against a virus. One way to support solving t...
157
click to vote
ECSQARU
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. In previous papers, we have presented a framework for merging structured information in XML involving uncertainty in the form of probabilities, degrees of beliefs and nec...