Autonmous design and execution of process controllers for untended scientific instruments
AGENTS '97 Proceedings of the first international conference on Autonomous agents
A hybrid procedural/deductive executive for autonomous spacecraft
AGENTS '98 Proceedings of the second international conference on Autonomous agents
Towards an estimation aid for nuclear power plant refueling operations
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
Decomposable negation normal form
Journal of the ACM (JACM)
Model-based and qualitative reasoning: An introduction
Annals of Mathematics and Artificial Intelligence
Representing and reasoning about concurrent actions with abductive logic programs
Annals of Mathematics and Artificial Intelligence
Dynamic Flexible Constraint Satisfaction
Applied Intelligence
Model-Based Diagnosis and Conditional Logic
Applied Intelligence
An Autonomous Spacecraft Agent Prototype
Autonomous Robots - Special issue on autonomous agents
Constraints
State Observation and Diagnosis of Discrete-Event SystemsDescribed by Stochastic Automata
Discrete Event Dynamic Systems
A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft
Autonomous Agents and Multi-Agent Systems
Later: Managing Temporal Information Efficiently
IEEE Expert: Intelligent Systems and Their Applications
Model-Based Diagnosis for Automotive Repair
IEEE Expert: Intelligent Systems and Their Applications
Process algebras for systems diagnosis
Artificial Intelligence
Water, wanted and unwanted: decision support in environmental applications
Systems Analysis Modelling Simulation - Special issue: Applications of information systems in environmental modelling
An Information-Theoretic Characterization of Abstraction in Diagnosis and Hypothesis Selection
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
An Alternative Approach to Dependeny-Recording Engines in Consistency-Based Diagnosis
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Using Failed Local Search for SAT as an Oracle for Tackling Harder A.I. Problems More Efficiently
AIMSA '02 Proceedings of the 10th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Lessons Learned from Diagnosing Dynamic Systems Using Possible Conflicts and Quantitative Models
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
A Relational Constraint Solver for Model-Based Engineering
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Tutoring Diagnostic Problem Solving
ITS '00 Proceedings of the 5th International Conference on Intelligent Tutoring Systems
Overcoming the Christmas Tree Syndrome
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Using FMEA models and ontologies to build diagnostic models
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
The Knowledge Engineering Review
Knowledge maintenance: the state of the art
The Knowledge Engineering Review
A model based reasoning approach for generating plausible crime scenarios from evidence
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Task-dependent qualitative domain abstraction
Artificial Intelligence - Special volume on reformulation
The Localization and Correction of Errors in Models: A Constraint-Based Approach
Applied Intelligence
SymCure: a model-based approach for fault management with causal directed graphs
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Prediction-based diagnosis and loss prevention using model-based reasoning
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
Experiment selection for the discrimination of semi-quantitative models of dynamical systems
Artificial Intelligence
Probabilistic abductive computation of evidence collection strategies in crime investigation
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Improving Robustness of Mobile Robots Using Model-based Reasoning
Journal of Intelligent and Robotic Systems
Monitoring and alarm interpretation in industrial environments
AI Communications
On models, modelling and the distinctive nature of model-based reasoning
AI Communications
Model-based diagnosis for open systems fault management
AI Communications
A prototype for model-based on board diagnosis of automotive systems
AI Communications
On the specification of multiple models for diagnosis of dynamic systems
AI Communications
A constraint solver for model-based engineering
AI Communications
Use of Elvira's explanation facility for debugging probabilistic expert systems
Knowledge-Based Systems
Test minimization for human-computer interaction
Applied Intelligence
On the design of coordination diagnosis algorithms for teams of situated agents
Artificial Intelligence
Conflict-directed A* and its role in model-based embedded systems
Discrete Applied Mathematics
Local-search Extraction of MUSes
Constraints
Robust artificial life via artificial programmed death
Artificial Intelligence
An introduction to model-based systems
AI Communications - Model-Based Systems
Dynamic diagnosis based on interval analytical redundancy relations and signs of the symptoms
AI Communications - Model-Based Systems
Observability Checking to Enhance Diagnosis of Real Time Electronic Systems
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
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
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
Another Point of View on Diagnosability
Proceedings of the 2008 conference on STAIRS 2008: Proceedings of the Fourth Starting AI Researchers' Symposium
An algorithm based on structural analysis for model-based fault diagnosis
Proceedings of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence
An interval-based approach for fault isolation and identification in continuous dynamic systems
Proceedings of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence
Improving robustness in consistency-based diagnosis using possible conflicts
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Detailed diagnosis in enterprise networks
Proceedings of the ACM SIGCOMM 2009 conference on Data communication
A causal analysis method for concurrent hybrid automata
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Robust agent teams via socially-attentive monitoring
Journal of Artificial Intelligence Research
Diagnosing and solving over-determined constraint satisfaction problems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Utilizing device behavior in structure-based diagnosis
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Model-based diagnosis in the real world: lessons learned and challenges remaining
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Modeling when connections are the problem
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Multi-agent system that attains longevity via death
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Boosting a complete technique to find MSS and MUS thanks to a local search oracle
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Automated qualitative domain abstraction
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
No faults in structure?: how to diagnose hidden interactions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Trading off the costs of inference vs. probing in diagnosis
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
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
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
International Journal of Applied Mathematics and Computer Science - Issues in Fault Diagnosis and Fault Tolerant Control
A Method for Sensor Placement Taking into Account Diagnosability Criteria
International Journal of Applied Mathematics and Computer Science - Issues in Fault Diagnosis and Fault Tolerant Control
Integrating formal methods with system management
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Bond graph based Bayesian network for fault diagnosis
Applied Soft Computing
Special issue on model-based diagnostics
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Intrinsic hurdles in applying automated diagnosis and recovery to spacecraft
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Improving model-based diagnosis through algebraic analysis: the Petri net challenge
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Comet: an application of model-based reasoning to accounting systems
IAAI'96 Proceedings of the eighth annual conference on Innovative applications of artificial intelligence
Representing actions and state constraints in model-based diagnosis
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
FlexDx: A reconfigurable diagnosis framework
Engineering Applications of Artificial Intelligence
A fault diagnosis prototype system based on causality diagram
ICIC'06 Proceedings of the 2006 international conference on Intelligent computing: Part II
Analyzing the influence of differential constraints in possible conflict and ARR computation
CAEPIA'09 Proceedings of the Current topics in artificial intelligence, and 13th conference on Spanish association for artificial intelligence
Compositional Bayesian modelling for computation of evidence collection strategies
Applied Intelligence
Compiling AI engineering models for probabilistic inference
KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence
International Journal of Applied Mathematics and Computer Science - Semantic Knowledge Engineering
Practical model-based diagnosis with qualitative possibilistic uncertainty
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Modeling failure priors and persistence in model-based diagnosis
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Exploiting system hierarchy to compute repair plans in probabilistic model-based diagnosis
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Efficient enumeration of instantiations in Bayesian networks
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
A fuzzy temporal diagnosis algorithm and a hypothesis discrimination proposal
IWINAC'05 Proceedings of the First international conference on Mechanisms, Symbols, and Models Underlying Cognition: interplay between natural and artificial computation - Volume Part I
Conflict-Directed a* search for soft constraints
CPAIOR'06 Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Using Possibilistic Logic for Modeling Qualitative Decision: ATMS-based Algorithms
Fundamenta Informaticae
Same-decision probability: A confidence measure for threshold-based decisions
International Journal of Approximate Reasoning
Diagnosability of discrete event systems for temporary failures
Computers and Electrical Engineering
An event-based distributed diagnosis framework using structural model decomposition
Artificial Intelligence
| Hi-index | 0.00 |