1021 search results - page 5 / 205 » Concepts in Proof Planning |
NRHM
2006
15 years 5 months ago
2006
190
click to vote
IJCAI
1997
15 years 7 months ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
150
click to vote
BIRTHDAY
2006
Springer
15 years 9 months ago
2006
Springer
Sometimes it is pragmatically useful to prove a theorem by contradiction rather than finding a direct proof. Some reductio ad absurdum arguments have made mathematical history and ...
129
click to vote
IEAAIE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper deals with plan execution on agents/robots in highly dynamic environments. Besides a formal semantics of plan execution and a representation of plans as progra...