4595 search results - page 66 / 919 » Reasoning about Plans |
128
click to vote
IJCAI
1997
15 years 5 months ago
1997
In teaching case-based argumentation skills, the CATO program, an intelligent learning environment, guides students' assessments of partial matches between problems and cases...
106
click to vote
IJCAI
1989
15 years 5 months ago
1989
1 describe an approach to the problem of forming hypotheses about hidden mechanisms w; thin devices — the "black box" problem for physical systems. The approach involv...
144
click to vote
CACM
2010
15 years 4 months ago
2010
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
147
click to vote
CIA
2004
Springer
15 years 10 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
135
click to vote
SIGSOFT
1998
ACM
15 years 8 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...