Artificial Intelligence
Artificial Intelligence
KARDIO: a study in deep and qualitative knowledge for expert systems
KARDIO: a study in deep and qualitative knowledge for expert systems
The computational complexity of abduction
Artificial Intelligence - Special issue on knowledge representation
Understanding complex dynamics by visual and symbolic reasoning
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Survey of expert critiquing systems: practical and theoretical frontiers
Communications of the ACM
Verifying knowledge bases by anomaly detection: an experience report
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
KADS: a modelling approach to knowledge engineering
Knowledge Acquisition - Special issue on the KADS approach to knowledge engineering
An assessment of current qualitative simulation techniques
Recent advances in qualitative physics
Modeling and simulation
Expertise in context: personally constructed, socially selected, and reality-relevant?
International Journal of Expert Systems
Acquisition and exploitation of gradual knowledge
International Journal of Human-Computer Studies
Validating dynamic properties of rule-based systems
International Journal of Human-Computer Studies - Special issue: verification and validation
Principles for generalised testing of knowledge bases
Principles for generalised testing of knowledge bases
Applications of abduction: knowledge-level modelling
International Journal of Human-Computer Studies
Towards situated knowledge acquisition
International Journal of Human-Computer Studies
A controlled experiment in program testing and code walkthroughs/inspections
Communications of the ACM
Fast formal analysis of requirements via “Topoi Diagrams”
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Evaluating a Qualitative Reasoner
AI '97 Proceedings of the 10th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Verification of knowledge bases based on containment checking
Artificial Intelligence
Model decomposition and simulation: a component based qualitative simulation algorithm
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Fast formal analysis of requirements via “Topoi Diagrams”
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Hi-index | 0.00 |
We can test a theory of "X" by checking if that theory can reproduce known behavior of "X." In the general case, this check for time-based simulations is only practical for short simulation runs. We show that, given certain reasonable language restrictions, the complexity of this check reduces to the granularity of the measurements. That is, provided a very long simulation run is only measured infrequently, this check is feasible.