1026 search results - page 72 / 206 » A Methodology for Equational Reasoning |
IJCAI
1993
13 years 10 months ago
1993
We introduce and use a new methodology for the study of logics for action and change. The methodology allows one to define a taxonomy of reasoning problems, based in particular on...
IVA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper presents a case study for using a relatively recently developed methodology, Behavior Oriented Design, to develop an Intelligent Virtual Agent (IVA). Our usabi...
SOCRATES
2008
13 years 10 months ago
2008
This paper describes briefly an attempt to evaluate the cost-effectiveness of the blended-learning-model characterizing the project OpenCampus. It was not possible to follow the m...
IJCAI
2003
13 years 10 months ago
2003
Information personalization is fertile ground for application of AI techniques. In this article I relate personalization to the ability to capture partial information in an informa...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
— One might expect that after nearly 50 years of research in robot manipulation and mobile robotics the architectural design of robot systems has converged to a small set of best...