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
On theory revision with queries
COLT '99 Proceedings of the twelfth annual conference on Computational learning theory
More theory revision with queries (extended abstract)
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
Decomposable negation normal form
Journal of the ACM (JACM)
A perspective on symbolic mathematical computing and artificial intelligence
Annals of Mathematics and Artificial Intelligence
Representing and reasoning about concurrent actions with abductive logic programs
Annals of Mathematics and Artificial Intelligence
Model-Based Diagnosis and Conditional Logic
Applied Intelligence
Developing Knowledge-Based Systems with MIKE
Automated Software Engineering
Constraints
Fast Subsumption Checks Using Anti-Links
Journal of Automated Reasoning
An Efficient Algorithm to Generate Prime Implicants
Journal of Automated Reasoning
Theory Revision with Queries: DNF Formulas
Machine Learning
Using Compiled Knowledge to Guide and Focus Abductive Diagnosis
IEEE Transactions on Knowledge and Data Engineering
Process algebras for systems diagnosis
Artificial Intelligence
Indexing Problem Solving Methods for Reuse
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
An Information-Theoretic Characterization of Abstraction in Diagnosis and Hypothesis Selection
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Algorithms for Computing X-Minimal Models
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Diagnosing Physical Systems in A-Prolog
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
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
Evaluation of an Algorithm for the Transversal Hypergraph Problem
WAE '99 Proceedings of the 3rd International Workshop on Algorithm Engineering
Modeling and Programming Devices and Web Agents
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
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 systems in the automotive industry
AI Magazine
Model-based programming of fault-aware systems
AI Magazine
Symbolic diagnosis and its formalisation
The Knowledge Engineering Review
Hierarchical model-based diagnosis based on structural abstraction
Artificial Intelligence
Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results
Applied Intelligence
A New Algebraic Tool for Automatic Theorem Provers
Annals of Mathematics and Artificial Intelligence
A Framework of Fuzzy Diagnosis
IEEE Transactions on Knowledge and Data Engineering
Knowledge transformation and fusion in diagnostic systems
Artificial Intelligence
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
The Localization and Correction of Errors in Models: A Constraint-Based Approach
Applied Intelligence
An incremental algorithm for generating all minimal models
Artificial Intelligence
Constraint satisfaction techniques for diagnosing errors in design by contract software
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
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)
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
The Diagnosis Frontend of the dlv system
AI Communications
Non-Clausal Reasoning with Definite Theories
Fundamenta Informaticae
International Journal of Knowledge-based and Intelligent Engineering Systems
Conflict-directed A* and its role in model-based embedded systems
Discrete Applied Mathematics
An automated approach to monitoring and diagnosing requirements
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Proceedings of the 13th international conference on Intelligent user interfaces
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)
Developing a labelled object-relational constraint database architecture for the projection operator
Data & Knowledge Engineering
Distributed Consistency-Based Diagnosis
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Primary and secondary diagnosis of multi-agent plan execution
Autonomous Agents and Multi-Agent Systems
Autonomic Computing Now You See It, Now You Don't
Software Engineering
Monitoring and diagnosing software requirements
Automated Software Engineering
Engineering Applications of Artificial Intelligence
Intelligent adaptive monitoring for cardiac surveillance
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Dependent Failures in Consistency-based Diagnosis
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
Parametric abstraction of behavioral modes for model-based diagnosis
AI Communications
A two-step hierarchical algorithm for model-based diagnosis
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Efficient datalog abduction through bounded treewidth
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
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
A general framework for generating multivariate explanations in Bayesian networks
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Abduction with bounded treewidth: from theoretical tractability to practically efficient computation
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Model-based diagnosis using structured system descriptions
Journal of Artificial Intelligence Research
Diagnosis as a variable assignment problem: a case study in a space robot fault 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
A framework for decentralized qualitative model-based diagnosis
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Modeling when connections are the problem
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Conflict-based diagnosis: adding uncertainty to model-based diagnosis
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Model-based diagnosis using causal networks
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Hierarchical diagnosis guided by observations
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Diagnosing tree-decomposable circuits
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
An incremental algorithm for generating all minimal models
Artificial Intelligence
Knowledge transformation and fusion in diagnostic systems
Artificial Intelligence
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
Solving strong-fault diagnostic models by model relaxation
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Plausible repairs for inconsistent requirements
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Tractable database design and datalog abduction through bounded treewidth
Information Systems
Prime implicates and prime implicants: from propositional to modal logic
Journal of Artificial Intelligence Research
AMRAPALIKA: An expert system for the diagnosis of pests, diseases, and disorders in Indian mango
Knowledge-Based Systems
Study of the diagnosability of automated production systems based on functional graphs
Mathematics and Computers in Simulation
Parameterized algorithms for d-Hitting Set: The weighted case
Theoretical Computer Science
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
Dynamic domain abstraction through meta-diagnosis
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Approximate model-based diagnosis using greedy stochastic search
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Compiling all possible conflicts of a CSP
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Scalable specification mining for verification and diagnosis
Proceedings of the 47th Design Automation Conference
A benchmark diagnostic model generation system
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
AAAI'93 Proceedings of the eleventh national conference on 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
The effect of observations on the complexity of 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
Exploiting count spectra for Bayesian fault localization
Proceedings of the 6th International Conference on Predictive Models in Software Engineering
FlexDx: A reconfigurable diagnosis framework
Engineering Applications of Artificial Intelligence
Diagnosing multiple intermittent failures using maximum likelihood estimation
Artificial Intelligence
Approximate model-based diagnosis using greedy stochastic search
Journal of Artificial Intelligence Research
Employing test suites for verilog fault localization
CAEPIA'09 Proceedings of the Current topics in artificial intelligence, and 13th conference on Spanish association for artificial intelligence
Diagnosing software using statecharts
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
Simultaneous debugging of software faults
Journal of Systems and Software
Maximal-confirmation diagnoses
Knowledge-Based Systems
Bayesian networks for dependability analysis: an application to digital control reliability
UAI'99 Proceedings of the Fifteenth 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
Argument calculus and networks
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
A topological-based method for allocating sensors by using CSP techniques
CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
Diagnosing errors in dbc programs using constraint programming
CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
Model-Based diagnosis through OBDD compilation: a complexity analysis
Reasoning, Action and Interaction in AI Theories and Systems
Substitutional definition of satisfiability in classical propositional logic
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
Parameterized algorithms for HITTING SET: the weighted case
CIAC'06 Proceedings of the 6th Italian conference on Algorithms and Complexity
An efficient diagnosis algorithm for inconsistent constraint sets
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
An integration of FDI and DX techniques for determining the minimal diagnosis in an automatic way
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
ReAction: personalized minimal repair adaptations for customer requests
FQAS'11 Proceedings of the 9th international conference on Flexible Query Answering Systems
Paper: Fundamentals of clinical methodology: 1. Differential indication
Artificial Intelligence in Medicine
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
Multiple representations and multi-modal reasoning in medical diagnostic systems
Artificial Intelligence in Medicine
Fundamentals of clinical methodology
Artificial Intelligence in Medicine
Non-Clausal Reasoning with Definite Theories
Fundamenta Informaticae
Applying semantic web technologies for diagnosing road traffic congestions
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
Personalized diagnoses for inconsistent user requirements
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Combining slicing and constraint solving for better debugging: the CONBAS approach
Advances in Software Engineering
Information and Software Technology
Personalized diagnosis for over-constrained problems
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Fault diagnosis of electric railway traction substation with model-based relation guiding algorithm
Expert Systems with Applications: An International Journal
Bridging control and artificial intelligence theories for diagnosis: A survey
Engineering Applications of Artificial Intelligence
Automated repair of scoring rules in constraint-based recommender systems
AI Communications - Intelligent Engineering Techniques for Knowledge Bases
On classification and modeling issues in distributed model-based diagnosis
AI Communications - Intelligent Engineering Techniques for Knowledge Bases
COMMODITY12: A smart e-health environment for diabetes management
Journal of Ambient Intelligence and Smart Environments - Design and Deployment of Intelligent Environments
On the tractability of minimal model computation for some CNF theories
Artificial Intelligence
Hi-index | 0.00 |