868 search results - page 91 / 174 » Alternative Essences of Intelligence |
131
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
Several logical languages have been considered in AI for encoding compactly preference relations over a set of alternatives. In this paper, we analyze both the expressiveness and ...
125
click to vote
TPHOL
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract. We show that certain input-output relations, termed inductive invariants are of central importance for termination proofs of algorithms defined by nested recursion. Indu...
128
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
This paper discusses some modeling issues concerning the communication between goal-directed agents. In particular, the role of performatives in agent communication is discussed. I...
154
click to vote
CAEPIA
2003
Springer
15 years 9 months ago
2003
Springer
This paper describes a time-series prediction method based on the kNN technique. The proposed methodology is applied to the 24hour load forecasting problem. Also, based on recorded...
150
click to vote
SGAI
2009
Springer
15 years 9 months ago
2009
Springer
Feature subset selection has become more and more a common topic of research. This popularity is partly due to the growth in the number of features and application domains. The fa...