On the public citation graph

A prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation

https://doi.org/10.1007/bf01531174
0 signed · 75 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-16780-3_125openalex-snapshot
Causes for events: Their computation and applications
inferredcites →https://doi.org/10.1007/978-3-322-90100-2openalex-snapshot
Automated Theorem Proving
inferredcites →https://doi.org/10.1007/978-3-322-90102-6openalex-snapshot
Automated Theorem Proving
inferredcites →https://doi.org/10.1007/bf00297245openalex-snapshot
A prolog technology theorem prover: Implementation by an extended prolog compiler
inferredcites →https://doi.org/10.1016/0004-3702(76)90021-7openalex-snapshot
Refutation graphs
inferredcites →https://doi.org/10.1016/0004-3702(88)90063-xopenalex-snapshot
Motivation analysis, abductive unification, and nonmonotonic equality
inferredcites →https://doi.org/10.1016/0004-3702(93)90015-4openalex-snapshot
Interpretation as abduction
inferredcites →https://doi.org/10.1145/322248.322249openalex-snapshot
Theorem Proving via General Matings

What points at this work

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

inferred← citeshttps://doi.org/10.1007/3-540-53082-7_26openalex-snapshot
Rationale and methods for abductive reasoning in natural-language interpretation
inferred← citeshttps://doi.org/10.1007/3-540-54507-7_12openalex-snapshot
Extending abduction from propositional to first-order logic
inferred← citeshttps://doi.org/10.1007/978-1-4615-5617-6_5openalex-snapshot
A Flexible Framework for Multimedia Information Retrieval
inferred← citeshttps://doi.org/10.1007/978-3-031-23161-2_300700openalex-snapshot
Knowledge Representation and Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-031-45608-4_4openalex-snapshot
A Logical Framework for User-Feedback Dialogues on Hypotheses in Weighted Abduction
inferred← citeshttps://doi.org/10.1007/978-3-540-30139-4_66openalex-snapshot
Modeling Students’ Reasoning About Qualitative Physics: Heuristics for Abductive Proof Search
inferred← citeshttps://doi.org/10.1007/978-3-540-39879-0_6openalex-snapshot
Abductive Inference in Bayesian Networks: A Review
inferred← citeshttps://doi.org/10.1007/978-3-540-71986-1_5openalex-snapshot
Automated Abduction in Scientific Discovery
inferred← citeshttps://doi.org/10.1007/978-3-642-23783-6_40openalex-snapshot
Abductive Plan Recognition by Extending Bayesian Logic Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-31467-4_2openalex-snapshot
Abductive Reasoning for Continual Dialogue Understanding
inferred← citeshttps://doi.org/10.1007/978-3-642-58146-5_3openalex-snapshot
Metaphor and Abduction
inferred← citeshttps://doi.org/10.1007/978-94-011-3488-0_14openalex-snapshot
PTTP and Linked Inference
inferred← citeshttps://doi.org/10.1007/978-981-15-1420-3_202openalex-snapshot
A Study on Natural Computing: A Review
inferred← citeshttps://doi.org/10.1007/bf00881955openalex-snapshot
Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction
inferred← citeshttps://doi.org/10.1007/bf01099760openalex-snapshot
Using dynamic user models in the recognition of the plans of the user
inferred← citeshttps://doi.org/10.1007/bf01101857openalex-snapshot
Weighted abduction for plan ascription
inferred← citeshttps://doi.org/10.1007/bf03037184openalex-snapshot
Logic programming, abduction and probability
inferred← citeshttps://doi.org/10.1007/bfb0017029openalex-snapshot
Abduction for explanation-based learning
inferred← citeshttps://doi.org/10.1007/s10817-004-4857-0openalex-snapshot
Abductive Theorem Proving for Analyzing Student Explanations to Guide Feedback in Intelligent Tutoring Systems
inferred← citeshttps://doi.org/10.1007/s10994-021-06048-wopenalex-snapshot
Generating contrastive explanations for inductive logic programming based on a near miss approach
inferred← citeshttps://doi.org/10.1007/s11229-008-9361-3openalex-snapshot
Artificial explanations: the epistemological interpretation of explanation in AI
inferred← citeshttps://doi.org/10.1016/0004-3702(93)90015-4openalex-snapshot
Interpretation as abduction
inferred← citeshttps://doi.org/10.1016/0004-3702(94)90028-0openalex-snapshot
Theory refinement combining analytical and empirical methods
inferred← citeshttps://doi.org/10.1016/0004-3702(94)90030-2openalex-snapshot
Cost-based abduction and MAP explanation
inferred← citeshttps://doi.org/10.1016/0004-3702(94)90036-1openalex-snapshot
A linear constraint satisfaction approach to cost-based abduction
inferred← citeshttps://doi.org/10.1016/0169-023x(94)90001-9openalex-snapshot
Explaining incompatibilities in data dictionary design through abduction
inferred← citeshttps://doi.org/10.1016/0304-3975(92)90168-fopenalex-snapshot
A Prolog technology theorem prover: a new exposition and implementation in Prolog
inferred← citeshttps://doi.org/10.1016/0888-613x(93)90027-bopenalex-snapshot
The role of relevance in explanation I: Irrelevance as statistical independence
inferred← citeshttps://doi.org/10.1016/0888-613x(94)00019-yopenalex-snapshot
The role of relevance in explanation II: Disjunctive assignments and approximate independence
inferred← citeshttps://doi.org/10.1016/b978-0-12-398532-3.00003-8openalex-snapshot
Plan Recognition Using Statistical–Relational Models
inferred← citeshttps://doi.org/10.1016/b978-1-4832-1451-1.50029-9openalex-snapshot
Relevant Explanations: Allowing Disjunctive Assignments
inferred← citeshttps://doi.org/10.1016/b978-1-55860-203-8.50048-6openalex-snapshot
On the Generation of Alternative Explanations with Implications for Belief Revision
inferred← citeshttps://doi.org/10.1016/b978-1-55860-932-7.x5083-3openalex-snapshot
Knowledge representation and reasoning
inferred← citeshttps://doi.org/10.1016/b978-155860932-7/50102-3openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/c2012-0-01169-6openalex-snapshot
Plan, Activity, and Intent Recognition: Theory and Practice
inferred← citeshttps://doi.org/10.1016/j.ijar.2025.109382openalex-snapshot
A logical formalisation of a hypothesis in weighted abduction: Towards user-feedback dialogues
inferred← citeshttps://doi.org/10.1016/j.is.2017.11.003openalex-snapshot
Root cause analysis in IT infrastructures using ontologies and abduction in Markov Logic Networks
inferred← citeshttps://doi.org/10.1016/j.procs.2017.08.251openalex-snapshot
Narratology and Creativity
inferred← citeshttps://doi.org/10.1016/s0004-3702(98)00074-5openalex-snapshot
An algorithm for rinding MAPs for belief networks through cost-based abduction
inferred← citeshttps://doi.org/10.1016/s0895-7177(97)00101-5openalex-snapshot
Abductive retrieval of structured documents
inferred← citeshttps://doi.org/10.1016/s1574-6526(07)03001-5openalex-snapshot
Chapter 1 Knowledge Representation and Classical Logic
inferred← citeshttps://doi.org/10.1017/cbo9780511584312.012openalex-snapshot
Isaac Levi on Abduction
inferred← citeshttps://doi.org/10.1080/09528139308953777openalex-snapshot
Modelling cyclicity and generalized cost-based abduction using linear constraint satisfaction
inferred← citeshttps://doi.org/10.1080/0952813x.2015.1132268openalex-snapshot
An integrated system for interactive continuous learning of categorical knowledge
inferred← citeshttps://doi.org/10.1093/oxfordhb/9780199697960.002.0005openalex-snapshot
Dedication
inferred← citeshttps://doi.org/10.1093/oxfordhb/9780199697960.002.0007openalex-snapshot
Preface and Acknowledgements
inferred← citeshttps://doi.org/10.1093/oxfordhb/9780199697960.002.0008openalex-snapshot
List of Symbols and Abbreviations
inferred← citeshttps://doi.org/10.1093/oxfordhb/9780199697960.002.0010openalex-snapshot
Copyright Page
inferred← citeshttps://doi.org/10.1109/4235.996012openalex-snapshot
Partial abductive inference in Bayesian belief networks - an evolutionary computation approach by using problem-specific genetic operators
inferred← citeshttps://doi.org/10.1109/csfw.1991.151578openalex-snapshot
Abductive and approximate reasoning models for characterizing inference channels
inferred← citeshttps://doi.org/10.1109/edoc.2016.7579386openalex-snapshot
Root Cause Analysis through Abduction in Markov Logic Networks
inferred← citeshttps://doi.org/10.1109/roman.2010.5598715openalex-snapshot
Continual processing of situated dialogue in human-robot collaborative activities
inferred← citeshttps://doi.org/10.1109/tai.1991.167108openalex-snapshot
Mechanizing skeptical abduction and its applications to artificial intelligence
inferred← citeshttps://doi.org/10.1109/tai.1993.633994openalex-snapshot
On metatheoretic properties of logic-based abductive inference
inferred← citeshttps://doi.org/10.1111/j.1467-8640.1994.tb00167.xopenalex-snapshot
ABDUCTION and EXPLANATION‐BASED LEARNING: CASE STUDIES IN DIVERSE DOMAINS
inferred← citeshttps://doi.org/10.1515/9783110262018.373openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1609/aaai.v25i1.8018openalex-snapshot
Abductive Markov Logic for Plan Recognition
inferred← citeshttps://doi.org/10.1609/aaai.v33i01.33012768openalex-snapshot
ABox Abduction via Forgetting in ALC
inferred← citeshttps://doi.org/10.20868/upm.thesis.962openalex-snapshot
Diaria : un modelo de multirazonamiento
inferred← citeshttps://doi.org/10.21236/ada258837openalex-snapshot
Robust Processing of Real-World Natural-Language Texts
inferred← citeshttps://doi.org/10.3115/1118121.1118132openalex-snapshot
Discourse processing for explanatory essays in tutorial applications
inferred← citeshttps://doi.org/10.3115/974499.974533openalex-snapshot
Robust processing of real-world natural-language texts
inferred← citeshttps://doi.org/10.48550/arxiv.1511.05719openalex-snapshot
Using Abduction in Markov Logic Networks for Root Cause Analysis
inferred← citeshttps://doi.org/10.48550/arxiv.2009.14795openalex-snapshot
Explaining AI as an Exploratory Process: The Peircean Abduction Model
inferred← citeshttps://doi.org/10.5406/19398298.135.4.01openalex-snapshot
Psychology and AI at a Crossroads: How Might Complex Systems Explain Themselves?
inferred← citeshttps://doi.org/10.5591/978-1-57735-516-8/ijcai11-492openalex-snapshot
Bayesian abductive logic programs: a probabilistic logic for abductive reasoning
inferred← citeshttps://doi.org/10.5715/jnlp.20.629openalex-snapshot
ILP-based Inference for Cost-based Abduction on First-order Predicate Logic
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.