324 search results - page 5 / 65 » Repairing Incomplete Reasoners |
CORR
2006
Springer
14 years 9 months ago
2006
Springer
IJCAI
1989
14 years 10 months ago
1989
One of the problems of the recent approaches to problem solving based on deep knowledge is the lack of a formal treatment of incomplete knowledge. However, dealing with incomplete...
CAV
2006
Springer
15 years 1 months ago
2006
Springer
We show how to find and fix faults in Boolean programs by extending the program to a game. In the game, the protagonist can select an alternative implementation for an incorrect st...
TPHOL
2005
IEEE
15 years 3 months ago
2005
IEEE
59
Voted
KR
2004
Springer
15 years 2 months ago
2004
Springer
