Multifacetted modelling and discrete event simulation
Multifacetted modelling and discrete event simulation
Qualitative reasoning about physical systems
Qualitative reasoning about physical systems
Introduction to Simulation and SLAM II (3rd ed.)
Introduction to Simulation and SLAM II (3rd ed.)
System simulation programming styles and languages
System simulation programming styles and languages
Artificial Intelligence
The use of aggregation in causal simulation
Artificial Intelligence
Hierarchical reasoning: simulating complex processes over multiple levels of abstraction
Hierarchical reasoning: simulating complex processes over multiple levels of abstraction
Role of process abstraction in simulation
IEEE Transactions on Systems, Man and Cybernetics
Qualitative physics: past, present, and future
Exploring artificial intelligence
Object-oriented simulation with hierarchical, modular models: intelligent agents and endomorphic systems
Readings in qualitative reasoning about physical systems
Readings in qualitative reasoning about physical systems
A qualitative physics based on confluences
Readings in qualitative reasoning about physical systems
Knowledge-based simulation
Dynamic templates and semantic rules for simulation advisors and certifiers
Knowledge-based simulation
Qualitative simulation modeling and analysis
Qualitative simulation modeling and analysis
Qualitative physics: towards the automation of systems problem solving
Journal of Experimental & Theoretical Artificial Intelligence
Heterogeneous decomposition and inter-level coupling for combined modeling
WSC '91 Proceedings of the 23rd conference on Winter simulation
The time and state relationships in simulation modeling
Communications of the ACM - Special issue on simulation modeling and statistical computing
Theory of Modelling and Simulation
Theory of Modelling and Simulation
Taming intractible branching in qualitative simulation
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
AI: what simulationists really need to know
ACM Transactions on Modeling and Computer Simulation (TOMACS)
ACM Transactions on Modeling and Computer Simulation (TOMACS)
SimPack: getting started with simulation programming in C and C++
WSC '92 Proceedings of the 24th conference on Winter simulation
Discrete event simulation modeling: directions for the '90s
WSC '92 Proceedings of the 24th conference on Winter simulation
WSC '94 Proceedings of the 26th conference on Winter simulation
WSC '95 Proceedings of the 27th conference on Winter simulation
A taxonomy of model abstraction techniques
WSC '95 Proceedings of the 27th conference on Winter simulation
Multimodeling as a unified modeling framework
WSC '93 Proceedings of the 25th conference on Winter simulation
Visual modeling of DEVS-based multiformalism systems based on higraphs
WSC '93 Proceedings of the 25th conference on Winter simulation
Graphic modeling using heterogeneous hierarchical models
WSC '93 Proceedings of the 25th conference on Winter simulation
WSC '93 Proceedings of the 25th conference on Winter simulation
WSC '96 Proceedings of the 28th conference on Winter simulation
Simulation-based planning for multi-agent environments
Proceedings of the 29th conference on Winter simulation
An architectural design for digital objects
Proceedings of the 30th conference on Winter simulation
Heterogeneous decomposition and inter-level coupling for combined modeling
WSC '91 Proceedings of the 23rd conference on Winter simulation
Using discrete event modeling for effective computer animation control
WSC '91 Proceedings of the 23rd conference on Winter simulation
Improving the aircraft design process using Web-based modeling and simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Transactions of the Society for Computer Simulation International - Recent advances in DEVS Methodology--part I
A two-stage modeling and simulation process for web-based modeling and simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
The rube Framework for Personalized 3-D Software Visualization
Revised Lectures on Software Visualization, International Seminar
Next generation modeling I: RUBE: a customized 2d and 3d modeling framework for simulation
Proceedings of the 35th conference on Winter simulation: driving innovation
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
Multiagent systems for cardiac pacing simulation and control
AI Communications - Agents Applied in Health Care
Simulation-based problem-solving environments for conflict studies
Simulation and Gaming - Symposium: virtual reality simulation
COOTS'98 Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 4
Toward Next-Generation, Simulation-Based Computational Tools for Conflict and Peace Studies
Social Science Computer Review
A formal framework for connective stability of highly decentralized cooperative negotiations
Autonomous Agents and Multi-Agent Systems
Requirements and design principles for multisimulation with multiresolution, multistage multimodels
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Combining micro and macro-modeling in DEVS for computational biology
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
VLE: a multimodeling and simulation environment
Proceedings of the 2007 Summer Computer Simulation Conference
Discrete event modeling through a multi-formalism approach, from a user-oriented perspective
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools
Models in Software Engineering
A Holonic Chain Conveyor Control System: An Application
HoloMAS '09 Proceedings of the 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems: Holonic and Multi-Agent Systems for Manufacturing
Petri net translation patterns for the analysis of ebusiness collaboration messaging protocols
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
Hierarchical modeling for computational biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Effective multimodel anomaly detection using cooperative negotiation
GameSec'10 Proceedings of the First international conference on Decision and game theory for security
Exploring multi-level model dynamics: performance and accuracy (WIP)
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Expert Systems with Applications: An International Journal
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
A context-based multi-perspective modeling and simulation framework
Proceedings of the Winter Simulation Conference
Towards online planning for open-air engineering processes
Computers in Industry
Hi-index | 0.00 |
Qualitative models arising in artificial intelligence domain often concern real systems that are difficult to represent with traditional means. However, some promise for dealing with such systems is offered by research in simulation methodology. Such research produces models that combine both continuous and discrete-event formalisms. Nevertheless, the aims and approaches of the AI and the simulation communities remain rather mutually ill understood. Consequently, there is a need to bridge theory and methodology in order to have a uniform language when either analyzing or reasoning about physical systems. This article introduces a methodology and formalism for developing multiple, cooperative models of physical systems of the type studied in qualitative physics. The formalism combines discrete-event and continuous models and offers an approach to building intelligent machines capable of physical modeling and reasoning.