446 search results - page 31 / 90 » Building Explainable Artificial Intelligence Systems |
ILC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
ATAL
2008
Springer
14 years 12 months ago
2008
Springer
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
PRICAI
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents a prototype dialogue system, K2, in which a user can instruct agents through speech input to manipulate various objects in a 3-D virtual world. The agents’ ac...
AIPS
1994
14 years 11 months ago
1994
We consider the problem of representing plans for mixed-initiative planning, where several participants cooperate to develop plans. We claim that in such an environment, a crucial...
AI
2000
Springer
14 years 9 months ago
2000
Springer
This paper reports the new steps undertaken in our work aimed to demonstrate the effectiveness of an omnidirectional vision sensor when conjugated with the Spatial Semantic Hierarc...