20294 search results - page 105 / 4059 » Algorithmic Information Theory |
INFORMS
2010
15 years 4 months ago
2010
162
click to vote
VMCAI
2007
Springer
16 years 13 days ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
203
click to vote
AGI
2011
14 years 10 months ago
2011
What set of concepts and formalizations might one use to make a practically useful, theoretically rigorous theory of generally intelligent systems? We present a novel perspective m...