1581 search results - page 104 / 317 » Mechanizing Inductive Reasoning |
155
click to vote
TPHOL
2008
IEEE
16 years 21 days ago
2008
IEEE
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
144
click to vote
ICALT
2007
IEEE
16 years 20 days ago
2007
IEEE
This paper summarizes results from two educational research Ph.D. theses carried out in recent years at the "Laboratoire de Robotique Pédagogique" of the Université de...
192
click to vote
ILP
2007
Springer
16 years 14 days ago
2007
Springer
Mode declarations are a successful form of language bias in explanatory ILP. But, while they are heavily used in Horn systems, they have yet to be similarly exploited in more expre...
194
click to vote
ILP
2007
Springer
16 years 14 days ago
2007
Springer
In this chapter, we describe a view of statistical learning in the inductive logic programming setting based on kernel methods. The relational representation of data and background...
217
click to vote
ILP
2007
Springer
16 years 14 days ago
2007
Springer
Statistical Relational Learning (SRL) combines the benefits of probabilistic machine learning approaches with complex, structured domains from Inductive Logic Programming (ILP). W...