1021 search results - page 5 / 205 » Concepts in Proof Planning |
NRHM
2006
13 years 8 months ago
2006
TELSYS
2010
13 years 3 months ago
2010
IJCAI
1997
13 years 10 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...
BIRTHDAY
2006
Springer
14 years 9 days 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 ...
IEAAIE
2005
Springer
14 years 2 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...