Explaining by evidence
From MaRDI portal
Publication:4779486
DOI10.1080/095281300146326zbMath1019.68103OpenAlexW2062836341MaRDI QIDQ4779486
Publication date: 27 November 2002
Published in: Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/095281300146326
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A Mathematical Theory of Communication
- The complexity of computing the permanent
- Number of models and satisfiability of sets of clauses
- Average time analyses of simplified Davis-Putnam procedures
- Probabilistic logic
- Planning for conjunctive goals
- Diagnosing multiple faults
- A theory of diagnosis from first principles
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- Approximate inclusion-exclusion
- Counting propositional models
- Cost-based abduction and MAP explanation
- Explanatory diagnoses and their characterization by circumscription
- Further contributions to characterizing diagnosis
- Counting the number of solutions for instances of satisfiability
- Information Theory and Statistical Mechanics
- The Pure Literal Rule and Polynomial Average Time
- A Probabilistic Causal Model for Diagnostic Problem Solving Part I: Integrating Symbolic Causal Inference with Numeric Probabilistic Inference
- An algorithm for region filling using two-dimensional grammars
- Algorithms for testing the satisfiability of propositional formulae
- CNF-Satisfiability Test by Counting and Polynomial Average Time
- A simple test improves checking satisfiability
- Information and evidence in logic systems
- Is there an alternative to parsimonious semantics?
- Upper and Lower Probabilities Induced by a Multivalued Mapping
- A Computing Procedure for Quantification Theory
This page was built for publication: Explaining by evidence