1021 search results - page 27 / 205 » Concepts in Proof Planning |
WOLLIC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
IJCAI
2003
13 years 10 months ago
2003
Planning has traditionally focused on single agent systems. Although planning domain languages have been extended to multiagent domains, solution concepts have not. Previous solut...
IJCAI
1989
13 years 9 months ago
1989
This paper deals with a well known problem in AI planning: detecting and resolving conflicts in nonlinear plans. We sketch a theory of restricted conflict detection and resolution...
ICAIL
2005
ACM
14 years 2 months ago
2005
ACM
The transcripts of oral arguments before the US Supreme Court provide interesting opportunities from the viewpoint of legal education. As the pinnacle of legal argumentation, they...
MICCAI
2003
Springer
14 years 9 months ago
2003
Springer
Needle insertion for percutaneous therapies is formulated as a trajectory planning and control problem. A new concept of needle steering is developed and a Needle Manipulation Jaco...