On the public citation graph

Belief Merging within Fragments of Propositional Logic

https://doi.org/10.1145/2898436
0 signed · 29 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.1002/int.1052openalex-snapshot
Fusion: General concepts and characteristics
inferredcites →https://doi.org/10.1007/978-94-011-5054-5_6openalex-snapshot
Reasoning About Merged Information
inferredcites →https://doi.org/10.1007/s10992-011-9175-5openalex-snapshot
Logic Based Merging
inferredcites →https://doi.org/10.1016/0004-3702(91)90069-vopenalex-snapshot
Propositional knowledge base revision and minimal change
inferredcites →https://doi.org/10.1016/0004-3702(95)00019-4openalex-snapshot
Integration of weighted knowledge bases
inferredcites →https://doi.org/10.1016/j.artint.2004.04.008openalex-snapshot
DA2 merging operators
inferredcites →https://doi.org/10.1016/j.artint.2014.08.006openalex-snapshot
Belief revision in Horn theories
inferredcites →https://doi.org/10.1016/j.jcss.2013.08.002openalex-snapshot
Belief revision within fragments of propositional logic
inferredcites →https://doi.org/10.1093/logcom/12.5.773openalex-snapshot
Merging Information Under Constraints: A Logical Framework
inferredcites →https://doi.org/10.1093/logcom/exr040openalex-snapshot
Prime implicates and relevant belief revision
inferredcites →https://doi.org/10.1109/69.88001openalex-snapshot
Combining multiple knowledge bases
inferredcites →https://doi.org/10.1142/s0218196797000095openalex-snapshot
On the Semantics of Arbitration
inferredcites →https://doi.org/10.1142/s0218843098000040openalex-snapshot
MERGING DATABASES UNDER CONSTRAINTS
inferredcites →https://doi.org/10.1145/153850.153857openalex-snapshot
On the semantics of theory change
inferredcites →https://doi.org/10.1145/2480759.2480766openalex-snapshot
A Model-Theoretic Approach to Belief Change in Answer Set Programming
inferredcites →https://doi.org/10.1145/800133.804350openalex-snapshot
The complexity of satisfiability problems
inferredcites →https://doi.org/10.1613/jair.4031openalex-snapshot
Horn Clause Contraction Functions
inferredcites →https://doi.org/10.2307/2274239openalex-snapshot
On the logic of theory change: Partial meet contraction and revision functions
inferredcites →https://doi.org/10.48550/arxiv.1401.3902openalex-snapshot
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic

What points at this work

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

inferred← citeshttps://doi.org/10.1007/978-3-030-57524-3_1openalex-snapshot
A Characterization of Belief Merging Operators in the Regular Horn Fragment of Signed Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-67504-6_30openalex-snapshot
Logic-Based Merging in Fragments of Classical Logic with Inputs from Social Choice Theory
inferred← citeshttps://doi.org/10.1016/j.fss.2024.109099openalex-snapshot
Belief Horn merging operators: Characterization results and implementations
inferred← citeshttps://doi.org/10.1016/j.ijar.2023.109007openalex-snapshot
Toward credible belief base revision
inferred← citeshttps://doi.org/10.1093/logcom/exac005openalex-snapshot
Belief contraction and erasure in fragments of propositional logic
inferred← citeshttps://doi.org/10.1109/access.2019.2930933openalex-snapshot
Hierarchical Modeling of Complex Internet of Things Systems Using Conceptual Modeling Approaches
inferred← citeshttps://doi.org/10.1145/3043700openalex-snapshot
Merging in the Horn Fragment
inferred← citeshttps://doi.org/10.1609/aaai.v32i1.11543openalex-snapshot
On Consensus in Belief Merging
inferred← citeshttps://doi.org/10.1613/jair.5541openalex-snapshot
Belief Update within Propositional Fragments
inferred← citeshttps://doi.org/10.70675/f8f1a121zc0d9z4f52z8475ze44f898b61a2openalex-snapshot
Sur la fusion d'ontologies à domaine ouvert
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.