A model-based approach to updating databases with incomplete information
ACM Transactions on Database Systems (TODS)
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
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Synthesizing Robust Data Structures-An Introduction
IEEE Transactions on Computers
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
The implementation of a model-based belief revision system
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Task-structure analysis for knowledge modeling
Communications of the ACM - Special issue on analysis and modeling in software development
On the complexity of propositional knowledge base revision, updates, and counterfactuals
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The complexity of propositional closed world reasoning and circumscription
Journal of Computer and System Sciences
The complexity of logic-based abduction
Journal of the ACM (JACM)
Distinguishing different roles in normative reasoning
Proceedings of the 6th international conference on Artificial intelligence and law
Distributed knowledge revision/integration
CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
Distributed diagnosis by vivid agents
AGENTS '97 Proceedings of the first 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
On theory revision with queries
COLT '99 Proceedings of the twelfth annual conference on Computational learning theory
A framework for comparison of update semantics
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
DISTANCE-SAT: complexity and algorithms
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Fuzzy Temporal/Categorical Information in Diagnosis
Journal of Intelligent Information Systems - Special issue on integrating artificial intelligene and database technologies
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
Operative diagnosis algorithms for single-fault in graph-based systems
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
On a model-based diagnosis for synchronous boolean network
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
The BOID architecture: conflicts between beliefs, obligations, intentions and desires
Proceedings of the fifth international conference on Autonomous agents
Constraints on extensions on a default theory
Journal of Computer Science and Technology
Decomposable negation normal form
Journal of the ACM (JACM)
On the relationship between model-based debugging and program slicing
Artificial Intelligence
New results on monotone dualization and generating hypergraph transversals
STOC '02 Proceedings of the thiry-fourth annual ACM symposium on Theory of computing
An analysis of multi-agent diagnosis
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Declarative problem-solving using the DLV system
Logic-based artificial intelligence
The role of default logic in knowledge representation
Logic-based artificial intelligence
Logic Synthesis and Verification
Diagnosis of discrete-event systems from uncertain temporal observations
Artificial Intelligence
Fixed-parameter complexity in AI and nonmonotonic reasoning
Artificial Intelligence
Representing and reasoning about concurrent actions with abductive logic programs
Annals of Mathematics and Artificial Intelligence
Computing extended abduction through transaction programs
Annals of Mathematics and Artificial Intelligence
Probabilistic Argumentation Systems and Abduction
Annals of Mathematics and Artificial Intelligence
Combining Case-Based and Model-Based Reasoning for the Diagnosis of Complex Devices
Applied Intelligence
A Model-Based Diagnosis System for Identifying Faulty Components in Digital Circuits
Applied Intelligence
Model-Based Diagnosis and Conditional Logic
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
Kima: An Automated Error Correction System for Concurrent Logic Programs
Automated Software Engineering
Constraints
Strategies in Model-based Diagnosis
Journal of Automated Reasoning
Signed Systems for Paraconsistent Reasoning
Journal of Automated Reasoning
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases
Journal of Automated Reasoning
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
Journal of Automated Reasoning
Theory Revision with Queries: DNF Formulas
Machine Learning
About the incremental validation of first-order stratified knowledge-based decision-support systems
Information Sciences—Informatics and Computer Science: An International Journal - Special issue: Intelligent information systems and applications
Yet some more complexity results for default logic
Artificial Intelligence
Inferring from Inconsistency in Preference-Based Argumentation Frameworks
Journal of Automated Reasoning
Autonomous Agents and Multi-Agent Systems
Computational Complexity Issues in Operative Diagnostics of Graph-Based Systems
IEEE Transactions on Computers
IEEE Transactions on Knowledge and Data Engineering
Using Compiled Knowledge to Guide and Focus Abductive Diagnosis
IEEE Transactions on Knowledge and Data Engineering
A Maximum Entropy Approach to Nonmonotonic Reasoning
IEEE Transactions on Pattern Analysis and Machine Intelligence
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
Toward a Competence Theory of Diagnosis
IEEE Expert: Intelligent Systems and Their Applications
Gas-Turbine Condition Monitoring Using Qualitative Model-Based Diagnosis
IEEE Expert: Intelligent Systems and Their Applications
DiKe: a model-based diagnosis kernel and its application
AI Communications - Special issue on KI-2001
Reasoning with cause and effect
AI Magazine
Process algebras for systems diagnosis
Artificial Intelligence
Efficient dualization of O(log n)-term monotone disjunctive normal forms
Discrete Applied Mathematics
An Information-Theoretic Characterization of Abstraction in Diagnosis and Hypothesis Selection
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
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
Modeling Programs with Unstructured Control Flow for Debugging
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
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
Using Design Information to Identify Structural Software Faults
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
A Deduction Method Complete for Refutation and Finite Satisfiability
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Preferred Answer Sets for Ordered Logic Programs
JELIA '02 Proceedings of the European Conference on Logics 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
Diagnosing Physical Systems in A-Prolog
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Handling Inconsistency Efficiently in the Incremental Construction of Statified Belief Bases
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
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
Importance Measures from Reliability Theory for Probabilistic Assumption-Based Reasoning
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
How to Reason Credulously and Skeptically within a Single Extension
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires
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
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
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
On a Model-Based Design Verificationfor Combinatorial Boolean Networks
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
Merge Path Improvements for Minimal Model Hyper Tableaux
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
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
Hierarchical Diagnosis of Large Configurator Knowledge Bases
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Self-Duality of Bounded Monotone Boolean Functions and Related Problems
ALT '00 Proceedings of the 11th International Conference on Algorithmic Learning Theory
Preferred Extensions of Argumentation Frameworks: Query Answering and Computation
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Refinement of Conceptual Graphs
ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
Preprocessing of intractable problems
Information and Computation
Evaluating the effect of semi-normality on the expressiveness of defaults
Artificial Intelligence
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
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
AI Magazine
First-order logic Davis-Putnam-Logemann-Loveland procedure
Exploring artificial intelligence in the new millennium
The computation of hitting sets: review and new algorithms
Information Processing Letters
Overcoming the Christmas Tree Syndrome
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
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
Finding all minimal unsatisfiable subsets
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Model-based fault diagnosis of sequential circuits and its acceleration
EURO-DAC '91 Proceedings of the conference on European design automation
ICDM '03 Proceedings of the Third IEEE International Conference on Data Mining
Compositional verification of knowledge-based task models and problem-solving methods
Knowledge and Information Systems
Diagnosability evaluation of systems using bipartite graph and matrix approach
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A consistency-based approach for belief change
Artificial Intelligence
Computational Linguistics
Consistency-based diagnosis of configuration knowledge bases
Artificial Intelligence
Hybrid argumentation systems for structured news reports
The Knowledge Engineering Review
Symbolic diagnosis and its formalisation
The Knowledge Engineering Review
Belief revision: from theory to practice
The Knowledge Engineering Review
Man bites dog: looking for interesting inconsistencies in structured news reports
Data & Knowledge Engineering
Diagnostic reasoning with A-Prolog
Theory and Practice of Logic Programming
In Memoriam: RAYMOND REITER June 12, 1939 – September 16, 2002
Theory and Practice of Logic Programming
Anticipation-free diagnosis of structural faults
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results
Applied Intelligence
Compiling propositional weighted bases
Artificial Intelligence - Special issue on nonmonotonic reasoning
Explanatory belief ascription: notes and premature formalization
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
A Framework of Fuzzy Diagnosis
IEEE Transactions on Knowledge and Data Engineering
A logical characterization of adaptive educational hypermedia
Hypermedia - Special issue: Adaptive hypermedia in the age of the adaptive web
A modal logic framework for multi-agent belief fusion
ACM Transactions on Computational Logic (TOCL)
About the fusion of legal knowledge with exceptions
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Specifying and reasoning with institutional agents
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Complexity of propositional nested circumscription and nested abnormality theories
ACM Transactions on Computational Logic (TOCL)
Knowledge transformation and fusion in diagnostic systems
Artificial Intelligence
Agent oriented approach to handling medical data
Journal of Medical Systems - Special issue: Computer-based medical systems
Diagnostic process from the data quality point of view
Journal of Medical Systems - Special issue: Computer-based medical systems
Diagnosis of single and multi-agent plans
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 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
Temporal reasoning for decision support in medicine
Artificial Intelligence in Medicine
Fault localization based on abstract dependencies
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
Consequence finding and computing answers with defaults
Journal of Intelligent Information Systems
Model-based debugging with high-level observations
Intelligent information processing II
Diagnosing Java programs with static abstractions of data structures
Intelligent information processing II
Parameterized enumeration, transversals, and imperfect phylogeny reconstruction
Theoretical Computer Science - Parameterized and exact computation
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)
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
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
Automated analysis of feature models: challenges ahead
Communications of the ACM - Software product line
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
DisLoP: a research project on Disjunctive Logic Programming
AI Communications
A survey of intelligent debugging
AI Communications
AI Communications
The Diagnosis Frontend of the dlv system
AI Communications
Model-based diagnosis for open systems fault management
AI Communications
A constraint solver for model-based engineering
AI Communications
International Journal of Knowledge-based and Intelligent Engineering Systems
Model-Based Debugging -- State of the Art And Future Challenges
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated Fault Localization for C Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
On-line alert systems for production plants: A conflict based approach
International Journal of Approximate Reasoning
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
An Integrated Environment for the Development of Knowledge-Based Recommender Applications
International Journal of Electronic Commerce
Debugging Incoherent Terminologies
Journal of Automated Reasoning
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
An automated approach to monitoring and diagnosing requirements
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
Diagnosis of plan step errors and plan structure violations
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
Artificial Intelligence
Reducing development and maintenance efforts for web-based recommender applications
International Journal of Web Engineering and Technology
Automated error analysis for the agilization of feature modeling
Journal of Systems and Software
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
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
Using unsatisfiable cores to debug multiple design errors
Proceedings of the 18th ACM Great Lakes symposium on VLSI
Computing minimum cost diagnoses to repair populated DL-based ontologies
Proceedings of the 17th international conference on World Wide Web
Proceedings of the 13th international conference on Intelligent user interfaces
Predicting causality ascriptions from background knowledge: model and experimental validation
International Journal of Approximate Reasoning
Self-duality of bounded monotone boolean functions and related problems
Discrete Applied Mathematics
Computational aspects of monotone dualization: A brief survey
Discrete Applied Mathematics
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)
Constraint-based recommender systems: technologies and research issues
Proceedings of the 10th international conference on Electronic commerce
Assessment personalization in the Semantic Web
Journal of Computational Methods in Sciences and Engineering - Intelligent Systems and Knowledge Management
Axiom Pinpointing in General Tableaux
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Diagnosis of Plan Structure Violations
MATES '07 Proceedings of the 5th German conference on Multiagent System Technologies
Model-Based Diagnosability Analysis for Web Services
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Stacking Dynamic Time Warping for the Diagnosis of Dynamic Systems
Current Topics in Artificial Intelligence
Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Learning Disjointness for Debugging Mappings between Lightweight Ontologies
EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
Constraint-based Modeling and Ambiguity
International Journal of Artificial Intelligence in Education
Implications of psychological phenomenons for recommender systems
Proceedings of the 2008 ACM conference on Recommender systems
Developing a labelled object-relational constraint database architecture for the projection operator
Data & Knowledge Engineering
Enhancing Plan Execution in Dynamic Domains Using Model-Based Reasoning
ICIRA '08 Proceedings of the First International Conference on Intelligent Robotics and Applications: Part I
Runtime Verification
A Kernel Revision Operator for Terminologies -- Algorithms and Evaluation
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Towards Automated Online Diagnosis of Robot Navigation Software
SIMPAR '08 Proceedings of the 1st International Conference on Simulation, Modeling, and Programming for Autonomous Robots
A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Distributed Consistency-Based Diagnosis
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Using the Dempster-Shafer Theory of Evidence to Resolve ABox Inconsistencies
Uncertainty Reasoning for the Semantic Web I
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
Goals in conflict: semantic foundations of goals in agent programming
Autonomous Agents and Multi-Agent Systems
Autonomic Computing Now You See It, Now You Don't
Software Engineering
Models and methods for plan diagnosis
Autonomous Agents and Multi-Agent Systems
Monitoring and diagnosing software requirements
Automated Software Engineering
Relaxed maximum a posteriori fault identification
Signal Processing
Engineering Applications of Artificial Intelligence
Refining spectrum-based fault localization rankings
Proceedings of the 2009 ACM symposium on Applied Computing
Incremental state based diagnosis
Advanced Engineering Informatics
TAMC '09 Proceedings of the 6th Annual Conference on Theory and Applications of Models of Computation
RaDON -- Repair and Diagnosis in Ontology Networks
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Spatial Multiagent Student Diagnosis
Proceedings of the 2005 conference on Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences: Sharing Good Practices of Research, Experimentation and Innovation
The improvement of data quality --a conceptual model
Proceedings of the 2008 conference on Information Modelling and Knowledge Bases XIX
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
A Computational Model of Argumentation in Everyday Conversation: A Problem-Centred Approach
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
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
Approximating Extended Answer Sets
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Knowledge-Based Recommendation: Technologies and Experiences from Projects
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Better Debugging through More Abstract Observations
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
An Empirical Analysis of the Complexity of Model-Based Diagnosis
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Generating Diagnoses from Conflict Sets with Continuous Attributes
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
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
Test Generation for Model-Based Diagnosis
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Intelligent adaptive monitoring for cardiac surveillance
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
From constraint representations of sequential code and program annotations to their use in debugging
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
Automated debugging of recommender user interface descriptions
Applied 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
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
Finding maximally satisfiable terminologies for the description logic ALC
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
ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Explaining Inconsistencies in OWL Ontologies
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Towards model-based diagnosis of coordination failures
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Diagnosis of discrete-event systems using satisfiability algorithms
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
A meta-programming technique for debugging answer-set programs
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
A formalization of program debugging in the situation calculus
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Knowledge-based interactive selling of financial services with FSAdvisor
IAAI'05 Proceedings of the 17th conference on Innovative applications of artificial intelligence - Volume 3
The VITA financial services sales support environment
IAAI'07 Proceedings of the 19th national conference on Innovative applications of artificial intelligence - Volume 2
Computing minimal diagnoses by greedy stochastic search
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Propositional independence: formula-variable independence and forgetting
Journal of Artificial Intelligence Research
Using qualitative hypotheses to identify inaccurate data
Journal of Artificial Intelligence Research
Translating between Horn representations and their characteristic models
Journal of Artificial Intelligence Research
OPUS: an efficient admissible algorithm for unordered search
Journal of Artificial Intelligence Research
Model-based diagnosis using structured system descriptions
Journal of Artificial Intelligence Research
Sometimes updates are circumscription
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A knowledge-level account of abduction
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
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
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
A tractable class of abduction problems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
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
Diagnosing and solving over-determined constraint satisfaction problems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
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
Operator component matrix model for IMP program diagnosis
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
Abstract interpretation of programs for model-based debugging
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Automated benchmark model generators for model-based diagnostic inference
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
Towards efficient default reasoning
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Non-standard reasoning services for the debugging of description logic terminologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Coupling CSP decomposition methods and diagnosis algorithms for tree-structured systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Prioritized defaults: implementation by TMS and application to diagnosis
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Integrating model-based monitoring and diagnosis of complex dynamic systems
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Representing diagnostic knowledge for probabilistic Horn abduction
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Personalized query relaxations and repairs in knowledge-based recommendation
Proceedings of the third ACM conference on Recommender systems
Modularity aspects of disjunctive stable models
Journal of Artificial Intelligence Research
Equivalence in abductive logic
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Corrective explanation for interactive constraint satisfaction
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Detecting and locating faults in the control software of autonomous mobile robots
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Evaluating Models for Model-Based Debugging
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Cancelling and overshadowing two types of defeasibility in defeasible deontic logic
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
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
Diagnosing tree-decomposable circuits
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Knowledge transformation and fusion in diagnostic systems
Artificial Intelligence
Modelling diagnostic skills in the domain of skeletal dysplasias
Computer Methods and Programs in Biomedicine
Supervised learning algorithm for automatic adaption of situation templates using uncertain data
Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human
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
Fast computation of query relaxations for knowledge-based recommenders
AI Communications
Algorithms and application in decision-making for the finest splitting of a set of formulae
Knowledge-Based Systems
A query-based approach for test selection in diagnosis
Artificial Intelligence Review
Design Problems, Frames and Innovative Solutions
Proceedings of the 2009 conference on Design Problems, Frames and Innovative Solutions
A layered approach to automated electrical safety analysis in automotive environments
Computers in Industry
An Efficient Method for Computing Alignment Diagnoses
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
ISWC '09 Proceedings of the 8th International Semantic Web Conference
A Conflict-Based Operator for Mapping Revision
ISWC '09 Proceedings of the 8th International Semantic Web Conference
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
A Relevance-Directed Algorithm for Finding Justifications of DL Entailments
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Using propositional logic to compute probabilities in multistate systems
International Journal of Approximate Reasoning
Personalized user interfaces for product configuration
Proceedings of the 15th international conference on Intelligent user interfaces
International Journal of Applied Mathematics and Computer Science - Issues in Fault Diagnosis and Fault Tolerant Control
Diagnosis and semi-automatic correction of detected design inconsistencies in source code
IWST '09 Proceedings of the International Workshop on Smalltalk Technologies
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
Techniques for fast query relaxation in content-based recommender systems
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Debugging ASP programs by means of ASP
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
An algorithm for diagnosing system with structured description
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartII
Automatic fault localization for property checking
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Probabilistic modeling of alarm observation delay in network diagnosis
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
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
Approximate model-based diagnosis using greedy stochastic search
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Evidential reasoning for the treatment of incoherent terminologies
Proceedings of the 2010 ACM Symposium on Applied Computing
Integrating formal methods with system management
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
A linear transformation from prioritized circumscription to disjunctive logic programming
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Scalable cleanup of information extraction data using ontologies
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Finding all justifications of OWL DL entailments
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Automated analysis of feature models 20 years later: A literature review
Information Systems
A fine-grained approach to resolving unsatisfiable ontologies
Journal on data semantics X
Computing minimal diagnosis with binary decision diagrams algorithm
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 1
Automated diagnosis of feature model configurations
Journal of Systems and Software
Recommendation and decision technologies for requirements engineering
Proceedings of the 2nd International Workshop on Recommendation Systems for Software Engineering
On the measure of conflicts: Shapley Inconsistency Values
Artificial Intelligence
Model correspondence as a basis for schema domination
Knowledge-Based Systems
Automata-Based Axiom Pinpointing
Journal of Automated Reasoning
A causal discovery algorithm using multiple regressions
Pattern Recognition Letters
Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Diagnosing Process Trajectories Under Partially Known Behavior
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Efficient Explanations for Inconsistent Constraint Sets
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
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
A benchmark diagnostic model generation system
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Qualitative multiple-fault diagnosis of continuous dynamic systems using behavioral modes
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Noise and the common sense informatic situation for a mobile robot
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
On the role of coherence in abductive explanation
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Abductive and default reasoning: a computational core
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
The complexity of closed world reasoning and circumscription
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
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
A new admissible heuristic for minimal-cost proofs
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
Abduction as belief revision: a model of preferred explanations
AAAI'93 Proceedings of the eleventh national conference on 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
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
ICIC'10 Proceedings of the Advanced intelligent computing theories and applications, and 6th international conference on Intelligent computing
Computing minimal models by positively minimal disjuncts
JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
Decomposition-based optimization for debugging of inconsistent OWL DL ontologies
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Knowledge merging under multiple attributes
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Does testing help to reduce the number of potentially faulty statements in debugging?
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Model driven engineering with ontology technologies
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Extending Removed Sets Revision to partially preordered belief bases
International Journal of Approximate Reasoning
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
CAEPIA'09 Proceedings of the Current topics in artificial intelligence, and 13th conference on Spanish association for artificial intelligence
Query-based access control for ontologies
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Diagnosing software using statecharts
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
The consistency of the CADIAG-2 knowledge base: a probabilistic approach
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
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
Dynamic theorem proving algorithm for consistency-based diagnosis
Expert Systems with Applications: An International Journal
FastXplain: conflict detection for constraint-based recommendation problems
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part I
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
Maximal-confirmation diagnoses
Knowledge-Based Systems
Measuring and repairing inconsistency in probabilistic knowledge bases
International Journal of Approximate Reasoning
A model-based reasoning approach to system fault diagnosis
ICS'06 Proceedings of the 10th WSEAS international conference on Systems
Exception handling in web service processes
The evolution of conceptual modeling
Debugging unrealizable specifications with model-based diagnosis
HVC'10 Proceedings of the 6th international conference on Hardware and software: verification and testing
Diagnosing and correcting design inconsistencies in source code with logical abduction
Science of Computer Programming
A hybrid approach to operating system discovery based on diagnosis
International Journal of Network Management
Model-based cognitive diagnosis of students' test performance in an e-learning environment
ICWL'10 Proceedings of the 2010 international conference on New horizons in web-based learning
Elimination of redundancy in ontologies
ESWC'11 Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I
A Syntax-based approach to measuring the degree of inconsistency for belief bases
International Journal of Approximate Reasoning
Using provenance to debug changing ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
A hybrid method for probabilistic satisfiability
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Detecting and repairing anomalous evolutions in noisy environments
Annals of Mathematics and Artificial Intelligence
Root justifications for ontology repair
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
A Tableau Calculus for Minimal Modal Model Generation
Electronic Notes in Theoretical Computer Science (ENTCS)
An Agent-Based Architecture for Model-Based Diagnosis Using Observation Cost
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
The justificatory structure of the NCBO bioportal ontologies
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
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
Exploiting the rule structure for decision making within the independent choice logic
UAI'95 Proceedings of the Eleventh 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
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
Modeling uncertain temporal evolutions in model-based diagnosis
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
Dynamic Bayesian network factors from possible conflicts for continuous system diagnosis
CAEPIA'11 Proceedings of the 14th international conference on Advances in artificial intelligence: spanish association for artificial intelligence
Methodological Review: A review of causal inference for biomedical informatics
Journal of Biomedical Informatics
A general diagnosis method for ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
A framework for handling inconsistency in changing ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
CIRC2DLP: translating circumscription into disjunctive logic programming
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Diagnosis of plan execution and the executing agent
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
Using AI techniques for fault localization in component-oriented software systems
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
Fault tolerant web service orchestration by means of diagnosis
EWSA'06 Proceedings of the Third European conference on Software Architecture
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
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Repairing unsatisfiable concepts in OWL ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Efficient query processing with compiled knowledge bases
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
An object store model for diagnosing java programs
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Journal of Computer and System Sciences
Retaining consistency in temporal knowledge bases
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Diagnosing program errors with light-weighted specifications
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
Conflict-directed relaxation of constraints in content-based recommender systems
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Diagnosing faulty transitions in recommender user interface descriptions
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
Enumerating minimal explanations by minimal hitting set computation
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
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
Querying a polynomial object-relational constraint database in model-based diagnosis
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
A model-based monitoring and diagnosis system for a space-based astrometry mission
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
Debugging and semantic clarification by pinpointing
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Parameterized algorithms for HITTING SET: the weighted case
CIAC'06 Proceedings of the 6th Italian conference on Algorithms and Complexity
On the complexity of paraconsistent inference relations
Inconsistency Tolerance
Approaches to measuring inconsistent information
Inconsistency Tolerance
An efficient diagnosis algorithm for inconsistent constraint sets
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Web Semantics: Science, Services and Agents on the World Wide Web
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
Personalization for the semantic web
Proceedings of the First international conference on Reasoning Web
Knowledge-based integrative framework for hypothesis formation in biochemical networks
DILS'05 Proceedings of the Second international conference on Data Integration in the Life Sciences
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
Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Context-dependent views to axioms and consequences of Semantic Web ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Interactive ontology debugging: Two query strategies for efficient fault localization
Web Semantics: Science, Services and Agents on the World Wide Web
Diagnosis of multi-agent plan execution
MATES'06 Proceedings of the 4th German conference on Multiagent System Technologies
Debugging is-a structure in networked taxonomies
Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences
ReAction: personalized minimal repair adaptations for customer requests
FQAS'11 Proceedings of the 9th international conference on Flexible Query Answering Systems
Fundamentals of debugging using a resolution calculus
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
An approach to generating proposals for handling inconsistent software requirements
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
On the co-operation between abductive and temporal reasoning in medical diagnosis
Artificial Intelligence in Medicine
Background knowledge in diagnosis
Artificial Intelligence in Medicine
Flexible reasoning about patient management using multiple models
Artificial Intelligence in Medicine
Paper: Fundamentals of clinical methodology: 1. Differential indication
Artificial Intelligence in Medicine
Physiological applications of consistency-based diagnosis
Artificial Intelligence in Medicine
Parameterized approximation algorithms for hitting set
WAOA'11 Proceedings of the 9th international conference on Approximation and Online Algorithms
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
Computing minimum-cardinality diagnoses by model relaxation
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Fundamentals of clinical methodology
Artificial Intelligence in Medicine
Generating range fixes for software configuration
Proceedings of the 34th International Conference on Software Engineering
Improvements to core-guided binary search for MaxSAT
SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
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
An efficient approach to debugging ontologies based on patterns
JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
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
ABox abduction in ALC using a DL tableau
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
Formal approaches to rule-based systems in medicine: The case of CADIAG-2
International Journal of Approximate Reasoning
From inconsistency handling to non-canonical requirements management: A logical perspective
International Journal of Approximate Reasoning
Extracting justifications from bioportal ontologies
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
A framework for empirical evaluation of belief change operators
SBIA'12 Proceedings of the 21st Brazilian conference on Advances in Artificial Intelligence
Compiling finite domain constraints to sat with bee*
Theory and Practice of Logic Programming
Personalized diagnoses for inconsistent user requirements
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Resolving anomalies in configuration knowledge bases
ISMIS'12 Proceedings of the 20th international conference on Foundations of Intelligent Systems
Application of model-based diagnosis to multi-agent systems representing public administration
AICOL'11 Proceedings of the 25th IVR Congress conference on AI Approaches to the Complexity of Legal Systems: models and ethical challenges for legal systems, legal language and legal ontologies, argumentation and software agents
On the empirical evaluation of fault localization techniques for spreadsheets
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
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
A game-theoretic approach to fault diagnosis and identification of hybrid systems
Theoretical Computer Science
Measuring inconsistency through minimal proofs
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Quantified maximum satisfiability: a core-guided approach
SAT'13 Proceedings of the 16th international conference on Theory and Applications of Satisfiability Testing
Minimal sets over monotone predicates in boolean formulae
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
HVC'12 Proceedings of the 8th international conference on Hardware and Software: verification and testing
Coverage-based trace signal selection for fault localisation in post-silicon validation
HVC'12 Proceedings of the 8th international conference on Hardware and Software: verification and testing
FoREnSiC: an automatic debugging environment for C programs
HVC'12 Proceedings of the 8th international conference on Hardware and Software: verification and testing
RIO: minimizing user interaction in ontology debugging
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
On computing minimal correction subsets
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
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
Multi-agent epistemic explanatory diagnosis via reasoning about actions
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
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
Software and Systems Modeling (SoSyM)
Query answering under probabilistic uncertainty in Datalog+ / - ontologies
Annals of Mathematics and Artificial Intelligence
Horn clause contraction functions
Journal of Artificial Intelligence Research
Reasoning on partially-ordered observations in online diagnosis of DESs
AI Communications
Automated repair of scoring rules in constraint-based recommender systems
AI Communications - Intelligent Engineering Techniques for Knowledge Bases
Maintaining consistency in a robot's knowledge-base via diagnostic reasoning
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
An event-based distributed diagnosis framework using structural model decomposition
Artificial Intelligence
| Hi-index | 0.02 |