On the public citation graph
A semantical framework for supporting subjective and conditional probabilities in deductive databases
0 signed · 133 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/malq.19910370903openalex-snapshot
The Paraconsistent Logics P J
inferredcites →https://doi.org/10.1007/3-540-50171-1_6openalex-snapshot
On the semantics of rule-based expert systems with uncertainty
inferredcites →https://doi.org/10.1007/978-3-540-44792-4_4openalex-snapshot
A Generalization of Bayesian Inference
inferredcites →https://doi.org/10.1007/978-3-642-83189-8openalex-snapshot
Foundations of Logic Programming
inferredcites →https://doi.org/10.1007/978-3-642-96826-6openalex-snapshot
Foundations of Logic Programming
inferredcites →https://doi.org/10.1007/978-94-010-2175-3openalex-snapshot
The Logical Foundations of Statistical Interference
inferredcites →https://doi.org/10.1007/bf02759729openalex-snapshot
Concerning measures in first order calculi
inferredcites →https://doi.org/10.1007/bfb0072897openalex-snapshot
On Logical Foundations of Probability Theory
inferredcites →https://doi.org/10.1016/0041-5553(80)90061-0openalex-snapshot
Polynomial algorithms in linear programming
inferredcites →https://doi.org/10.1016/0165-0114(87)90110-2openalex-snapshot
Evidential support logic programming
inferredcites →https://doi.org/10.1016/0304-3975(89)90126-6openalex-snapshot
Paraconsistent logic programming
inferredcites →https://doi.org/10.1016/0304-3975(92)90214-zopenalex-snapshot
Paraconsistent disjunctive deductive databases
inferredcites →https://doi.org/10.1016/0743-1066(86)90003-8openalex-snapshot
Quantitative deduction and its fixpoint theory
inferredcites →https://doi.org/10.1016/0743-1066(91)90014-gopenalex-snapshot
Bilattices and the semantics of logic programming
inferredcites →https://doi.org/10.1016/0743-1066(92)90007-popenalex-snapshot
Theory of generalized annotated logic programming and its applications**A preliminary report on this research has appeared in [34].
inferredcites →https://doi.org/10.1016/0890-5401(90)90060-uopenalex-snapshot
A logic for reasoning about probabilities
inferredcites →https://doi.org/10.1016/b978-0-08-051489-5.50008-4openalex-snapshot
BAYESIAN INFERENCE
inferredcites →https://doi.org/10.1016/s0049-237x(08)71672-0openalex-snapshot
Assigning Probabilities to Logical Formulas
inferredcites →https://doi.org/10.1057/jors.1989.13openalex-snapshot
Linear Programming in Infinite-Dimensional Spaces
inferredcites →https://doi.org/10.1057/jors.1992.139openalex-snapshot
Representing and Reasoning with Probabilistic Knowledge
inferredcites →https://doi.org/10.1109/lics.1989.39180openalex-snapshot
RI: a logic for reasoning with inconsistency
inferredcites →https://doi.org/10.1111/j.1467-8640.1988.tb00280.xopenalex-snapshot
Multivalued logics: a uniform approach to reasoning in artificial intelligence
inferredcites →https://doi.org/10.1111/j.1467-8640.1991.tb00391.xopenalex-snapshot
Uncertainty, belief, and probability1
inferredcites →https://doi.org/10.1111/j.2517-6161.1968.tb00722.xopenalex-snapshot
A Generalization of Bayesian Inference
inferredcites →https://doi.org/10.1145/1499799.1499948openalex-snapshot
Subjective bayesian methods for rule-based inference systems
inferredcites →https://doi.org/10.1145/357162.357169openalex-snapshot
An Efficient Unification Algorithm
inferredcites →https://doi.org/10.1515/9780691214696openalex-snapshot
A Mathematical Theory of Evidence
inferredcites →https://doi.org/10.1525/9780520318328-008openalex-snapshot
12. The Structure of Probabilities Defined on First-order Languages
inferredcites →https://doi.org/10.2307/2025734openalex-snapshot
The Logical Foundations of Statistical Inference.
inferredcites →https://doi.org/10.2307/2343215openalex-snapshot
An Elementary Introduction to the Theory of Probability.
inferredcites →https://doi.org/10.2307/253980openalex-snapshot
Theory of Linear and Integer Programming
inferredcites →https://doi.org/10.2307/j.ctv10vm1qbopenalex-snapshot
A Mathematical Theory of Evidence
inferredcites →https://doi.org/10.3233/fi-1988-11206openalex-snapshot
Logic Programming on a Topological Bilattice1
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.1002/int.4550100603openalex-snapshot
On proof- and model-based techniques for reasoning with uncertainty
inferred← citeshttps://doi.org/10.1007/10703163_28openalex-snapshot
Many-Valued First-Order Logics with Probabilistic Semantics
inferred← citeshttps://doi.org/10.1007/11546207_26openalex-snapshot
Revisiting the Semantics of Interval Probabilistic Logic Programs
inferred← citeshttps://doi.org/10.1007/11562931_17openalex-snapshot
Hybrid Probabilistic Logic Programs with Non-monotonic Negation
inferred← citeshttps://doi.org/10.1007/11853886_33openalex-snapshot
Incomplete Knowledge in Hybrid Probabilistic Logic Programs
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-45788-7_9openalex-snapshot
The Well-Founded Semantics in Normal Logic Programs with Uncertainty
inferred← citeshttps://doi.org/10.1007/3-540-46767-x_20openalex-snapshot
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
inferred← citeshttps://doi.org/10.1007/3-540-46767-x_21openalex-snapshot
Extending Disjunctive Logic Programming by T-norms
inferred← citeshttps://doi.org/10.1007/3-540-48747-6_26openalex-snapshot
Probabilisitc Logic Programming under Maximum Entropy
inferred← citeshttps://doi.org/10.1007/3-540-54563-8_80openalex-snapshot
Stable model semantics for probabilistic deductive databases
inferred← citeshttps://doi.org/10.1007/3-540-58435-8_238openalex-snapshot
Modeling uncertainty in deductive databases
inferred← citeshttps://doi.org/10.1007/3-540-58715-2_116openalex-snapshot
An epistemic foundation for logic programming with uncertainty
inferred← citeshttps://doi.org/10.1007/3-540-61532-6_13openalex-snapshot
An update procedure for a probabilistic deductive database
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-4471-3242-4_5openalex-snapshot
Modeling Uncertainty in Object-Oriented Databases
inferred← citeshttps://doi.org/10.1007/978-1-4614-5311-6_23openalex-snapshot
Policy Analytics Generation Using Action Probabilistic Logic Programs
inferred← citeshttps://doi.org/10.1007/978-1-4614-5311-6_6openalex-snapshot
SOMA: Stochastic Opponent Modeling Agents for Forecasting Violent Behavior
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-3-540-24627-5_18openalex-snapshot
Challenges in Fixpoint Computation with Multisets
inferred← citeshttps://doi.org/10.1007/978-3-540-27775-0_10openalex-snapshot
Possible Worlds Semantics for Probabilistic Logic Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-30557-6_7openalex-snapshot
Towards a More Practical Hybrid Probabilistic Logic Programming Framework
inferred← citeshttps://doi.org/10.1007/978-3-540-33473-6_2openalex-snapshot
Modeling Uncertainty in Semantic Web Taxonomies
inferred← citeshttps://doi.org/10.1007/978-3-540-39615-4_7openalex-snapshot
Model and Fixpoint Semantics for Fuzzy Disjunctive Programs with Weak Similarity
inferred← citeshttps://doi.org/10.1007/978-3-540-75256-1_18openalex-snapshot
A Logical Approach to Qualitative and Quantitative Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-540-75410-7_11openalex-snapshot
Tractable Probabilistic Description Logic Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-75410-7_4openalex-snapshot
Finding Most Probable Worlds of Probabilistic Logic Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-78969-7_20openalex-snapshot
Quantitative Logic Programming Revisited
inferred← citeshttps://doi.org/10.1007/978-3-540-87993-0_28openalex-snapshot
On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
inferred← citeshttps://doi.org/10.1007/978-3-540-87993-0_29openalex-snapshot
Scaling Most Probable World Computations in Probabilistic Logic Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-02846-5_9openalex-snapshot
Using Histograms to Better Answer Queries to Probabilistic Logic Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-04238-6_27openalex-snapshot
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence
inferred← citeshttps://doi.org/10.1007/978-3-642-04388-8_18openalex-snapshot
Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics
inferred← citeshttps://doi.org/10.1007/978-3-642-04388-8_21openalex-snapshot
Query Answering in Belief Logic Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-05082-4_11openalex-snapshot
Belief Logic Programming with Cyclic Dependencies
inferred← citeshttps://doi.org/10.1007/978-3-642-15951-0_30openalex-snapshot
Cost-Based Query Answering in Action Probabilistic Logic Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-37509-5_6openalex-snapshot
Tractable Probabilistic Description Logic Programs
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-94-011-7108-3_16openalex-snapshot
Annotations, Signs, and Generally Paraconsistent Logics
inferred← citeshttps://doi.org/10.1007/978-94-017-0452-6_5openalex-snapshot
Advanced Many-Valued Logics
inferred← citeshttps://doi.org/10.1007/978-94-017-1586-7_10openalex-snapshot
Integrating Probabilistic and Logical Reasoning
inferred← citeshttps://doi.org/10.1007/bf00712385openalex-snapshot
Query processing in annotated logic programming: Theory and implementation
inferred← citeshttps://doi.org/10.1007/bf00881796openalex-snapshot
Interpreting disjunctive logic programs based on a strong sense of disjunction
inferred← citeshttps://doi.org/10.1007/bfb0013049openalex-snapshot
Towards probabilistic knowledge bases
inferred← citeshttps://doi.org/10.1007/bfb0031735openalex-snapshot
A parametric approach to deductive databases with uncertainty
inferred← citeshttps://doi.org/10.1007/bfb0052166openalex-snapshot
Quantitative constraint logic programming for weighted grammar applications
inferred← citeshttps://doi.org/10.1007/bfb0100975openalex-snapshot
HySpirit — A probabilistic inference engine for hypermedia retrieval in large databases
inferred← citeshttps://doi.org/10.1007/s10472-007-9048-3openalex-snapshot
A new approach to hybrid probabilistic logic programs
inferred← citeshttps://doi.org/10.1007/s10472-008-9089-2openalex-snapshot
Computing most probable worlds of action probabilistic logic programs: scalable estimation for 1030,000 worlds
inferred← citeshttps://doi.org/10.1007/s10472-008-9104-7openalex-snapshot
The theory of interval probabilistic logic programs
inferred← citeshttps://doi.org/10.1007/s10472-011-9256-8openalex-snapshot
Aggregated Fuzzy Answer Set Programming
inferred← citeshttps://doi.org/10.1007/s10472-012-9285-yopenalex-snapshot
Focused most probable world computations in probabilistic logic programs
inferred← citeshttps://doi.org/10.1007/s10472-012-9286-xopenalex-snapshot
Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction
inferred← citeshttps://doi.org/10.1016/0004-3702(94)90079-5openalex-snapshot
Anytime deduction for probabilistic logic
inferred← citeshttps://doi.org/10.1016/b978-1-55860-203-8.50036-xopenalex-snapshot
Non-monotonic Negation in Probabilistic Deductive Databases
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.ijar.2007.08.005openalex-snapshot
Probabilistic description logic programs under inheritance with overriding for the Semantic Web
inferred← citeshttps://doi.org/10.1016/j.ijar.2012.01.005openalex-snapshot
A core language for fuzzy answer set programming
inferred← citeshttps://doi.org/10.1016/s0304-3975(96)00129-6openalex-snapshot
Query evaluation in probabilistic relational databases
inferred← citeshttps://doi.org/10.1016/s0306-4379(97)00030-6openalex-snapshot
Uncertain deductive databases: A hybrid approach
inferred← citeshttps://doi.org/10.1016/s0743-1066(99)00059-xopenalex-snapshot
Hybrid probabilistic programs
inferred← citeshttps://doi.org/10.1016/s0888-613x(99)00006-7openalex-snapshot
Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events
inferred← citeshttps://doi.org/10.1017/s1471068400001058openalex-snapshot
On a theory of probabilistic deductive databases
inferred← citeshttps://doi.org/10.1017/s1471068402001576openalex-snapshot
Using methods of declarative logic programming for intelligent information agents
inferred← citeshttps://doi.org/10.1017/s1471068411000093openalex-snapshot
Reducing fuzzy answer set programming to model finding in fuzzy logics
inferred← citeshttps://doi.org/10.1023/a:1005784309139openalex-snapshot
A Framework for Automated Reasoning in Multiple-Valued Logics
inferred← citeshttps://doi.org/10.1080/11663081.2000.10510993openalex-snapshot
On Theorem Proving in Annotated Logics
inferred← citeshttps://doi.org/10.1109/69.506705openalex-snapshot
Current approaches to handling imperfect information in data and knowledge bases
inferred← citeshttps://doi.org/10.1109/69.567045openalex-snapshot
Semantics, consistency, and query processing of empirical deductive databases
inferred← citeshttps://doi.org/10.1109/69.940732openalex-snapshot
A parametric approach to deductive databases with uncertainty
inferred← citeshttps://doi.org/10.1109/ismvl.1999.779722openalex-snapshot
Probabilistic and truth-functional many-valued logic programming
inferred← citeshttps://doi.org/10.1109/ruleml.2006.12openalex-snapshot
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
inferred← citeshttps://doi.org/10.1111/j.1467-8640.1996.tb00276.xopenalex-snapshot
COMPUTATION OF BEST BOUNDS OF PROBABILITIES FROM UNCERTAIN DATA
inferred← citeshttps://doi.org/10.1142/9789812705815_0018openalex-snapshot
PROBABILISTIC LOGIC PROGRAMMING WITH INHERITANCE
inferred← citeshttps://doi.org/10.1142/s0218488597000245openalex-snapshot
Reasoning with Uncertainty in Deductive Databases and Logic Programs
inferred← citeshttps://doi.org/10.1145/1010432.1010508openalex-snapshot
A method for modeling uncertainty in semantic web taxonomies
inferred← citeshttps://doi.org/10.1145/1160633.1160677openalex-snapshot
A stochastic language for modelling opponent agents
inferred← citeshttps://doi.org/10.1145/1877714.1877720openalex-snapshot
Annotated probabilistic temporal logic
inferred← citeshttps://doi.org/10.1145/2480759.2480762openalex-snapshot
Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems
inferred← citeshttps://doi.org/10.1145/2480759.2480764openalex-snapshot
Parallel Abductive Query Answering in Probabilistic Logic Programs
inferred← citeshttps://doi.org/10.1145/377978.377983openalex-snapshot
Probabilistic logic programming with conditional constraints
inferred← citeshttps://doi.org/10.1145/383734.383736openalex-snapshot
Probabilistic temporal databases, I
inferred← citeshttps://doi.org/10.1613/jair.577openalex-snapshot
Probabilistic Deduction with Conditional Constraints over Basic Events
inferred← citeshttps://doi.org/10.4230/lipics.iclp.2010.192openalex-snapshot
Abductive Inference in Probabilistic Logic Programs
inferred← citeshttps://doi.org/10.48550/arxiv.1104.5133openalex-snapshot
Reducing Fuzzy Answer Set Programming to Model Finding in Fuzzy Logics
inferred← citeshttps://doi.org/10.48550/arxiv.1301.2290openalex-snapshot
Probabilistic Logic Programming under Inheritance with Overriding
inferred← citeshttps://doi.org/10.5555/1788446.1788475openalex-snapshot
Quantitative logic programming revisited
inferred← citeshttps://doi.org/10.70675/53a149dazf104z4137zac65zfd8f6f35e735openalex-snapshot
Uncertainty-Sensitive Reasoning over the Web of Data
inferred← citeshttps://doi.org/10.7551/mitpress/3487.001.0001openalex-snapshot
Heterogeneous Agent Systems
inferred← citeshttps://doi.org/10.7551/mitpress/3487.003.0012openalex-snapshot
Probabilistic Agent Programs
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.