1056 search results - page 110 / 212 » ijcai 2007 |
IJCAI
1997
15 years 9 days ago
1997
Unfailing completion is a commonly used technique for equational reasoning. For equational problems with associative and commutative functions, unfailing completion often generate...
117
click to vote
IJCAI
1997
15 years 9 days ago
1997
Bayesian belief networks have grown to prominence because they provide compact representations of many domains, and there are algorithms to exploit this compactness. The next step...
IJCAI
1997
15 years 9 days ago
1997
This paper proposes a new connectionist approach to numeric law discovery; i.e., neural networks (law-candidates) are trained by using a newly invented second-order learning algor...
IJCAI
1997
15 years 9 days ago
1997
This paper presents an interactive method for building a controller for dynamic systems by using a combination of knowledge acquisition and machine learning techniques. The aim is...
IJCAI
1997
15 years 9 days ago
1997
Motivated by the need to reason about utilities, and inspired by the success of bayesian networks in representing and reasoning about probabilities, we introduce the notion of uti...