1026 search results - page 72 / 206 » A Methodology for Equational Reasoning |
179
click to vote
IJCAI
1993
15 years 8 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...
152
click to vote
IVA
2005
Springer
16 years 7 days 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...
147
click to vote
SOCRATES
2008
15 years 8 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...
178
Voted
IJCAI
2003
15 years 8 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...
166
click to vote
IROS
2007
IEEE
16 years 1 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...