1144 search results - page 84 / 229 » Logic programming for combinatorial problems |
102
click to vote
DEXA
2000
Springer
15 years 6 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
118
click to vote
AAAI
2006
15 years 3 months ago
2006
Intelligent agents must be able to handle the complexity and uncertainty of the real world. Logical AI has focused mainly on the former, and statistical AI on the latter. Markov l...
167
click to vote
AAAI
2011
14 years 2 months ago
2011
In this paper, we propose a novel method to select the most informative subset of features, which has little redundancy and very strong discriminating power. Our proposed approach...
154
click to vote
ECP
1997
Springer
15 years 6 months ago
1997
Springer
In this paper we describe SINERGY, which is a highly parallelizable, linear planning system that is based on the genetic programming paradigm. Rather than reasoning about the world...
120
click to vote
POPL
2010
ACM
15 years 12 months ago
2010
ACM
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...