1578 search results - page 6 / 316 » Induction of Stable Models |
IWINAC
2007
Springer
14 years 1 months ago
2007
Springer
A significant advance in inductive modelling are systems that retain learned knowledge and selectively transfer portions of that knowledge as a source of inductive bias. We defi...
CONTEXT
2007
Springer
14 years 1 months ago
2007
Springer
Mechanisms that underlie the inductive reasoning process in risk contexts are investigated. Experimental results indicate that people rate the same inductive reasoning argument dif...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
FMCAD
2007
Springer
14 years 1 months ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
AGI
2008
13 years 9 months ago
2008
Universal induction solves in principle the problem of choosing a prior to achieve optimal inductive inference. The AIXI theory, which combines control theory and universal induct...