Issues in the pragmatics of qualitative modeling: lessons learned from a xerographics project
Communications of the ACM
A model-based approach to updating databases with incomplete information
ACM Transactions on Database Systems (TODS)
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
A hierarchical symptom classification for model based causal reasoning
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Automated circuit diagnosis using first order logic tools
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
An assumption-based localization technique for switching system
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Automated diagnosis of analog circuits
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Derivation from first principles of belief values generated in networks by message passing
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Theory formation in artificial intelligence
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
An incremental method for generating prime implicants/implicates
Journal of Symbolic Computation
Diagnosis, parsimony, and genetic algorithms
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
On the efficiency of logic-based diagnosis
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Diagnosis of power plant faults using qualitative models and heuristic rules
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
TRSHOOT: a model-based troubleshooter
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Model-based integration of planning and learning
ACM SIGART Bulletin
Collaboration in distributed document processing
ACM SIGOIS Bulletin
A cost effective question asking strategy
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Decision-theoretic troubleshooting
Communications of the ACM
An autonomous spacecraft agent prototype
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
Constructing the correct diagnosis when symptoms disappear
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Decompositional, model-based learning and its analogy to diagnosis
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
A framework for comparison of update semantics
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Doing two-level logic minimization 100 times faster
Proceedings of the sixth annual ACM-SIAM symposium on Discrete algorithms
Automatic knowledge acquisition in technical diagnosis
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Locating bugs in Java programs - first results of the Java diagnosis experiments project
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
Printer troubleshooting using Bayesian networks
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)
On the relationship between model-based debugging and program slicing
Artificial Intelligence
An analysis of multi-agent diagnosis
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Logic Synthesis and Verification
Diagnosis of discrete-event systems from uncertain temporal observations
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
Inference guiding in propositional knowledge bases
Annals of Mathematics and Artificial Intelligence
Combining Case-Based and Model-Based Reasoning for the Diagnosis of Complex Devices
Applied Intelligence
A Fuzzy Diagnostic Model and Its Application in Automotive Engineering Diagnosis
Applied Intelligence
A Model-Based Diagnosis System for Identifying Faulty Components in Digital Circuits
Applied Intelligence
A Neural Network Diagnosis Approach for Analog Circuits
Applied Intelligence
MDS: An Integrated Architecture for Associational and Model-Based Diagnosis
Applied Intelligence
Debugging Hardware Designs Using a Value-Based Model
Applied Intelligence
Fast Subsumption Checks Using Anti-Links
Journal of Automated Reasoning
Strategies in Model-based Diagnosis
Journal of Automated Reasoning
Inferring from Inconsistency in Preference-Based Argumentation Frameworks
Journal of Automated Reasoning
A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft
Autonomous Agents and Multi-Agent Systems
Computational Complexity Issues in Operative Diagnostics of Graph-Based Systems
IEEE Transactions on Computers
Organizing and Understanding Beliefs in Advice-Giving Diagnostic Systems
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Using Compiled Knowledge to Guide and Focus Abductive Diagnosis
IEEE Transactions on Knowledge and Data Engineering
Sequential Decision Models for Expert System Optimization
IEEE Transactions on Knowledge and Data Engineering
Structured Development of Problem Solving Methods
IEEE Transactions on Knowledge and Data Engineering
Local Reasoning and Knowledge Compilation for Efficient Temporal Abduction
IEEE Transactions on Knowledge and Data Engineering
Peirce: A Tool for Experimenting with Abduction
IEEE Expert: Intelligent Systems and Their Applications
Device Understanding and Modeling for Diagnosis
IEEE Expert: Intelligent Systems and Their Applications
Model-based reasoning: The applications gap
IEEE Expert: Intelligent Systems and Their Applications
Using Functional Models in Automatic Debugging
IEEE Expert: Intelligent Systems and Their Applications
Model-Based, Multiple-Fault Diagnosis of Dynamic, Continuous Physical Devices
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
Toward a Competence Theory of Diagnosis
IEEE Expert: Intelligent Systems and Their Applications
DiKe: a model-based diagnosis kernel and its application
AI Communications - Special issue on KI-2001
Diagnosis Algorithms for a Symbolically Modeled Manufacturing Process
ICCS '01 Proceedings of the International Conference on Computational Sciences-Part I
Fuzzy Knowledge Based Systems and Chance Discovery
Proceedings of the Joint JSAI 2001 Workshop on New Frontiers in Artificial Intelligence
A Methodology for Multiple-Fault Diagnosis Based on the Independent Choice Logic
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
Sequential Diagnosis in the Independence Bayesian Framework
Soft-Ware 2002 Proceedings of the First International Conference on Computing in an Imperfect World
Using Design Information to Identify Structural Software Faults
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Hypergraph Transversal Computation and Related Problems in Logic and AI
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Algorithms for Computing X-Minimal Models
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Using Multiple Models for Debugging VHDL Designs
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Model-Based Debugging or How to Diagnose Programs Automatically
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
Knowledge-Based Control Systems
SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
Comparing Two Models for Software Debugging
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
DiKe - A Model-Based Diagnosis Kernel and Its Application
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
ITS '02 Proceedings of the 6th International Conference on Intelligent Tutoring Systems
Model-Based Diagnosis or Reasoning from First Principles
IEEE Intelligent Systems
Measuring inconsistency in knowledge via quasi-classical models
Eighteenth national conference on Artificial intelligence
Intelligent control of auxiliary ship systems
Eighteenth national conference on Artificial intelligence
Computational vulnerability analysis for information survivability
Eighteenth national conference on Artificial intelligence
FLAMES: A Fuzzy Logic ATMS and Model-based Expert System for Analog Diagnosis
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Empirical Performance Analysis of Computer-Supported Code-Reviews
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
A protocol for multi-agent diagnosis with spatially distributed knowledge
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Model-based fault diagnosis of sequential circuits and its acceleration
EURO-DAC '91 Proceedings of the conference on European design automation
The SACSO methodology for troubleshooting complex systems
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
Model-based programming of fault-aware systems
AI Magazine
Hybrid argumentation systems for structured news reports
The Knowledge Engineering Review
The Knowledge Engineering Review
Knowledge maintenance: the state of the art
The Knowledge Engineering Review
Symbolic diagnosis and its formalisation
The Knowledge Engineering Review
Man bites dog: looking for interesting inconsistencies in structured news reports
Data & Knowledge Engineering
Hierarchical model-based diagnosis based on structural abstraction
Artificial Intelligence
Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results
Applied Intelligence
A Framework of Fuzzy Diagnosis
IEEE Transactions on Knowledge and Data Engineering
A cost-reducing question-selection algorithm for propositional knowledge-based systems
Annals of Mathematics and Artificial Intelligence
Diagnosing a team of agents: scaling-up
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Model-based diagnosis of multi-agent systems
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Error traces in model-based debugging of hardware description languages
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Logical comparison of inconsistent perspectives using scoring functions
Knowledge and Information Systems
The Localization and Correction of Errors in Models: A Constraint-Based Approach
Applied Intelligence
Debugging VHDL designs using temporal process instances
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Temporal reasoning for decision support in medicine
Artificial Intelligence in Medicine
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
An incremental algorithm for generating all minimal models
Artificial Intelligence
Diagnosis and Design for Diagnosability for Internet Routers
ISQED '06 Proceedings of the 7th International Symposium on Quality Electronic Design
Model-based debugging with high-level observations
Intelligent information processing II
Experiment selection for the discrimination of semi-quantitative models of dynamical systems
Artificial Intelligence
Study of the diagnosability of automated production systems based on functional graphs
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
A layered approach to automated electrical safety analysis in automotive environments
Computers in Industry
Speeding up model-based diagnosis by a heuristic approach to solving SAT
AIA'06 Proceedings of the 24th IASTED international conference on Artificial intelligence and applications
An improved model-based method to test circuit faults
Theoretical Computer Science
Improving Robustness of Mobile Robots Using Model-based Reasoning
Journal of Intelligent and Robotic 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
International Journal of Knowledge-based and Intelligent Engineering Systems
Automated Fault Localization for C Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
On the design of coordination diagnosis algorithms for teams of situated agents
Artificial Intelligence
Discrete Applied Mathematics
Conflict-directed A* and its role in model-based embedded systems
Discrete Applied Mathematics
Outlier detection by logic programming
ACM Transactions on Computational Logic (TOCL)
An automated model-based debugging approach
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Brief paper: Parity relations for linear uncertain dynamic systems
Automatica (Journal of IFAC)
Distributed constraint propagation for diagnosis of faults in physical processes
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
An algorithm for computing the diagnoses with minimal cardinality in a distributed system
Engineering Applications of Artificial Intelligence
Decision support systems for change management
International Journal of Information Systems and Change Management
Edification: towards a philosophy for change management
International Journal of Information Systems and Change Management
An algebraic theory for statistical information based on the theory of hints
International Journal of Approximate Reasoning
An introduction to model-based systems
AI Communications - Model-Based Systems
A compiled model for faults diagnosis based on different techniques
AI Communications - Model-Based Systems
An upper bound on computing all X-minimal models
AI Communications
An observation-based model for fault localization
WODA '08 Proceedings of the 2008 international workshop on dynamic analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008)
WILF '07 Proceedings of the 7th international workshop on Fuzzy Logic and Applications: Applications of Fuzzy Sets Theory
Diagnosis of Plan Structure Violations
MATES '07 Proceedings of the 5th German conference on Multiagent System Technologies
Student Modelling Based on Belief Networks
International Journal of Artificial Intelligence in Education
Distributed Consistency-Based Diagnosis
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Sensor placement for fault isolation in linear differential-algebraic systems
Automatica (Journal of IFAC)
Primary and secondary diagnosis of multi-agent plan execution
Autonomous Agents and Multi-Agent Systems
Relaxed maximum a posteriori fault identification
Signal Processing
Engineering Applications of Artificial Intelligence
Incremental state based diagnosis
Advanced Engineering Informatics
Assumption Based Peg Unification for Crime Scenario Modelling
Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
Adventures in Model-based Reasoning
Proceedings of the 2006 conference on Rob Milne: A Tribute to a Pioneering AI Scientist, Entrepreneur and Mountaineer
The heuristic methods of obtaining the effective measurement in diagnostic systems
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
Diagnosing Highly Configurable Products: Troubleshooting Support for Airbus Final Assembly Line
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Model-Based Failure Analysis with RODON
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Cost-sensitive Iterative Abductive Reasoning with abstractions
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Combining Abduction with Conflict-based Diagnosis
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
The Probabilistic Interpretation of Model-Based Diagnosis
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
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
A two-step hierarchical algorithm for model-based diagnosis
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
A causal analysis method for concurrent hybrid automata
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Towards model-based diagnosis of coordination failures
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Diagnosis as approximate belief state enumeration for probabilistic concurrent constraint automata
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Model-based monitoring and diagnosis of systems with software-extended behavior
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
A qualitative approach to multiple fault isolation in continuous systems
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Computing minimal diagnoses by greedy stochastic search
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Computing observation vectors for max-fault min-cardinality diagnoses
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Pervasive diagnosis: the integration of diagnostic goals into production plans
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Towards understanding and harnessing the potential of clause learning
Journal of Artificial Intelligence Research
Model-based diagnosis using structured system descriptions
Journal of Artificial Intelligence Research
Temporally coarse representation of behavior for model-based troubleshooting of digital circuits
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
An analysis of ATMS-based techniques for computing Dempster-Shafer belief functions
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
Normality and faults in logic-based diagnosis
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A theory of diagnosis for incomplete causal models
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
"Physical negation": integrating fault models into the general diagnostic engine
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Experience learning in model-based diagnostic systems
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Candidate ordering and elimination in model-based fault diagnosis
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A new algorithm for incremental prime implicate generation
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
On the relationship between probabilistic logic and π-CMS
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
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
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
Proposing measurements in dynamic systems
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A practical evaluation of spectrum-based fault localization
Journal of Systems and Software
Coupling CSP decomposition methods and diagnosis algorithms for tree-structured systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Understanding the power of clause learning
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Prioritized defaults: implementation by TMS and application to diagnosis
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Plan debugging in an intentional system
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Representing diagnostic knowledge for probabilistic Horn abduction
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Deployment of an ontological framework of functional design knowledge
Advanced Engineering Informatics
Mode estimation of model-based programs: monitoring systems with complex behavior
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A formal framework for representing diagnosis strategies in model-based diagnosis systems
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
No faults in structure?: how to diagnose hidden interactions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Diagnosing tree-decomposable circuits
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
An incremental algorithm for generating all minimal models
Artificial Intelligence
Experiment selection for the discrimination of semi-quantitative models of dynamical systems
Artificial Intelligence
Intelligent control of auxiliary ship systems
IAAI'02 Proceedings of the 14th conference on Innovative applications of artificial intelligence - Volume 1
Computational vulnerability analysis for information survivability
IAAI'02 Proceedings of the 14th conference on Innovative applications of artificial intelligence - Volume 1
A new bayesian approach to multiple intermittent fault diagnosis
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Diagnosing multiple persistent and intermittent faults
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
FRACTAL: efficient fault isolation using active testing
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Solving strong-fault diagnostic models by model relaxation
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A query-based approach for test selection in diagnosis
Artificial Intelligence Review
Configuration of measurement systems using Shannon's entropy function
Computers and Structures
A layered approach to automated electrical safety analysis in automotive environments
Computers in Industry
A Test Theory of the Model-Based Diagnosis
ICIC '07 Proceedings of the 3rd International Conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
Diagnosing a System with Value-Based Reasoning
ICIC '07 Proceedings of the 3rd International Conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
Knowledge based crime scenario modelling
Expert Systems with Applications: An International Journal
A distributed approach for multiple model diagnosis of physical systems
Information Sciences: an International Journal
Towards adaptive interpolative reasoning
FUZZ-IEEE'09 Proceedings of the 18th international conference on Fuzzy Systems
A model-based approach to robot fault diagnosis
Knowledge-Based Systems
Study of the diagnosability of automated production systems based on functional graphs
Mathematics and Computers in Simulation
Model-based diagnosis for information survivability
IWSAS'01 Proceedings of the 2nd international conference on Self-adaptive software: applications
Probabilistic dispatch, dynamic domain architecture, and self-adaptive software
IWSAS'01 Proceedings of the 2nd international conference on Self-adaptive software: applications
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
An algorithm for diagnosing system with structured description
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartII
Probabilistic modeling of alarm observation delay in network diagnosis
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Agent technology from a NASA perspective
CIA'99 Proceedings of the 3rd international conference on Cooperative information agents III
Diagnosing dependent failures in the hardware and software of mobile autonomous robots
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
Insights on fault interference for programs with multiple bugs
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
Efficiency analysis of multiple-context TMSS in scene representation
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Diagnosis discrimination for ontology debugging
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Robust fault diagnosis for atmospheric reentry vehicles: a case study
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - 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
Efficiency analysis of multiple-context TMSS in scene representation
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Qualitative multiple-fault diagnosis of continuous dynamic systems using behavioral modes
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
A model-based approach to reactive self-configuring systems
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Augmenting the diagnostic power of flow-based approaches to functional reasoning
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Computing stable models by using the ATMS
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Model-based diagnosis of planning failures
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Physical impossibility instead of fault models
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Efficient diagnosis of multiple disorders based on a symptom clustering approach
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A design based approach to constructing computational solutions to diagnostic problems
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Inductive learning in probabilistic domain
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Using attention in belief revision
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
The P-systems: a systematic classification of logics of n onmonotonicity
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
An efficient first-order horn-clause abduction system based on the ATMS
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Controlling inequality reasoning in a TMS-based analog diagnosis system
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Model-based reconfiguration: toward an integration with diagnosis
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Domain structure and the complexity of diagnostic problem solving
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Consistency-based diagnosis in physiological domains
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Adaptive model-based diagnostic mechanism using a hierarchical model scheme
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Multiple dimensions of generalization in model-based troubleshooting
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Abduction as belief revision: a model of preferred explanations
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Monitoring, prediction, and fault isolation in dynamic physical systems
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Multiple fault diagnosis from FMEA
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
Diagnosing multiple intermittent failures using maximum likelihood estimation
Artificial Intelligence
Model-based diagnosis in a power distribution testbed
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
ICIC'10 Proceedings of the Advanced intelligent computing theories and applications, and 6th international conference on Intelligent computing
Approximate model-based diagnosis using greedy stochastic search
Journal of Artificial Intelligence Research
Query strategy for sequential ontology debugging
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Simultaneous debugging of software faults
Journal of Systems and Software
Challenges of distributed model-based diagnosis
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part I
Ensemble methods and model based diagnosis using possible conflicts and system decomposition
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part II
A model-based active testing approach to sequential diagnosis
Journal of Artificial Intelligence Research
Maximal-confirmation diagnoses
Knowledge-Based Systems
A model-based reasoning approach to system fault diagnosis
ICS'06 Proceedings of the 10th WSEAS international conference on Systems
A new strategy for automotive off-board diagnosis based on a meta-heuristic engine
Engineering Applications of Artificial Intelligence
Debugging unrealizable specifications with model-based diagnosis
HVC'10 Proceedings of the 6th international conference on Hardware and software: verification and testing
A hybrid approach to operating system discovery based on diagnosis
International Journal of Network Management
A diagnostic reasoning approach to defect prediction
IEA/AIE'11 Proceedings of the 24th international conference on Industrial engineering and other applications of applied intelligent systems conference on Modern approaches in applied intelligence - Volume Part II
Detecting and repairing anomalous evolutions in noisy environments
Annals of Mathematics and Artificial Intelligence
Architecture-based run-time fault diagnosis
ECSA'11 Proceedings of the 5th European conference on Software architecture
Sequential diagnosis by abstraction
Journal of Artificial Intelligence Research
A new efficient and flexible algorithm for the design of testable subsystems
International Journal of Applied Mathematics and Computer Science - Computational Intelligence in Modern Control Systems
Using ROBDDs for inference in Bayesian networks with troubleshooting as an example
UAI'00 Proceedings of the Sixteenth conference on Uncertainty in artificial intelligence
Practical model-based diagnosis with qualitative possibilistic uncertainty
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
Decision-theoretic troubleshooting: a framework for repair and experiment
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Syntax-based default reasoning as probabilistic model-based diagnosis
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Belief maintenance in Bayesian networks
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
A generalization of the noisy-or model
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
The use of conflicts in searching Bayesian networks
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
A global modular framework for automotive diagnosis
Advanced Engineering Informatics
Using AI techniques for fault localization in component-oriented software systems
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
A reason maintenance system dealing with vague data
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Representing Bayesian networks within probabilistic horn abduction
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Journal of Computer and System Sciences
Diagnosis of power system protection
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Towards lightweight fault localization in procedural programs
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Diagnostic of programs for programming learning tools
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
Diagnosis of coordination failures: a matrix-based approach
Autonomous Agents and Multi-Agent Systems
Simplifying diagnosis using LSAT: a propositional approach to reasoning from first principles
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Approaches to measuring inconsistent information
Inconsistency Tolerance
Abductive inference in bayesian networks: finding a partition of the explanation space
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Probabilistic graphical models for the diagnosis of analog electrical circuits
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
An efficient diagnosis algorithm for inconsistent constraint sets
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods
Automated error localization and correction for imperative programs
Proceedings of the International Conference on Formal Methods in Computer-Aided Design
Interactive ontology debugging: Two query strategies for efficient fault localization
Web Semantics: Science, Services and Agents on the World Wide Web
ReAction: personalized minimal repair adaptations for customer requests
FQAS'11 Proceedings of the 9th international conference on Flexible Query Answering Systems
Prioritizing tests for fault localization through ambiguity group reduction
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Most relevant explanation in Bayesian networks
Journal of Artificial Intelligence Research
A note on logic and information retrieval
MIRO'95 Proceedings of the Final conference on Multimedia Information Retrieval
Background knowledge in diagnosis
Artificial Intelligence in Medicine
Flexible reasoning about patient management using multiple models
Artificial Intelligence in Medicine
Physiological applications of consistency-based diagnosis
Artificial Intelligence in Medicine
Guaranteeing real-time response with limited resources
Artificial Intelligence in Medicine
Planning of therapy and tests in causal probabilistic networks
Artificial Intelligence in Medicine
The problem of asking the minimum number of questions in horn clause systems
Mathematical and Computer Modelling: An International Journal
A theory of meta-diagnosis: reasoning about diagnostic systems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Belief management for high-level robot programs
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Minimal monitor activation and fault localization in optical networks
Optical Switching and Networking
IMS 10-Validation of a co-evolving diagnostic algorithm for evolvable production systems
Engineering Applications of Artificial Intelligence
FAuST: a framework for formal verification, automated debugging, and software test generation
SPIN'12 Proceedings of the 19th international conference on Model Checking Software
Information and Software Technology
Formal Verification and Diagnosis of Combinational Circuit Designs with Propositional Logic
Fundamenta Informaticae
AI for the win: improving spectrum-based fault localization
ACM SIGSOFT Software Engineering Notes
Automated FMEA based diagnostic symptom generation
Advanced Engineering Informatics
Analytics for change management
International Journal of Information Systems and Change Management
Embedded holonic fault diagnosis of complex transportation systems
Engineering Applications of Artificial Intelligence
Diagnosing architectural run-time failures
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
HVC'12 Proceedings of the 8th international conference on Hardware and Software: verification and testing
Expert Systems with Applications: An International Journal
The route to success: a performance comparison of diagnosis algorithms
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Behavioral diagnosis of LTL specifications at operator level
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Bridging control and artificial intelligence theories for diagnosis: A survey
Engineering Applications of Artificial Intelligence
Software and Systems Modeling (SoSyM)
A dynamic code coverage approach to maximize fault localization efficiency
Journal of Systems and Software
Reasoning on partially-ordered observations in online diagnosis of DESs
AI Communications
On classification and modeling issues in distributed model-based diagnosis
AI Communications - Intelligent Engineering Techniques for Knowledge Bases
An event-based distributed diagnosis framework using structural model decomposition
Artificial Intelligence
Hi-index | 0.04 |