15754 search results - page 746 / 3151 » Programs are Knowledge Bases |
187
click to vote
AAAI
2006
15 years 9 months ago
2006
Real-time dynamic programming (RTDP) is a heuristic search algorithm for solving MDPs. We present a modified algorithm called Focused RTDP with several improvements. While RTDP ma...
165
click to vote
ACE
2003
15 years 9 months ago
2003
We describe our criterion-referenced grading scheme for a first year programming subject, which has been designed to allow all participating students to achieve their full potenti...
163
click to vote
FLAIRS
1998
15 years 9 months ago
1998
In this papera newoperatorfor agent's implicit belief revisionis presented.Thisoperatoris conceptually based on the following requirement:anagent should find first anexplanat...
178
click to vote
SODA
1998
ACM
15 years 9 months ago
1998
ACM
We describe a new exact-arithmetic approach to linear programming when the number of variables n is much larger than the number of constraints m (or vice versa). The algorithm is ...
194
click to vote
IJCAI
1989
15 years 8 months ago
1989
A model of unrestricted And-parallel execution for logic programs is described, based on Dependency Directed Backtracking (DDBT) aimed at improving the efficiency of execution whi...