87 search results - page 2 / 18 » Automatic Abduction of Qualitative Models |
AICOM
2005
2005
The Ants' Garden: Complex interactions between populations and the scalability of qualitative models
13 years 5 months ago
Ecological theories often explain the behaviour of communities in terms of the underlying interactions that take place between the species that are part of the community. This clos...
EAAI
2007
13 years 5 months ago
2007
Explaining how engineering devices work is important to students, engineers, and operators. In general, machine generated explanations have been produced from a particular perspec...
JASSS
1998
13 years 5 months ago
1998
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...
ECAI
2008
Springer
13 years 7 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
AAAI
1993
13 years 7 months ago
1993
Semiquantitative models combine both qualitative and quantitative knowledge within a single semiquantitative qualitative differential equation (SQDE) representation. With current ...