211 search results - page 35 / 43 » Expressive Planning and Explicit Knowledge |
LPAR
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we propose a nonmonotonic extension ALC + Tmin of the Description Logic ALC for reasoning about prototypical properties and inheritance with exception. The logic ALC ...
CISC
2005
Springer
14 years 28 days ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...
IEAAIE
2005
Springer
14 years 27 days ago
2005
Springer
In this paper we propose the model of a prototypical NLP architecture of an information access system to support a team of experts in a scientific design task, in a shared and hete...
DIAGRAMS
2004
Springer
14 years 23 days ago
2004
Springer
In problem solving a goal/subgoal is either solved by generating needed information from current information, or further decomposed into additional subgoals. In traditional problem...
AISC
2010
Springer
14 years 6 days ago
2010
Springer
Abstract. Mathematical learning environments help students in mastering mathematical knowledge. Mature environments typically offer thousands of interactive exercises. Providing f...