3233 search results - page 284 / 647 » Validation Method for Intelligent Systems |
136
click to vote
JOLLI
2007
15 years 4 months ago
2007
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
134
click to vote
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
In this paper, we merge speech act theory, emotion theory, and logic. We propose a modal logic that integrates the concepts of belief, goal, ideal and responsibility and that allo...
160
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Since problem solving in group problem-based learning is a collaborative process, modeling individuals and the group is necessary if we wish to develop an intelligent tut...
174
click to vote
MVA
2002
15 years 4 months ago
2002
In order to track and recognize the movements of multiple people using multiple cameras, each person needs to be segmented and identified in the image of each camera. We propose a...
143
click to vote
ARGMAS
2008
Springer
15 years 6 months ago
2008
Springer
Many practitioners view agent interaction protocols as rigid specifications that are defined a priori, and hard-code their agents with a set of protocols known at design time -- a...