12 search results - page 3 / 3 » Expressive equivalence of least and inflationary fixed-point... |
AI
2007
Springer
13 years 11 months ago
2007
Springer
When using Bayesian networks, practitioners often express constraints among variables by conditioning a common child node to induce the desired distribution. For example, an ‘orâ...
TYPES
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we addr...