Pages that link to "Item:Q1102126"
From MaRDI portal
The following pages link to A theory of diagnosis from first principles (Q1102126):
Displayed 50 items.
- Fast, flexible MUS enumeration (Q272009) (← links)
- Quantified maximum satisfiability (Q272016) (← links)
- Data repair of inconsistent nonmonotonic description logic programs (Q322065) (← links)
- Discussion on ``Decentralized fault free model approach for fault detection and isolation of discrete event systems'' (Q386095) (← links)
- A game-theoretic approach to fault diagnosis and identification of hybrid systems (Q391104) (← links)
- Finding and fixing faults (Q414907) (← links)
- Automated debugging based on a constraint model of the program and a test case (Q444487) (← links)
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases (Q459042) (← links)
- Finding explanations of inconsistency in multi-context systems (Q460632) (← links)
- Towards optimal and expressive kernelization for \(d\)-hitting set (Q486984) (← links)
- An event-based distributed diagnosis framework using structural model decomposition (Q490646) (← links)
- Enhancing unsatisfiable cores for LTL with information on temporal relevance (Q507378) (← links)
- Fault isolability with different forms of the faults-symptoms relation (Q511381) (← links)
- Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases (Q513332) (← links)
- AGM 25 years. Twenty-five years of research in belief change (Q535321) (← links)
- Preference reasoning with soft constraints in constraint-based recommender systems (Q606917) (← links)
- On the measure of conflicts: Shapley inconsistency values (Q622103) (← links)
- Extending Removed Sets Revision to partially preordered belief bases (Q622290) (← links)
- Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results (Q645074) (← links)
- Measuring and repairing inconsistency in probabilistic knowledge bases (Q648360) (← links)
- A syntax-based approach to measuring the degree of inconsistency for belief bases (Q648367) (← links)
- Linearity and regularity with negation normal form (Q703486) (← links)
- Automata-based axiom pinpointing (Q707741) (← links)
- Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques (Q805270) (← links)
- Evaluating the effect of semi-normality on the expressiveness of defaults (Q814438) (← links)
- A consistency-based approach for belief change (Q814523) (← links)
- Consistency-based diagnosis of configuration knowledge bases (Q814544) (← links)
- Compiling propositional weighted bases (Q814606) (← links)
- Parameterized enumeration, transversals, and imperfect phylogeny reconstruction (Q820146) (← links)
- Explaining safety violations in real-time systems (Q832041) (← links)
- Counting minimal unsatisfiable subsets (Q832272) (← links)
- A top-down approach to search-trees: Improved algorithmics for 3-hitting set (Q848640) (← links)
- Some computational aspects of DISTANCE SAT (Q877840) (← links)
- Efficient query processing with reduced implicate tries (Q877893) (← links)
- Responsibility for inconsistency (Q891774) (← links)
- Possibilistic reasoning with partially ordered beliefs (Q893599) (← links)
- Revision in networks of ontologies (Q896437) (← links)
- Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation (Q899162) (← links)
- Reformulating table constraints using functional dependencies-an application to explanation generation (Q941813) (← links)
- Computational aspects of monotone dualization: a brief survey (Q943839) (← links)
- Self-duality of bounded monotone Boolean functions and related problems (Q944707) (← links)
- Parameterized algorithms for \(d\)-hitting set: the weighted case (Q964386) (← links)
- Conditional entailment: bridging two approaches to default reasoning. (Q989161) (← links)
- Abduction versus closure in causal theories. (Q989166) (← links)
- On-line alert systems for production plants: A conflict based approach (Q997048) (← links)
- The computation of hitting sets: Review and new algorithms (Q1007596) (← links)
- Sensor placement for fault isolation in linear differential-algebraic systems (Q1012733) (← links)
- Relaxed maximum a posteriori fault identification (Q1016851) (← links)
- On the design of coordination diagnosis algorithms for teams of situated agents (Q1028936) (← links)
- Distributed revision of composite beliefs (Q1096412) (← links)