On the relationship between model-based debugging and program slicing
Artificial Intelligence
Representing and reasoning about concurrent actions with abductive logic programs
Annals of Mathematics and Artificial Intelligence
A Model-Based Diagnosis System for Identifying Faulty Components in Digital Circuits
Applied Intelligence
Debugging Hardware Designs Using a Value-Based Model
Applied Intelligence
Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks
Applied Intelligence
Computational Complexity Issues in Operative Diagnostics of Graph-Based Systems
IEEE Transactions on Computers
Model-Based, Multiple-Fault Diagnosis of Dynamic, Continuous Physical Devices
IEEE Expert: Intelligent Systems and Their Applications
Diamon: A Model-Based Troubleshooter Based on Qualitative Reasoning
IEEE Expert: Intelligent Systems and Their Applications
DiKe: a model-based diagnosis kernel and its application
AI Communications - Special issue on KI-2001
Spatial Information Revision: A Comparison between 3 Approaches
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Intelligent Support for Interactive Configuration of Mass-Customized Products
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
DiKe - A Model-Based Diagnosis Kernel and Its Application
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Hierarchical Diagnosis of Large Configurator Knowledge Bases
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
The computation of hitting sets: review and new algorithms
Information Processing Letters
Consistency-based diagnosis of configuration knowledge bases
Artificial Intelligence
Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results
Applied Intelligence
Managing inconsistent repositories via prioritized repairs
Proceedings of the 2004 ACM symposium on Document engineering
Debugging user interface descriptions of knowledge-based recommender applications
Proceedings of the 11th international conference on Intelligent user interfaces
Debugging VHDL designs using temporal process instances
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
AI Communications
Model-Based Debugging -- State of the Art And Future Challenges
Electronic Notes in Theoretical Computer Science (ENTCS)
Debugging Incoherent Terminologies
Journal of Automated Reasoning
Computational aspects of monotone dualization: A brief survey
Discrete Applied Mathematics
Generating Diagnoses from Conflict Sets with Continuous Attributes
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Automated debugging of recommender user interface descriptions
Applied Intelligence
Utility-Based Repair of Inconsistent Requirements
IEA/AIE '09 Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: Next-Generation Applied 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
A causal analysis method for concurrent hybrid automata
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Integrating model-based monitoring and diagnosis of complex dynamic systems
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Diagnosing multiple intermittent failures using maximum likelihood estimation
Artificial Intelligence
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
A general diagnosis method for ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
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
Automated error localization and correction for imperative programs
Proceedings of the International Conference on Formal Methods in Computer-Aided Design
Fundamentals of debugging using a resolution calculus
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Generating range fixes for software configuration
Proceedings of the 34th International Conference on Software Engineering
AI for the win: improving spectrum-based fault localization
ACM SIGSOFT Software Engineering Notes
Deciding monotone duality and identifying frequent itemsets in quadratic logspace
Proceedings of the 32nd symposium on Principles of database systems
Combining slicing and constraint solving for better debugging: the CONBAS approach
Advances in Software Engineering
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
On classification and modeling issues in distributed model-based diagnosis
AI Communications - Intelligent Engineering Techniques for Knowledge Bases
Hi-index | 0.00 |