266 search results - page 5 / 54 » Bayesian Inductive Logic Programming |
TYPES
2000
Springer
14 years 1 months ago
2000
Springer
We report on the design of a prototyping component for the theorem prover Isabelle/HOL. Specifications consisting of datatypes, recursive functions and inductive definitions are co...
APIN
1999
13 years 9 months ago
1999
The Connectionist Inductive Learning and Logic Programming System, C-IL 2 P, integrates the symbolic and connectionist paradigms of Artificial Intelligence through neural networks...
SYNTHESE
2008
13 years 9 months ago
2008
Objective Bayesian probability is often defined over rather simple domains, e.g., finite event spaces or propositional languages. This paper investigates the extension of objectiv...
GECCO
2003
Springer
14 years 3 months ago
2003
Springer
This paper proposes a method for dealing with numerical attributes in inductive concept learning systems based on genetic algorithms. The method uses constraints for restricting th...
PPDP
2007
Springer
14 years 3 months ago
2007
Springer