Explaining by evidence

DOI10.1080/095281300146326zbMath1019.68103OpenAlexW2062836341MaRDI QIDQ4779486

Eliezer L. Lozinskii

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

zbMATH Keywords

abductionreasoning by evidence

Mathematics Subject Classification ID

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