Sciweavers

97 search results - page 20 / 20
» Graphs of arbitrary excessive class
Sort
View
JSYML
2010
107views more  JSYML 2010»
13 years 4 months ago
A proof of completeness for continuous first-order logic
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
Arthur Paul Pedersen, Itay Ben-Yaacov
CORR
2011
Springer
174views Education» more  CORR 2011»
12 years 9 months ago
Parameter Learning of Logic Programs for Symbolic-Statistical Modeling
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...
Yoshitaka Kameya, Taisuke Sato