Issues in the pragmatics of qualitative modeling: lessons learned from a xerographics project
Communications of the ACM
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
Methods for knowledge acquisition and refinement in second generation expert systems
ACM SIGART Bulletin - Special issue on knowledge acquisition
Applications of qualitative modeling to knowledge-based risk assessment studies
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
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
Long-term and short-term strategic planning in business environment—a qualitative reasoning approach
SIGBDP '90 Proceedings of the 1990 ACM SIGBDP conference on Trends and directions in expert systems
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
Safety management of civil structures using knowledge based systems
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Qualitative reasoning, dimensional analysis and computer algebra
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
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
Multitasking simulation of a boiler system using qualitative model-based reasoning
ACM Transactions on Modeling and Computer Simulation (TOMACS)
New concepts for complete product assembly modeling
SMA '93 Proceedings on the second ACM symposium on Solid modeling and applications
Qualitative simulation: a feedback control system
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Rule-based versus structure-based models for explaining and generating expert behavior
Communications of the ACM
WSC '96 Proceedings of the 28th conference on Winter simulation
Artificial Intelligence Review
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
Representing scientific experiments: implications for ontology design and knowledge sharing
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
On the power of qualitative simualation for estimating diffusion transit times
WSC '86 Proceedings of the 18th conference on Winter simulation
Proving temporal properties of hybrid systems
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
Using simulation and critical points to define states in continuous search spaces
Proceedings of the 32nd conference on Winter simulation
Reasoning about nonlinear system identification
Artificial Intelligence
Afterword: from this revolution to the next
Smart machines in education
A perspective on symbolic mathematical computing and artificial intelligence
Annals of Mathematics and Artificial Intelligence
Model-based and qualitative reasoning: An introduction
Annals of Mathematics and Artificial Intelligence
Global solutions for nonlinear systems using qualitative reasoning
Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
A virtual patient based on qualitative simulation
Proceedings of the 8th international conference on Intelligent user interfaces
Representation of Models for Expert Problem Solving in Physics
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
Viewing Knowledge Bases as Qualitative Models
IEEE Expert: Intelligent Systems and Their Applications
Evaluating Design Using Knowledge of Purpose and Knowledge of Structure
IEEE Expert: Intelligent Systems and Their Applications
Process Monitoring and Diagnosis: A Model-Based Approach
IEEE Expert: Intelligent Systems and Their Applications
Naive Mechanics: A Computational Model of Device Use and Function in Design Improvisation
IEEE Expert: Intelligent Systems and Their Applications
Automatic Rebuilding of Qualitative Models for Diagnosis
IEEE Expert: Intelligent Systems and Their Applications
Extending Component Connection Modeling for Analyzing Complex Physical Systems
IEEE Expert: Intelligent Systems and Their Applications
Functional Representation and Reasoning About the F/A-18 Aircraft Fuel System
IEEE Expert: Intelligent Systems and Their Applications
Using Functional Maintenance to Improve Fault Tolerance
IEEE Expert: Intelligent Systems and Their Applications
Functional Reasoning in Design
IEEE Expert: Intelligent Systems and Their Applications
Real-World Applications of Qualitative Reasoning
IEEE Expert: Intelligent Systems and Their Applications
Using Qualitative Physics to Create Articulate Educational Software
IEEE Expert: Intelligent Systems and Their Applications
Qualitative Models as Indices for Memory-Based Prediction
IEEE Expert: Intelligent Systems and Their Applications
Model-Based Automatic Generation of Sequence-Control Programs from Design Information
IEEE Expert: Intelligent Systems and Their Applications
DiKe: a model-based diagnosis kernel and its application
AI Communications - Special issue on KI-2001
Dynamic Discretization of Continuous Values from Time Series
ECML '00 Proceedings of the 11th European Conference on Machine Learning
Induction of Qualitative Trees
EMCL '01 Proceedings of the 12th European Conference on Machine Learning
DiKe - A Model-Based Diagnosis Kernel and Its Application
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Artificial intelligence for design
Formal engineering design synthesis
A new direction in AI: toward a computational theory of perceptions
Technologies for constructing intelligent systems
Qualitative simulation of temporal concurrent processes using Time Interval Petri Nets
Artificial Intelligence
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)
A system of exchange values to support social interactions in artificial societies
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Systems Analysis Modelling Simulation
An interactive environment for scientific model construction
Proceedings of the 2nd international conference on Knowledge capture
Qualitative physics in virtual environments
Proceedings of the 9th international conference on Intelligent user interfaces
A model of legal reasoning with cases incorporating theories and values
Artificial Intelligence - Special issue on AI and law
A representation for comparing simulations and computing the purpose of geometric features
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Diagnosability evaluation of systems using bipartite graph and matrix approach
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Conceptual design of technical systems using functions and physical laws
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Qualitative modeling in education
AI Magazine
The Knowledge Engineering Review
Ambient intelligence for scientific discovery
CHI '04 Extended Abstracts on Human Factors in Computing Systems
Qualitative Modelling and Analysis of Animal Behaviour
Applied Intelligence
Integrating qualitative reasoning and text planning to generate causal explanations
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 2
Alternative reality: a new platform for virtual reality art
Proceedings of the ACM symposium on Virtual reality software and technology
New ways of worldmaking: the Alterne platform for VR art
Proceedings of the 12th annual ACM international conference on Multimedia
Qualitatively faithful quantitative prediction
Artificial Intelligence
Qualitative simulation and related approaches for the analysis of dynamic systems
The Knowledge Engineering Review
Towards a practical theory of reformulation for reasoning about physical systems
Artificial Intelligence - Special volume on reformulation
BioSim: a biomedical character-based problem solving environment
Future Generation Computer Systems
Processes and continuous change in a SAT-based planner
Artificial Intelligence
Collision avoidance with bipartite arrangements
Proceedings of the 2005 ACM workshop on Research in knowledge representation for autonomous systems
Reducing overfitting in process model induction
ICML '05 Proceedings of the 22nd international conference on Machine learning
Evolutionary Body Building: Adaptive Physical Designs for Robots
Artificial Life
Development of design methodology for upgradable products based on function–behavior–state modeling
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
LEADSTO: a language and environment for analysis of dynamics by simulation
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
State-based modelling in hazard identification
Applied Intelligence
Rough intervals: enhancing intervals for qualitative modeling of technical systems
Artificial Intelligence
Handling objects: a scenario based approach
SIGDOC '06 Proceedings of the 24th annual ACM international conference on Design of communication
Companion cognitive systems: a step toward human-level AI
AI Magazine - Special issue on achieving human-level AI through integrated systems and research
Journal of Management Information Systems - Special section: Information technology and its organizational impact
AI Communications
Reasoning about linear circuits; a model-based approach
AI Communications
Making sense of virtual environments: action representation, grounding and common sense
Proceedings of the 12th international conference on Intelligent user interfaces
Qualitative Physics for Movable Objects in MOUT
ANSS '06 Proceedings of the 39th annual Symposium on Simulation
Qualitative models of interactions between two populations
AI Communications - Binding Environmental Sciences and Artificial Intelligence
The Ants' Garden: Complex interactions between populations and the scalability of qualitative models
AI Communications - Binding Environmental Sciences and AI
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Fault diagnosis using dynamic trend analysis: A review and recent developments
Engineering Applications of Artificial Intelligence
An interactive environment for the modeling and discovery of scientific knowledge
International Journal of Human-Computer Studies
Journal of Integrated Design & Process Science
Conflict-directed A* and its role in model-based embedded systems
Discrete Applied Mathematics
An integrated approach to bioprocess recipe design
Integrated Computer-Aided Engineering
A hierarchical approach for the redesign of chemical processes
Knowledge and Information Systems
Analysis of meeting protocols by formalisation, simulation, and verification
Computational & Mathematical Organization Theory
Qualitative relations between moving objects in a network changing its topological relations
Information Sciences: an International Journal
Commonsense causal explanation in a legal domain
Artificial Intelligence and Law
Machine Learning
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
Using exogenous quantities in qualitative models about environmental sustainability
AI Communications - Model-Based Systems
Proceedings of the 3rd international workshop on Automation of software test
On the use of organisation modelling techniques to address biological organisation
Multiagent and Grid Systems - Multi-agent systems for medicine, computational biology, and bioinformatics
Proceedings of the 2008 Spring simulation multiconference
Multi-agent geosimulation in support to "what if" courses of action analysis
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
Communicable Knowledge in Automated System Identification
Computational Discovery of Scientific Knowledge
Integrating Domain Knowledge in Equation Discovery
Computational Discovery of Scientific Knowledge
Learning Qualitative Models of Physical and Biological Systems
Computational Discovery of Scientific Knowledge
Test Case Generation from QR Models
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
QALSIC: Building an Articulate Educational Software for High School Inorganic Chemistry Laboratories
International Journal of Artificial Intelligence in Education
Designing Learning by Teaching Agents: The Betty's Brain System
International Journal of Artificial Intelligence in Education
Geometrical Representation of Quantity Space and Its Application to Robot Motion Description
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
Designing organic reaction simulation engine using qualitative reasoning approach
ACS'08 Proceedings of the 8th conference on Applied computer scince
Towards Ontology-Based Formal Verification Methods for Context Aware Systems
Pervasive '09 Proceedings of the 7th International Conference on Pervasive Computing
Proceedings of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology
Proceedings of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology
Proceedings of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology
LKIF Core: Principled Ontology Development for the Legal Domain
Proceedings of the 2009 conference on Law, Ontologies and the Semantic Web: Channelling the Legal Information Flood
Qualitative Induction Trees applied to the study of the financial rating
Proceedings of the 2006 conference on Artificial Intelligence Research and Development
Proceedings of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence
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
Continuous time in a SAT-based planner
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
VModel: a visual qualitative modeling environment for middle-school students
IAAI'04 Proceedings of the 16th conference on Innovative applications of artifical intelligence
ICLS'08 Proceedings of the 8th international conference on International conference for the learning sciences - Volume 2
Analogical learning of visual/conceptual relationships in sketches
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Solving everyday physical reasoning problems by analogy using sketches
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Transforming between propositions and features: bridging the gap
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Inducing hierarchical process models in dynamic domains
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Measuring the level of transfer learning by an AP physics problem-solver
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Probabilistic hybrid action models for predicting concurrent percept-driven robot behavior
Journal of Artificial Intelligence Research
Modelling mixed discrete-continuous domains for planning
Journal of Artificial Intelligence Research
Qualitative system identification from imperfect data
Journal of Artificial Intelligence Research
Spatial aggregation: theory and applications
Journal of Artificial Intelligence Research
Generating causal explanation from a cardio-vascular simulation
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Using global properties for qualitative reasoning: a qualitative system theory
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
The orders of magnitude models as qualitative algebras
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Introducing actions into qualitative simulation
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 kinematic topology
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Reducing ambiguity by learning assembly specific behaviour
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
An examination of the third stage in the analogy process: verification-based analogical learning
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Qualitative kinematics: a framework
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
The limits of qualitative simulation
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
A representation for complex physical domains
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Understanding behavior using consolidation
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Naive mechanics comprehension and invention in EDISON
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
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)
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
Physical concept ontology for the knowledge intensive engineering framework
Advanced Engineering Informatics
Deployment of an ontological framework of functional design knowledge
Advanced Engineering Informatics
Qualitative simulation of genetic regulatory networks: method and application
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Scale-based monotonicity analysis in qualitative modelling with flat segments
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Generating causal networks for mobile multi-agent systems with qualitative regions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Case-based modeling with qualitative indices
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Modeling time in hybrid systems: how fast is "instantaneous"?
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Reasoning about fluid motion I: finding structures
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
History-based interpretation of finite element simulations of seismic wave fields
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Scaling up self-explanatory simulators polynomial time compilation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A theory of mapping from structure to function applied to engineering thermodynamics
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Using modeling knowledge to guide design space search
Artificial Intelligence
Towards a practical theory of reformulation for reasoning about physical systems
Artificial Intelligence - Special volume on reformulation
Processes and continuous change in a SAT-based planner
Artificial Intelligence
Rough intervals---enhancing intervals for qualitative modeling of technical systems
Artificial Intelligence
Artificial Intelligence in Medicine
Constructing explanatory process models from biological data and knowledge
Artificial Intelligence in Medicine
Analogical model formulation for transfer learning in AP Physics
Artificial Intelligence
Steps toward deep lexical acquisition
PMHLA '05 Proceedings of the Workshop on Psychocomputational Models of Human Language Acquisition
The effect of representations on communication and product during collaborative modeling
CSCL '02 Proceedings of the Conference on Computer Support for Collaborative Learning: Foundations for a CSCL Community
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
Bringing Qualitative Reasoning Models into the Classroom for Scientific Education of Deaf Students
Proceedings of the 2009 conference on Artificial Intelligence in Education: Building Learning Systems that Care: From Knowledge Representation to Affective Modelling
Engineering Applications of Artificial Intelligence
BioSim-a biomedical character-based problem solving environment
Future Generation Computer Systems
MS '08 Proceedings of the 19th IASTED International Conference on Modelling and Simulation
Enhancing student innovation: physical models in the idea generation process
FIE'09 Proceedings of the 39th IEEE international conference on Frontiers in education conference
Measuring consensus in group decisions by means of qualitative reasoning
International Journal of Approximate Reasoning
Twilight City: a virtual environment for MOUT
International Journal of Computers and Applications
OWL and qualitative reasoning models
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Towards biomedical problem solving in a game environment
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartIII
Plan-based control of robotic agents: improving the capabilities of autonomous robots
Plan-based control of robotic agents: improving the capabilities of autonomous robots
An ontology-based reasoning framework for reaction mechanisms simulation
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Analyzing metabolite measurements for automated prediction of underlying biological mechanisms
Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology
Compiling plan operators from domains expressed in qualitative process theory
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Reasoning about fluids via molecular collections
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Critical hypersurfaces and the quantity space
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
Reasoning with orders of magnitude and approximate relations
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Reasoning about discontinuous change
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
Compiling plan operators from domains expressed in qualitative process theory
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Reasoning about fluids via molecular collections
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Critical hypersurfaces and the quantity space
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
Reasoning with orders of magnitude and approximate relations
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Reasoning about discontinuous change
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
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
A qualitative model of physical fields
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
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
Learning general completable reactive plans
AAAI'90 Proceedings of the eighth 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
Behavioral aggregation within complex situations: a case study involving dynamic equilibria
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
The use of intelligently controlled simulation to predict a machine's long-term behavior
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
Symmetry as bias: rediscovering special relativity
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
Self-explanatory simulations: scaling up to large models
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Towards a qualitative lagrangian theory of fluid flow
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Automated model selection using context-dependent behaviors
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
CFRL: A language for specifying the causal functionality of engineered devices
AAAI'93 Proceedings of the eleventh national conference on 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
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
A qualitative agent-based approach to power quality monitoring and diagnosis
Integrated Computer-Aided Engineering - Multi-Agent Systems for Energy Management
Learning spaces as representational scaffolds for learning conceptual knowledge of system behaviour
EC-TEL'10 Proceedings of the 5th European conference on Technology enhanced learning conference on Sustaining TEL: from innovation to learning and practice
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
Reversible reconfiguration: a key for reuse
ecodesign'99 Proceedings of the First international conference on Environmentally conscious design and inverse manufacturing
Quality control of an industrial unit production using qualitative methods
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Learning qualitative models from numerical data
Artificial Intelligence
Semantic models for policy deliberation
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Simulation-based temporal projection of everyday robot object manipulation
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Expert Systems with Applications: An International Journal
Qualitative reasoning and bifurcations in dynamic systems
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
Simulating artificial organisms with qualitative physiology
ECAL'05 Proceedings of the 8th European conference on Advances in Artificial Life
A knowledge-based approach for automatic generation of summaries of behavior
AIMSA'06 Proceedings of the 12th international conference on Artificial Intelligence: methodology, Systems, and Applications
Building Intelligent Interactive Tutors: Student-centered strategies for revolutionizing e-learning
Building Intelligent Interactive Tutors: Student-centered strategies for revolutionizing e-learning
LEADSTO: a language and environment for analysis of dynamics by simulation
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Automated evaluation of coordination approaches
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Enabling control software generation by using mechatronics modeling primitives
Advanced Engineering Informatics
Qualitative simulation of dynamic physiological models using the KEE environment
Artificial Intelligence in Medicine
Paper: A causal and temporal reasoning model and its use in drug therapy applications
Artificial Intelligence in Medicine
Utilizing a functional approach for modeling biological systems
Mathematical and Computer Modelling: An International Journal
Improving vehicle aeroacoustics using machine learning
Engineering Applications of Artificial Intelligence
Repairing incorrect knowledge with model formulation and metareasoning
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Domain transfer via cross-domain analogy
Cognitive Systems Research
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Annals of Mathematics and Artificial Intelligence
Automatic extraction of function-behaviour-state information from patents
Advanced Engineering Informatics
Learning qualitative models from numerical data: extended abstract
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Using L-fuzzy sets to introduce information theory into qualitative reasoning
Fuzzy Sets and Systems
Software and Systems Modeling (SoSyM)
| Hi-index | 0.04 |