49 search results - page 8 / 10 » Explaining Counterexamples Using Causality |
JELIA
2004
Springer
15 years 2 months ago
2004
Springer
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based ...
SP
1998
IEEE
15 years 1 months ago
1998
IEEE
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
Agarwal and Karahanna (2000) suggested that holistic user experiences with IT contribute to users’ evaluation of and reaction to using the technology. They proposed and empirica...
CEEMAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We discuss the application of Model-Based Diagnosis in (agentbased) planning. Here, a plan together with its executing agent is considered as a system to be diagnosed. It...
KI
2005
Springer
15 years 3 months ago
2005
Springer
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...