Diagnosing multiple faults using knowledge about malfunctioning behavior
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
The architecture of an integrated symbolic simulator
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Methods for knowledge acquisition and refinement in second generation expert systems
ACM SIGART Bulletin - Special issue on knowledge acquisition
Utilizing multilevel models and reasoning for diagnosis of a complex electro-mechanical system
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Qualitative engineering at various levels of conception design and evaluation of structures
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Validating system requirements by functional decomposition and dynamic analysis
ICSE '89 Proceedings of the 11th international conference on Software engineering
Representing first order logic-based specifications in Petri-net-like graphs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Theory formation in artificial intelligence
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Continuing adventures in qualitative modeling—a qualitative heart model
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Acquisition of a qualitative model
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Qualitative representation of a continuous process with reference to apple fruit abscission
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
A multimodel methodology for qualitative model engineering
ACM Transactions on Modeling and Computer Simulation (TOMACS)
AI: what simulationists really need to know
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Qualitative simulation: a feedback control system
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
A qualitative simulation approach for fuzzy dynamical models
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Learning Qualitative Models of Dynamic Systems
Machine Learning - special issue on inductive logic programming
PAL: A Pattern-Based First-Order Inductive System
Machine Learning - special issue on inductive logic programming
WSC '96 Proceedings of the 28th conference on Winter simulation
Multimodal reasoning for automatic model construction
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Iterated phantom induction: a little knowledge can go a long way
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
AI (panel session): what simulationists really need to know
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Proving temporal properties of hybrid systems
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Fuzzy set methods for qualitative and natural language oriented simulation
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Accuracy in qualitative descriptions of behaviour
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Influence-based model decomposition for reasoning about spatially distributed physical systems
Artificial Intelligence
Reasoning about nonlinear system identification
Artificial Intelligence
Afterword: from this revolution to the next
Smart machines in education
Model-based and qualitative reasoning: An introduction
Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Q2 Symbolic Reasoning about Noisy Dynamic Systems
Journal of Intelligent and Robotic Systems
Machine Mentality and the Nature of the Ground Relation
Minds and Machines
Knowledge Representation in Fuzzy Logic
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Constructing Quantitative Models Using Monotone Relationships
IEEE Transactions on Knowledge and Data Engineering
Applications of Abduction: Testing Very Long Qualitative Simulations
IEEE Transactions on Knowledge and Data Engineering
Improved Filtering for the QSIM Algorithm
IEEE Transactions on Pattern Analysis and Machine Intelligence
IEEE Expert: Intelligent Systems and Their Applications
The Mathematical Bases for Qualitative Reasoning
IEEE Expert: Intelligent Systems and Their Applications
Evaluating Design Using Knowledge of Purpose and Knowledge of Structure
IEEE Expert: Intelligent Systems and Their Applications
Deriving and Using Descriptions of Purpose
IEEE Expert: Intelligent Systems and Their Applications
Process Monitoring and Diagnosis: A Model-Based Approach
IEEE Expert: Intelligent Systems and Their Applications
Intelligent Monitoring and Control of Semiconductor Manufacturing Equipment
IEEE Expert: Intelligent Systems and Their Applications
Model-Based, Multiple-Fault Diagnosis of Dynamic, Continuous Physical Devices
IEEE Expert: Intelligent Systems and Their Applications
CRACK: Qualitative Reasoning About Fatigue and Fracture in Steel Bridges
IEEE Expert: Intelligent Systems and Their Applications
Diamon: A Model-Based Troubleshooter Based on Qualitative Reasoning
IEEE Expert: Intelligent Systems and Their Applications
Extending Component Connection Modeling for Analyzing Complex Physical Systems
IEEE Expert: Intelligent Systems and Their Applications
Using Functional Maintenance to Improve Fault Tolerance
IEEE Expert: Intelligent Systems and Their Applications
Real-World Applications of Qualitative Reasoning
IEEE Expert: Intelligent Systems and Their Applications
Qualitative Models as Indices for Memory-Based Prediction
IEEE Expert: Intelligent Systems and Their Applications
Induction of Qualitative Trees
EMCL '01 Proceedings of the 12th European Conference on Machine Learning
Case-Based Quality Management System Using Expectation Values
ICCBR '99 Proceedings of the Third International Conference on Case-Based Reasoning and Development
Qualitative Modeling and Heterogeneous Control of Global System Behavior
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Reasoning about Input-Output Modeling of Dynamical Systems
IDA '99 Proceedings of the Third International Symposium on Advances in Intelligent Data Analysis
Intelligent Sensor Analysis and Actuator Control
IDA '01 Proceedings of the 4th International Conference on Advances in Intelligent Data Analysis
Artificial intelligence for design
Formal engineering design synthesis
Knowledge-based simulation of regulatory action in lambda phage
INBS '95 Proceedings of the First International Symposium on Intelligence in Neural and Biological Systems (INBS'95)
Requirements interaction management
ACM Computing Surveys (CSUR)
Specification criticism via goal-directed envisionment
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Sound and complete qualitative simulation is impossible
Artificial Intelligence
AI Magazine
The Knowledge Engineering Review
Qualitative Modelling and Analysis of Animal Behaviour
Applied Intelligence
BT Technology Journal
Qualitatively faithful quantitative prediction
Artificial Intelligence
Qualitative simulation and related approaches for the analysis of dynamic systems
The Knowledge Engineering Review
Task-dependent qualitative domain abstraction
Artificial Intelligence - Special volume on reformulation
Towards a practical theory of reformulation for reasoning about physical systems
Artificial Intelligence - Special volume on reformulation
Functional reasoning theories: Problems and perspectives
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Social situated agents in virtual, real and mixed reality environments
Lecture Notes in Computer Science
State-based modelling in hazard identification
Applied Intelligence
Rough intervals: enhancing intervals for qualitative modeling of technical systems
Artificial Intelligence
Scientific visualization as an interpretive and expressive medium
ICLS '96 Proceedings of the 1996 international conference on Learning sciences
The Knowledge Engineering Review
Journal of Management Information Systems - Special section: Information technology and its organizational impact
Monitoring and alarm interpretation in industrial environments
AI Communications
On models, modelling and the distinctive nature of model-based reasoning
AI Communications
AI Communications
Supervision applied to nuclear fuel reprocessing
AI Communications
On the specification of multiple models for diagnosis of dynamic systems
AI Communications
Qualitative models of interactions between two populations
AI Communications - Binding Environmental Sciences and Artificial Intelligence
Continuous Shape Transformation and Metrics on Regions
Fundamenta Informaticae - Qualitative Spatial Reasoning
Proceedings of the 9th annual conference companion on Genetic and evolutionary computation
Data mining with Temporal Abstractions: learning rules from time series
Data Mining and Knowledge Discovery
Manipulating sets in common Lisp
ACM SIGPLAN Lisp Pointers
Hybrid simulation on qualitative and quantitative integrated model using Monte Carlo method
Proceedings of the 2007 Summer Computer Simulation Conference
An introduction to model-based systems
AI Communications - Model-Based Systems
Communicable Knowledge in Automated System Identification
Computational Discovery of Scientific Knowledge
Structure Discovery from Massive Spatial Data Sets Using Intelligent Simulation Tools
Computational Discovery of Scientific Knowledge
Learning Qualitative Models of Physical and Biological Systems
Computational Discovery of Scientific Knowledge
TRACE, a graphical tool for the acquisition and detection of signal patterns
Expert Systems with Applications: An International Journal
ELEMENTS OF A DOCUMENTATION FRAMEWORK FOR AGENT-BASED SIMULATION MODELS
Cybernetics and Systems - BEST OF AGENT-BASED MODELING AND SIMULATION 2008
Teaching about Dynamic Processes A Teachable Agents Approach
Proceedings of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology
Model Based ThoughtsCA∼EN and TIGER then and now
Proceedings of the 2006 conference on Rob Milne: A Tribute to a Pioneering AI Scientist, Entrepreneur and Mountaineer
Proceedings of the 2006 conference on Artificial Intelligence Research and Development
Detect and Localize Faults in Alias-Free Programs Using Specification Knowledge
IEA/AIE '09 Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: Next-Generation Applied Intelligence
Bimodal spatial reasoning with continuous motion
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Causes of ineradicable spurious predictions in qualitative simulation
Journal of Artificial Intelligence Research
Spatial aggregation: theory and applications
Journal of Artificial Intelligence Research
Using global properties for qualitative reasoning: a qualitative system theory
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Perturbation analysis with qualitative models
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A focused, context-sensitive approach to monitoring
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Model-based monitoring of dynamic systems
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
The thought experiment approach to qualitative physics
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Reasoning about hidden mechanisms
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Generalized physical networks for automated model building
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
A theoretical framework for consistency techniques in logic programming
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Qualitative reasoning in electronic fault diagnosis
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
A semantic theory of abstractions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Taming intractible branching in qualitative simulation
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated qualitative domain abstraction
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Integrating model-based monitoring and diagnosis of complex dynamic systems
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Combining qualitative and quantitative knowledge to generate models of physical systems
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Computational and physical causality
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Planning robot control parameter values with qualitative reasoning
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Scale-based monotonicity analysis in qualitative modelling with flat segments
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Case-based modeling with qualitative indices
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Task-dependent qualitative domain abstraction
Artificial Intelligence - Special volume on reformulation
Towards a practical theory of reformulation for reasoning about physical systems
Artificial Intelligence - Special volume on reformulation
Rough intervals---enhancing intervals for qualitative modeling of technical systems
Artificial Intelligence
Implicit relationship deduction in one/more judgment templates
Proceedings of the 2009 International Conference on Hybrid Information Technology
Semantic model design for veins' loop by the logic formalism of artificial intelligence
ASM '07 The 16th IASTED International Conference on Applied Simulation and Modelling
Engineering Applications of Artificial Intelligence
An ontology-based reasoning framework for reaction mechanisms simulation
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
The Knowledge Engineering Review
Extending the mathematics in qualitative process theory
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Abstraction by time-scale in qualitative simulation
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Qualitatne landmark-based path planning and following
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
An investigation into reactive planning in complex domains
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Abstraction by time-scale in qualitative simulation
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Qualitatne landmark-based path planning and following
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
A formal hybrid modeling scheme for handling discontinuities in physical system models
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
QPC: a compiler from physical models into qualitative differential equations
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Self-explanatory simulations: an integration of qualitative and quantitative knowledge
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Obtaining quantitative predictions from monotone relationships
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Qualitative reasoning with microscopic theories
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Student modelling with confluences
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Qualitative analysis of causal feedback
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
The qualitative difference resolution rule
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Analytic solution of qualitative differential equations
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Structural aggregation in common-sense reasoning
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Understanding causal descriptions of physical systems
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Learning relations by pathfinding
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Formalizing reasoning about change: a qualitative reasoning approach
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Qualitative simulation based on a logical formalism of space and time
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Automatic abduction of qualitative models
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Generating explanations of device behavior using compositional modeling and causal ordering
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Numerical behavior envelopes for qualitative models
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A qualitative method to construct phase portraits
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A qualitative agent-based approach to power quality monitoring and diagnosis
Integrated Computer-Aided Engineering - Multi-Agent Systems for Energy Management
A simulation-based tutor that reasons about multiple agents
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Evaluating a physics engine as an ingredient for physical reasoning
SIMPAR'10 Proceedings of the Second international conference on Simulation, modeling, and programming for autonomous robots
Learning qualitative models from numerical data
Artificial Intelligence
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Qualitative reasoning and bifurcations in dynamic systems
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
Grey reinforcement learning for incomplete information processing
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Automatic generation of operation manuals through work motion observation
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part IV
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part IV
Qualitative modeling as a paradigm for diagnosis and prediction in critical care environments
Artificial Intelligence in Medicine
Qualitative simulation of dynamic physiological models using the KEE environment
Artificial Intelligence in Medicine
Using quantitative and qualitative constraints in models of cardiac electrophysiology
Artificial Intelligence in Medicine
European research efforts in medical knowledge-based systems
Artificial Intelligence in Medicine
Intermediate depth representations
Artificial Intelligence in Medicine
Medical informatics: reasoning methods
Artificial Intelligence in Medicine
Modeling with discrete-time recurrent fuzzy systems via mixed-integer optimization
Fuzzy Sets and Systems
IMS 10-Validation of a co-evolving diagnostic algorithm for evolvable production systems
Engineering Applications of Artificial Intelligence
Continuous Shape Transformation and Metrics on Regions
Fundamenta Informaticae - Qualitative Spatial Reasoning
On-Line model-based continuous state reinforcement learning using background knowledge
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Qualitative order of magnitude energy-flow-based failure modes and effects analysis
Journal of Artificial Intelligence Research
Learning qualitative models from numerical data: extended abstract
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |