On the public citation graph

Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles

https://doi.org/10.1007/11493853_6
0 signed · 37 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-46002-0_24openalex-snapshot
Synthesizing Monitors for Safety Properties
inferredcites →https://doi.org/10.1007/3-540-63104-6openalex-snapshot
Automated Deduction—CADE-14
inferredcites →https://doi.org/10.1007/3-540-63104-6_28openalex-snapshot
SATO: An efficient propositional prover
inferredcites →https://doi.org/10.1007/978-3-540-24730-2_35openalex-snapshot
A Temporal Logic of Nested Calls and Returns
inferredcites →https://doi.org/10.1007/bfb0017424openalex-snapshot
Principles and practice of constraint programming - CP 97 : Third International Conference, CP 97, Linz, Austria, October 29 - November 1, 1997 : proceedings
inferredcites →https://doi.org/10.1007/bfb0017450openalex-snapshot
Look-ahead versus look-back for satisfiability problems
inferredcites →https://doi.org/10.1007/bfb0027406openalex-snapshot
Tableaux for diagnosis applications
inferredcites →https://doi.org/10.1007/s00453-001-0062-2openalex-snapshot
Computing the Cover Array in Linear Time
inferredcites →https://doi.org/10.1007/s10009-003-0107-8openalex-snapshot
Generating online test oracles from temporal logic specifications
inferredcites →https://doi.org/10.1007/s10472-004-9425-0openalex-snapshot
Efficient Data Structures for Backtrack Search SAT Solvers
inferredcites →https://doi.org/10.1016/0004-3702(80)90011-9openalex-snapshot
Circumscription—A form of non-monotonic reasoning
inferredcites →https://doi.org/10.1016/0004-3702(87)90062-2openalex-snapshot
A theory of diagnosis from first principles
inferredcites →https://doi.org/10.1016/0004-3702(87)90063-4openalex-snapshot
Diagnosing multiple faults
inferredcites →https://doi.org/10.1016/0004-3702(89)90079-9openalex-snapshot
A correction to the algorithm in reiter's theory of diagnosis
inferredcites →https://doi.org/10.1016/b978-044450813-3/50008-4openalex-snapshot
Computing Small Clause Normal Forms
inferredcites →https://doi.org/10.1016/j.artint.2003.06.002openalex-snapshot
Complexity results for explanations in the structural-model approach
inferredcites →https://doi.org/10.1016/s0004-3702(02)00189-3openalex-snapshot
Yet some more complexity results for default logic
inferredcites →https://doi.org/10.1016/s0164-1212(02)00026-2openalex-snapshot
From diagnosis to diagnosability: axiomatization, measurement and application
inferredcites →https://doi.org/10.1016/s1571-0661(04)00253-1openalex-snapshot
Monitoring Java Programs with Java PathExplorer
inferredcites →https://doi.org/10.1109/iccad.2004.1382572openalex-snapshot
Debugging sequential circuits using Boolean satisfiability
inferredcites →https://doi.org/10.1109/mtv.2003.1250264openalex-snapshot
Fault diagnosis and logic debugging using Boolean satisfiability
inferredcites →https://doi.org/10.1109/mtv.2004.7openalex-snapshot
Debugging sequential circuits using Boolean satisfiability
inferredcites →https://doi.org/10.1109/tcad.2005.852031openalex-snapshot
Fault diagnosis and logic debugging using Boolean satisfiability
inferredcites →https://doi.org/10.1145/212094.212126openalex-snapshot
On the role of abduction
inferredcites →https://doi.org/10.1145/368273.368557openalex-snapshot
A machine program for theorem-proving
inferredcites →https://doi.org/10.1145/378239.379017openalex-snapshot
Chaff
inferredcites →https://doi.org/10.5555/832284.835397openalex-snapshot
Multiple Faults: Modeling, Simulation and Test

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/int.22416openalex-snapshot
Model‐based diagnosis with uncertain observations
inferred← citeshttps://doi.org/10.1007/978-3-642-04694-0_11openalex-snapshot
A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis
inferred← citeshttps://doi.org/10.1007/s10009-009-0133-2openalex-snapshot
Don’t care in SMT: building flexible yet efficient abstraction/refinement solvers
inferred← citeshttps://doi.org/10.1007/s10489-018-1214-2openalex-snapshot
A novel approach for improving quality of health state with difference degree in circuit diagnosis
inferred← citeshttps://doi.org/10.1109/aswec.2006.36openalex-snapshot
Model-based runtime analysis of distributed reactive systems
inferred← citeshttps://doi.org/10.1109/date.2007.364411openalex-snapshot
Tool-support for the analysis of hybrid systems and models
inferred← citeshttps://doi.org/10.1609/aaai.v26i1.8222openalex-snapshot
Compiling Model-Based Diagnosis to Boolean Satisfaction
inferred← citeshttps://doi.org/10.1613/jair.4503openalex-snapshot
A Novel SAT-Based Approach to Model Based Diagnosis
inferred← citeshttps://doi.org/10.48550/arxiv.1707.01972openalex-snapshot
Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets
inferred← citeshttps://doi.org/10.48550/arxiv.2104.00987openalex-snapshot
Bayesian Structural Learning for an Improved Diagnosis of Cyber-Physical Systems
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.