A taxonomy of model abstraction techniques
WSC '95 Proceedings of the 27th conference on Winter simulation
Abstraction mechanisms in discrete-event inductive modeling
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
Qualitative simulation as a temporally-extended constraint satisfaction problem
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Making Use of Contradictory Behavior Information in Qualitative Reasoning
IEEE Transactions on Pattern Analysis and Machine Intelligence
Simulation of imprecise ordinary differential equations using evolutionary algorithms
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Self-adaptive multi-sensor systems
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
Solution Techniques for Constraint Satisfaction Problems: Foundations
Artificial Intelligence Review
Reasoning about nonlinear system identification
Artificial Intelligence
Combining topological and size information for spatial reasoning
Artificial Intelligence
Focusing qualitative simulation using temporal logic: theoretical foundations
Annals of Mathematics and Artificial Intelligence
Dynamic Flexible Constraint Satisfaction
Applied Intelligence
Q2 Symbolic Reasoning about Noisy Dynamic Systems
Journal of Intelligent and Robotic Systems
Toward Embedded Qualitative Simulation: A Specialized Computer Architecture for QSim
IEEE Intelligent Systems
Efficient Categorization of 3D Edges from 2D Projections
GREC '99 Selected Papers from the Third International Workshop on Graphics Recognition, Recent Advances
ICCS '01 Proceedings of the International Conference on Computational Science-Part II
Discovery of Temporal Patterns. Learning Rules about the Qualitative Behaviour of Time Series
PKDD '01 Proceedings of the 5th European Conference on Principles of Data Mining and Knowledge Discovery
A Semiquantitative Approach to Study Semiqualitative Systems
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Argumentation and Qualitative Decision Making
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Using Machine Learning to Understand Operator's Skill
IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence
Qualitative Modeling and Heterogeneous Control of Global System Behavior
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Logic of Drug Discovery: A Descriptive Model of a Practice in Neuropharmacology
DS '01 Proceedings of the 4th International Conference on Discovery Science
Qualitative Assessment on Aeronautical Training with Cognitive Agents
ITS '02 Proceedings of the 6th International Conference on Intelligent Tutoring Systems
Recent advances in intelligent paradigms and applications
Systems Analysis Modelling Simulation
Sound and complete qualitative simulation is impossible
Artificial Intelligence
Current topics in qualitative reasoning
AI Magazine
The Knowledge Engineering Review
Hard, flexible and dynamic constraint satisfaction
The Knowledge Engineering Review
Bioinformatics—an introduction for computer scientists
ACM Computing Surveys (CSUR)
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
Experiment selection for the discrimination of semi-quantitative models of dynamical systems
Artificial Intelligence
Companion cognitive systems: a step toward human-level AI
AI Magazine - Special issue on achieving human-level AI through integrated systems and research
The Knowledge Engineering Review
Monitoring and alarm interpretation in industrial environments
AI Communications
Automatic generation of explanations: AGE
Engineering Applications of Artificial Intelligence
Proceedings of the 9th annual conference companion on Genetic and evolutionary computation
An integrated approach to bioprocess recipe design
Integrated Computer-Aided Engineering
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
Electronic Notes in Theoretical Computer Science (ENTCS)
Simulation of discrete linear time-invariant fuzzy dynamic systems
Fuzzy Sets and Systems
A review of function modeling: Approaches and applications
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
An introduction to model-based systems
AI Communications - Model-Based Systems
Heuristics And Qualitative Rules For The Performance Design Of Collaborative Systems
Journal of Integrated Design & Process Science
A framework for linking advanced simulation models with interactive cognitive maps
Environmental Modelling & Software
Communicable Knowledge in Automated System Identification
Computational Discovery of Scientific Knowledge
AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Approximately bisimilar symbolic models for nonlinear control systems
Automatica (Journal of IFAC)
International Journal of Computer Applications in Technology
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Performance Design Rational Framework
Journal of Integrated Design & Process Science
Computers and Industrial Engineering
Incremental state based diagnosis
Advanced Engineering Informatics
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
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
Building a Local Hybrid Map from Sensor Data Fusion
Proceedings of the 2006 conference on Artificial Intelligence Research and Development
Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Performance Simulation And Design Of Petri Net Systems
Journal of Integrated Design & Process Science
ICARIS '09 Proceedings of the 8th International Conference on Artificial Immune Systems
Causes of ineradicable spurious predictions in qualitative simulation
Journal of Artificial Intelligence Research
A qualitative-fuzzy framework for nonlinear black-box system identification
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Monitoring piecewise continuous behaviors by refining semi-quantitative trackers
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
A qualitative approach to sensor data fusion for mobile robot navigation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models
Electronic Notes in Theoretical Computer Science (ENTCS)
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Combining learning constraints and numerical regression
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Task-dependent qualitative domain abstraction
Artificial Intelligence - Special volume on reformulation
Experiment selection for the discrimination of semi-quantitative models of dynamical systems
Artificial Intelligence
Set-theoretic estimation of hybrid system configurations
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Enhancing student innovation: physical models in the idea generation process
FIE'09 Proceedings of the 39th IEEE international conference on Frontiers in education conference
Towards biopathway modeling and simulation
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
A framework for adopting software process simulation in CMMI organizations
ICSP'07 Proceedings of the 2007 international conference on Software process
Achieving software project success: a semi-quantitative approach
ICSP'07 Proceedings of the 2007 international conference on Software process
Hybrid modeling and simulation of genetic regulatory networks
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
Qualitative spatial reasoning with topological information
Qualitative spatial reasoning with topological information
Qualitative test-cost sensitive classification
Pattern Recognition Letters
The Knowledge Engineering Review
Qualitative multiple-fault diagnosis of continuous dynamic systems using behavioral modes
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Trajectory constraints in qualitative simulation
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Managing occurrence branching in qualitative simulation
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
A qualitative model of physical fields
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
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
Static and dynamic abstraction solves the problem of chatter in qualitative simulation
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Reasoning about continuous processes
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Model-based mutation testing of hybrid systems
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
A functional-commercial analysis strategy for product conceptualization
Expert Systems with Applications: An International Journal
An immune-inspired approach to qualitative system identification of biological pathways
Natural Computing: an international journal
Detecting inconsistencies in large biological networks with answer set programming
Theory and Practice of Logic Programming
Impact of process simulation on software practice: an initial report
Proceedings of the 33rd International Conference on Software Engineering
International Journal of Applied Mathematics and Computer Science
A quality-time-cost-oriented strategy for product conceptualization
Advanced Engineering Informatics
Qualitative reasoning and bifurcations in dynamic systems
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
Infinite qualitative simulations by means of constraint programming
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Use of timed automata and model-checking to explore scenarios on ecosystem models
Environmental Modelling & Software
Semi-qualitative encoding of manifestations at faults in conductive flow systems
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Generating fuzzy models from deep knowledge: robustness and interpretability issues
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A survey of recent results on spatial reasoning via rough inclusions
IMTCI'04 Proceedings of the Second international conference on Intelligent Media Technology for Communicative Intelligence
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part IV
Discrete event multi-level models for systems biology
Transactions on Computational Systems Biology I
Semi-quantitative simulation modeling of software engineering process
SPW/ProSim'06 Proceedings of the 2006 international conference on Software Process Simulation and Modeling
Automatica (Journal of IFAC)
Autonomous construction of ecologically and socially relevant semantics
Cognitive Systems Research
Learning from biomedical time series through the integration of qualitative models and fuzzy systems
Artificial Intelligence in Medicine
Rough Mereology in Information Systems with Applications to Qualitative Spatial Reasoning
Fundamenta Informaticae
Rough Set Based Reasoning About Changes
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Common-sense reasoning for human action recognition
Pattern Recognition Letters
Simulation validation using the compatibility between simulation model and experimental frame
Proceedings of the 2013 Summer Computer Simulation Conference
Hi-index | 0.01 |