1917 search results - page 87 / 384 » Experimenting with Nonmonotonic Reasoning |
104
click to vote
ICRA
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper presents an approach to learning an optimal behavioral parameterization in the framework of a Case-Based Reasoning methodology for autonomous navigation tasks. It is ba...
122
Voted
ECAI
1990
Springer
15 years 4 months ago
1990
Springer
In case-based reasoning (CBR) a problem is solved by matching the problem description to a previously solved case, using the past solution in solving the new problem. A case-based...
78
Voted
CE
2007
15 years 21 days ago
2007
The paper reports a small-scale, long-term pilot project designed to foster strategic and reasoning abilities in young primary school pupils by engaging them in a number of comput...
CADE
2002
Springer
16 years 1 months ago
2002
Springer
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...
133
Voted
AINA
2006
IEEE
15 years 6 months ago
2006
IEEE
— In today’s service market the provisioning of high quality services has become a critical issue for providers as the business success of their customers is often based on the...