On the public citation graph

Logic programming, abduction and probability

https://doi.org/10.1007/bf03037184
0 signed · 111 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-16492-8_77openalex-snapshot
Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning
inferredcites →https://doi.org/10.1007/978-1-4612-4792-0_13openalex-snapshot
Theorist: A Logical Reasoning System for Defaults and Diagnosis
inferredcites →https://doi.org/10.1007/978-1-4684-3384-5_11openalex-snapshot
Negation as Failure
inferredcites →https://doi.org/10.1007/978-3-642-83189-8openalex-snapshot
Foundations of Logic Programming
inferredcites →https://doi.org/10.1007/bf01531174openalex-snapshot
A prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation
inferredcites →https://doi.org/10.1007/bf03037149openalex-snapshot
Compiling a default reasoning system into Prolog
inferredcites →https://doi.org/10.1007/bf03037168openalex-snapshot
Acyclic programs
inferredcites →https://doi.org/10.1007/bf03037324openalex-snapshot
The occur-check problem in Prolog
inferredcites →https://doi.org/10.1016/0004-3702(85)90084-0openalex-snapshot
Depth-first iterative-deepening
inferredcites →https://doi.org/10.1016/0004-3702(88)90077-xopenalex-snapshot
A logical framework for default reasoning
inferredcites →https://doi.org/10.1016/0004-3702(92)90030-2openalex-snapshot
Linear resolution for consequence finding
inferredcites →https://doi.org/10.1016/0004-3702(93)90061-fopenalex-snapshot
Probabilistic Horn abduction and Bayesian networks
inferredcites →https://doi.org/10.1016/b978-1-55860-203-8.50039-5openalex-snapshot
Representing Bayesian Networks within Probabilistic Horn Abduction
inferredcites →https://doi.org/10.1093/logcom/1.5.661openalex-snapshot
On the Relationship Between Abduction and Deduction
inferredcites →https://doi.org/10.1109/mex.1987.4307074openalex-snapshot
The Art of Prolog
inferredcites →https://doi.org/10.1111/j.1467-8640.1991.tb00331.xopenalex-snapshot
Using crucial literals to select better theories
inferredcites →https://doi.org/10.1117/12.169384openalex-snapshot
Real-time value-driven diagnosis

What points at this work

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

inferred← citeshttps://doi.org/10.1002/(sici)1097-4571(2000)51:2<95::aid-asi2>3.0.co;2-hopenalex-snapshot
Probabilistic datalog: Implementing logical information retrieval for advanced applications
inferred← citeshttps://doi.org/10.1007/3-540-36596-6_5openalex-snapshot
Soft Constraints and Heuristic Constraint Correction in Entity-Relationship Modelling
inferred← citeshttps://doi.org/10.1007/3-540-44450-5_18openalex-snapshot
Dynamically Ordered Probabilistic Choice Logic Programming
inferred← citeshttps://doi.org/10.1007/3-540-44957-4_5openalex-snapshot
Logic, Knowledge Representation, and Bayesian Decision Theory
inferred← citeshttps://doi.org/10.1007/3-540-45628-7_16openalex-snapshot
Abduction in Logic Programming
inferred← citeshttps://doi.org/10.1007/3-540-48199-0_13openalex-snapshot
Part of Speech Tagging from a Logical Point of View
inferred← citeshttps://doi.org/10.1007/3-540-63576-9_113openalex-snapshot
A comparative analysis of Horn models and Bayesian Networks for diagnosis
inferred← citeshttps://doi.org/10.1007/3-540-64413-x_41openalex-snapshot
Probabilistic diagnosis as an update problem
inferred← citeshttps://doi.org/10.1007/978-1-4419-7738-0_10openalex-snapshot
Probabilistic Inductive Querying Using ProbLog
inferred← citeshttps://doi.org/10.1007/978-1-4615-5617-6_9openalex-snapshot
Information Retrieval with Probabilistic Datalog
inferred← citeshttps://doi.org/10.1007/978-1-84800-076-6_3openalex-snapshot
Ontology-Based Reasoning Techniques for Multimedia Interpretation and Retrieval
inferred← citeshttps://doi.org/10.1007/978-3-030-77091-4_2openalex-snapshot
Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming
inferred← citeshttps://doi.org/10.1007/978-3-030-99461-7_11openalex-snapshot
A Functional Account of Probabilistic Programming with Possible Worlds
inferred← citeshttps://doi.org/10.1007/978-3-031-80607-0_25openalex-snapshot
Probabilistic Traces in Declarative Process Mining
inferred← citeshttps://doi.org/10.1007/978-3-319-11206-0_16openalex-snapshot
Towards a New Semantics for Possibilistic Answer Sets
inferred← citeshttps://doi.org/10.1007/978-3-319-23708-4_10openalex-snapshot
The Most Probable Explanation for Probabilistic Logic Programs with Annotated Disjunctions
inferred← citeshttps://doi.org/10.1007/978-3-319-23781-7_4openalex-snapshot
Repairing Errors in PRISM Programs Using Probabilistic Abduction Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-319-69456-6_1openalex-snapshot
Inference and Learning in Probabilistic Argumentation
inferred← citeshttps://doi.org/10.1007/978-3-540-74565-5_6openalex-snapshot
Location-Based Activity Recognition
inferred← citeshttps://doi.org/10.1007/978-3-540-78652-8_8openalex-snapshot
The Independent Choice Logic and Beyond
inferred← citeshttps://doi.org/10.1007/978-3-540-87479-9_49openalex-snapshot
Parameter Learning in Probabilistic Databases: A Least Squares Approach
inferred← citeshttps://doi.org/10.1007/978-3-540-89982-2_22openalex-snapshot
On the Efficient Execution of ProbLog Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-92243-8_5openalex-snapshot
Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
inferred← citeshttps://doi.org/10.1007/978-3-642-02261-6_14openalex-snapshot
Abductive Logic Grammars
inferred← citeshttps://doi.org/10.1007/978-3-642-20895-9_1openalex-snapshot
Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI
inferred← citeshttps://doi.org/10.1007/978-3-642-23580-1_7openalex-snapshot
Conjunctive Query Answering in Probabilistic Datalog+/– Ontologies
inferred← citeshttps://doi.org/10.1007/978-3-642-31951-8_10openalex-snapshot
Learning the Structure of Probabilistic Logic Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-33353-8_22openalex-snapshot
Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference
inferred← citeshttps://doi.org/10.1007/978-3-642-60730-1_8openalex-snapshot
Probabilistic Reasoning for Large Scale Databases
inferred← citeshttps://doi.org/10.1007/978-3-7908-1792-8_19openalex-snapshot
Logical Argumentation, Abduction and Bayesian Decision Theory: A Bayesian Approach to Logical Arguments and Its Application to Legal Evidential Reasoning
inferred← citeshttps://doi.org/10.1007/978-94-011-0273-5_16openalex-snapshot
AI Meets Authoring: User Models for Intelligent Multimedia
inferred← citeshttps://doi.org/10.1007/978-94-011-7108-3_4openalex-snapshot
Abductive Behaviour of Concurrent Logic Programs
inferred← citeshttps://doi.org/10.1007/978-981-97-8943-6_7openalex-snapshot
Explaining Explanations in Probabilistic Logic Programming
inferred← citeshttps://doi.org/10.1007/bf00849730openalex-snapshot
AI meets authoring: User models for untelligent multimedia
inferred← citeshttps://doi.org/10.1007/pl00011661openalex-snapshot
An Artificial Network Simulating Cause-to-Effect Reasoning: Cancellation Interactions and Numerical Studies
inferred← citeshttps://doi.org/10.1007/s00778-012-0268-8openalex-snapshot
Mining frequent subgraphs over uncertain graph databases under probabilistic semantics
inferred← citeshttps://doi.org/10.1007/s10994-007-5030-xopenalex-snapshot
Compressing probabilistic Prolog programs
inferred← citeshttps://doi.org/10.1007/s10994-020-05911-6openalex-snapshot
Probabilistic inductive constraint logic
inferred← citeshttps://doi.org/10.1007/s11390-010-1052-0openalex-snapshot
Model failure and context switching using logic-based stochastic
inferred← citeshttps://doi.org/10.1007/s11390-010-9356-7openalex-snapshot
Model Failure and Context Switching Using Logic-Based Stochastic Models
inferred← citeshttps://doi.org/10.1016/b978-0-12-398532-3.00002-6openalex-snapshot
Weighted Abduction for Discourse Processing Based on Integer Linear Programming
inferred← citeshttps://doi.org/10.1016/b978-1-4832-1451-1.50048-2openalex-snapshot
The use of conflicts in searching Bayesian networks
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.artint.2004.04.003openalex-snapshot
Combining probabilistic logic programming with the power of maximum entropy
inferred← citeshttps://doi.org/10.1016/j.artint.2009.01.003openalex-snapshot
A probabilistic plan recognition algorithm based on plan tree grammars
inferred← citeshttps://doi.org/10.1016/j.artint.2015.06.008openalex-snapshot
A new probabilistic constraint logic programming language based on a generalised distribution semantics
inferred← citeshttps://doi.org/10.1016/j.artint.2021.103452openalex-snapshot
A semantics for Hybrid Probabilistic Logic programs with function symbols
inferred← citeshttps://doi.org/10.1016/j.ijar.2016.05.005openalex-snapshot
The distribution semantics for normal programs with function symbols
inferred← citeshttps://doi.org/10.1016/j.ijar.2016.06.009openalex-snapshot
TP -Compilation for inference in probabilistic logic programs
inferred← citeshttps://doi.org/10.1016/j.ijar.2021.11.003openalex-snapshot
Abduction with probabilistic logic programming under the distribution semantics
inferred← citeshttps://doi.org/10.1016/s0004-3702(96)00022-7openalex-snapshot
Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks
inferred← citeshttps://doi.org/10.1016/s0004-3702(96)00040-9openalex-snapshot
Semantics and complexity of abduction from default theories
inferred← citeshttps://doi.org/10.1016/s0306-4379(96)00032-4openalex-snapshot
Representation and extraction of information by probabilistic logic
inferred← citeshttps://doi.org/10.1016/s0743-1066(99)00071-0openalex-snapshot
Abducing through negation as failure: stable models within the independent choice logic
inferred← citeshttps://doi.org/10.1016/s1570-2464(02)80011-8openalex-snapshot
Probability logic
inferred← citeshttps://doi.org/10.1017/s1471068402001576openalex-snapshot
Using methods of declarative logic programming for intelligent information agents
inferred← citeshttps://doi.org/10.1017/s1471068410000566openalex-snapshot
On the implementation of the probabilistic logic programming language ProbLog
inferred← citeshttps://doi.org/10.1017/s147106841100010xopenalex-snapshot
The PITA system: Tabling and answer subsumption for reasoning under uncertainty
inferred← citeshttps://doi.org/10.1017/s1471068413000689openalex-snapshot
Structure learning of probabilistic logic programs by searching the clause space
inferred← citeshttps://doi.org/10.1017/s1471068422000412openalex-snapshot
Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs
inferred← citeshttps://doi.org/10.1023/a:1026010008129openalex-snapshot
A Distributed Artificial Network Solving Complex and Multiple Causal Associations
inferred← citeshttps://doi.org/10.1089/cmb.2010.0044openalex-snapshot
Markov Logic Networks in the Analysis of Genetic Data
inferred← citeshttps://doi.org/10.1093/jigpal/jzp025openalex-snapshot
Extended semantics and inference for the Independent Choice Logic
inferred← citeshttps://doi.org/10.1109/discex.2001.932191openalex-snapshot
Plan recognition in intrusion detection systems
inferred← citeshttps://doi.org/10.1109/hicss.1994.323320openalex-snapshot
Reasoning about video: knowledge-based transcription and presentation
inferred← citeshttps://doi.org/10.1109/icnc.2011.67openalex-snapshot
Probability and Computation
inferred← citeshttps://doi.org/10.1142/s0218213006003077openalex-snapshot
THE DESIGN AND TESTING OF A FIRST-ORDER LOGIC-BASED STOCHASTIC MODELING LANGUAGE
inferred← citeshttps://doi.org/10.1142/s0218488505003473openalex-snapshot
AN ARTIFICIAL NETWORK FOR REASONING IN THE CANCELLATION CLASS WITH APPLICATION TO THE DIAGNOSIS OF CELLS DIVISION
inferred← citeshttps://doi.org/10.1145/1835804.1835885openalex-snapshot
Discovering frequent subgraphs over uncertain graph databases under probabilistic semantics
inferred← citeshttps://doi.org/10.1145/2816839.2816900openalex-snapshot
Introduction to distributed probability propagation nets
inferred← citeshttps://doi.org/10.1145/3501714.3501753openalex-snapshot
Probabilistic Programming Languages: Independent Choices and Deterministic Systems
inferred← citeshttps://doi.org/10.1145/377978.377983openalex-snapshot
Probabilistic logic programming with conditional constraints
inferred← citeshttps://doi.org/10.1184/r1/28840673openalex-snapshot
Efficient Random Walk Inference with Knowledge Bases
inferred← citeshttps://doi.org/10.1201/b17197-10openalex-snapshot
Random Variable Transformations
inferred← citeshttps://doi.org/10.1609/aaai.v28i1.9067openalex-snapshot
Explanation-Based Approximate Weighted Model Counting for Probabilistic Logics
inferred← citeshttps://doi.org/10.21236/ada491876openalex-snapshot
Using Structured Knowledge Representation for Context-Sensitive Probabilistic Modeling
inferred← citeshttps://doi.org/10.2200/s00692ed1v01y201601aim032openalex-snapshot
Statistical Relational Artificial Intelligence: Logic, Probability, and Computation
inferred← citeshttps://doi.org/10.22215/etd/2016-11252openalex-snapshot
Query-Answer Causality in Databases and Its Connections with Reverse Reasoning Tasks in Data and Knowledge Management
inferred← citeshttps://doi.org/10.31390/gradschool_theses.2382openalex-snapshot
Bayesian inference application to burglary detection
inferred← citeshttps://doi.org/10.3233/fi-2013-847openalex-snapshot
MCINTYRE: A Monte Carlo System for Probabilistic Logic Programming
inferred← citeshttps://doi.org/10.3233/ia-140058openalex-snapshot
Integration of logic and probability in inductive and terminological reasoning
inferred← citeshttps://doi.org/10.3233/ia-221072openalex-snapshot
The distribution semantics in probabilistic logic programming and probabilistic description logics: a survey
inferred← citeshttps://doi.org/10.3233/ida-130582openalex-snapshot
Expectation maximization over binary decision diagrams for probabilistic logic programs
inferred← citeshttps://doi.org/10.3389/frobt.2014.00006openalex-snapshot
A History of Probabilistic Inductive Logic Programming
inferred← citeshttps://doi.org/10.48550/arxiv.1003.0902openalex-snapshot
Markov Logic Networks in the Analysis of Genetic Data
inferred← citeshttps://doi.org/10.48550/arxiv.1212.2446openalex-snapshot
Parametric Dependability Analysis through Probabilistic Horn Abduction
inferred← citeshttps://doi.org/10.48550/arxiv.1301.2290openalex-snapshot
Probabilistic Logic Programming under Inheritance with Overriding
inferred← citeshttps://doi.org/10.48550/arxiv.1301.2302openalex-snapshot
Toward General Analysis of Recursive Probability Models
inferred← citeshttps://doi.org/10.48550/arxiv.1301.6700openalex-snapshot
A New Model of Plan Recognition
inferred← citeshttps://doi.org/10.48550/arxiv.1302.4978openalex-snapshot
Exploiting the Rule Structure for Decision Making within the Independent Choice Logic
inferred← citeshttps://doi.org/10.48550/arxiv.1506.04299openalex-snapshot
Query-Answer Causality in Databases: Abductive Diagnosis and View-Updates
inferred← citeshttps://doi.org/10.48550/arxiv.1509.03564openalex-snapshot
Lazy Factored Inference for Functional Probabilistic Programming
inferred← citeshttps://doi.org/10.5715/jnlp.20.629openalex-snapshot
ILP-based Inference for Cost-based Abduction on First-order Predicate Logic
inferred← citeshttps://doi.org/10.70675/cdbc9d15zedccz471az9398zed83a64b5068openalex-snapshot
A preference-based approach to machine ethics for automated planning
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.