653 search results - page 39 / 131 » The Logic of Learning |
158
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...
179
Voted
CORR
2011
Springer
15 years 18 days ago
2011
Springer
A plausible definition of "reasoning" could be "algebraically manipulating previously acquired knowledge in order to answer a new question". This definition co...
151
click to vote
SLOGICA
2008
15 years 5 months ago
2008
We study a simple game theoretic model of information transfer which we consider to be a baseline model for capturing strategic aspects of epistemological questions. In particular,...
166
click to vote
EMNLP
2010
15 years 3 months ago
2010
This paper addresses the problem of learning to map sentences to logical form, given training data consisting of natural language sentences paired with logical representations of ...
161
click to vote
IJCAI
2007
15 years 7 months ago
2007
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...