Sciweavers

2317 search results - page 217 / 464
» Model based testing for agent systems
Sort
View
KI
2005
Springer
15 years 9 months ago
Diagnosis of Plan Execution and the Executing Agent
We discuss the application of Model-Based Diagnosis in (agent-based) planning. Here, a plan together with its executing agent is considered as a system to be diagnosed. It is assum...
Nico Roos, Cees Witteveen
JUCS
2006
103views more  JUCS 2006»
15 years 3 months ago
An Object Model for Interoperable Systems
Abstract: Most modern computer applications should run on heterogeneous platforms and, moreover, objects and respective code should be easily interchangeable between distinct platf...
Alcides Calsavara, Aaron Borges, Leonardo Nunes, D...
120
Voted
DLOG
2003
15 years 5 months ago
Reasoning about Nominals with FaCT and RACER
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
Jan Hladik
IUI
2003
ACM
15 years 9 months ago
Interaction tactics for socially intelligent pedagogical agents
Guidebots, or animated pedagogical agents, can enhance interactive learning environments by promoting deeper learning and improve the learner's subjective experience. Guidebo...
W. Lewis Johnson
AO
2007
111views more  AO 2007»
15 years 3 months ago
Let's talk about our "being": A linguistic-based ontology framework for coordinating agents
Abstract. In open scenarios, agents willing to cooperate must impact the communication barrier between them and their unknown partners. If agents are not relying on any agreement a...
Maria Teresa Pazienza, Savino Sguera, Armando Stel...