On the public citation graph

Resolving contradictions: A plausible semantics for inconsistent systems

0 signed · 61 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.4550040402openalex-snapshot

Answering atomic queries in indefinite deductive databases

inferredcites →https://doi.org/10.1007/3-540-52885-7_80openalex-snapshot

Automatic theorem proving in paraconsistent logics: Theory and implementation

inferredcites →https://doi.org/10.1007/3-540-54563-8_73openalex-snapshot

Combining knowledge bases consisting of first order theories

inferredcites →https://doi.org/10.1007/978-94-009-2727-8_5openalex-snapshot

Truth and Meaning

inferredcites →https://doi.org/10.1007/978-94-010-1161-7_2openalex-snapshot

A Useful Four-Valued Logic

inferredcites →https://doi.org/10.1007/bf02128670openalex-snapshot

Approximate Inclusion-Exclusion

inferredcites →https://doi.org/10.1007/bf03037170openalex-snapshot

Logic programs with exceptions

inferredcites →https://doi.org/10.1016/0004-3702(80)90014-4openalex-snapshot

A logic for default reasoning

inferredcites →https://doi.org/10.1016/0004-3702(89)90027-1openalex-snapshot

Reasoning about truth

inferredcites →https://doi.org/10.1016/0004-3702(89)90028-3openalex-snapshot

Truth and meaning

inferredcites →https://doi.org/10.1016/0004-3702(94)00060-3openalex-snapshot

A nonstandard approach to the logical omniscience problem

inferredcites →https://doi.org/10.1016/0020-0190(82)90110-7openalex-snapshot

Average time analysis of simplified Davis-Putnam procedures

inferredcites →https://doi.org/10.1016/0020-0190(92)90160-wopenalex-snapshot

Counting propositional models

inferredcites →https://doi.org/10.1016/0304-3975(79)90044-6openalex-snapshot

The Complexity of Computing the Permanent

inferredcites →https://doi.org/10.1016/0304-3975(89)90126-6openalex-snapshot

Paraconsistent logic programming

inferredcites →https://doi.org/10.1016/0743-1066(89)90009-5openalex-snapshot

Algorithms for testing the satisfiability of propositional formulae

inferredcites →https://doi.org/10.1016/s0076-5392(08)x6157-0openalex-snapshot

On Measures of Information and their Characterizations

inferredcites →https://doi.org/10.1080/09528139408953787openalex-snapshot

Information and evidence in logic systems

inferredcites →https://doi.org/10.1093/oso/9780198839682.003.0015openalex-snapshot

Science and Information

inferredcites →https://doi.org/10.1109/lics.1989.39180openalex-snapshot

RI: a logic for reasoning with inconsistency

inferredcites →https://doi.org/10.1137/0214067openalex-snapshot

The Pure Literal Rule and Polynomial Average Time

inferredcites →https://doi.org/10.1137/0218026openalex-snapshot

CNF-Satisfiability Test by Counting and Polynomial Average Time

inferredcites →https://doi.org/10.1145/103418.103464openalex-snapshot

On deterministic approximation of DNF

inferredcites →https://doi.org/10.1145/800157.805047openalex-snapshot

The complexity of theorem-proving procedures

inferredcites →https://doi.org/10.1305/ndjfl/1093888404openalex-snapshot

Classifications for inconsistent theories.

inferredcites →https://doi.org/10.1305/ndjfl/1093891487openalex-snapshot

On the theory of inconsistent formal systems.

inferredcites →https://doi.org/10.2307/2219120openalex-snapshot

The Logic of Inconsistency.

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-44533-1_9openalex-snapshot

Inconsistency and Preservation

inferred← citeshttps://doi.org/10.1007/978-3-540-30597-2_7openalex-snapshot

Approaches to Measuring Inconsistent Information

inferred← citeshttps://doi.org/10.1007/978-3-540-75256-1_12openalex-snapshot

How Dirty Is Your Relational Database? An Axiomatic Approach

inferred← citeshttps://doi.org/10.1007/978-3-540-77356-6_10openalex-snapshot

On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons

inferred← citeshttps://doi.org/10.1007/978-3-642-15951-0_26openalex-snapshot

Efficient Policy-Based Inconsistency Management in Relational Knowledge Bases

inferred← citeshttps://doi.org/10.1007/978-3-642-15951-0_28openalex-snapshot

Handling Dirty Databases: From User Warning to Data Cleaning — Towards an Interactive Approach

inferred← citeshttps://doi.org/10.1007/978-3-642-18690-5_2openalex-snapshot

Query Answering in Inconsistent Databases

inferred← citeshttps://doi.org/10.1007/978-3-642-21898-9_34openalex-snapshot

On Equivalence of Conditions for a Quadrilateral to Be Cyclic

inferred← citeshttps://doi.org/10.1007/978-3-642-22152-1_31openalex-snapshot

Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution

inferred← citeshttps://doi.org/10.1007/978-3-642-36008-4_7openalex-snapshot

Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity

inferred← citeshttps://doi.org/10.1007/978-3-642-39091-3_33openalex-snapshot

Measuring Incompleteness under Multi-valued Semantics by Partial MaxSAT Solvers

inferred← citeshttps://doi.org/10.1007/bfb0095265openalex-snapshot

Frugality in reasoning and the role of summary

inferred← citeshttps://doi.org/10.1007/s10472-008-9088-3openalex-snapshot

A three-valued semantics for querying and repairing inconsistent databases

inferred← citeshttps://doi.org/10.1016/j.artint.2010.06.001openalex-snapshot

On the measure of conflicts: Shapley Inconsistency Values

inferred← citeshttps://doi.org/10.1016/j.fss.2010.03.014openalex-snapshot

Measuring conflict and agreement between two prioritized knowledge bases in possibilistic logic

inferred← citeshttps://doi.org/10.1016/j.ijar.2011.04.001openalex-snapshot

A Syntax-based approach to measuring the degree of inconsistency for belief bases

inferred← citeshttps://doi.org/10.1016/j.ijar.2013.12.004openalex-snapshot

Policy-based inconsistency management in relational databases

inferred← citeshttps://doi.org/10.1016/j.jal.2004.07.005openalex-snapshot

Measuring coherence using LP-models

inferred← citeshttps://doi.org/10.1016/j.knosys.2006.05.007openalex-snapshot

A knowledge-based approach to merging information

inferred← citeshttps://doi.org/10.1017/s1471068403001832openalex-snapshot

Answer sets for consistent query answering in inconsistent databases

inferred← citeshttps://doi.org/10.1023/a:1006020529663openalex-snapshot

A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases

inferred← citeshttps://doi.org/10.1023/a:1022351919320openalex-snapshot

Two Information Measures for Inconsistent Sets

inferred← citeshttps://doi.org/10.1080/0952813021000026795openalex-snapshot

Consistent subsets of inconsistent systems: structure and behaviour

inferred← citeshttps://doi.org/10.1080/09528130500128235openalex-snapshot

Another look at the phenomenon of phase transition

inferred← citeshttps://doi.org/10.1080/095281399146544openalex-snapshot

A practical measure of the information in a logical theory

inferred← citeshttps://doi.org/10.1080/11663081.1997.10510905openalex-snapshot

On knowledge evolution: acquisition, revision, contraction

inferred← citeshttps://doi.org/10.1093/jigpal/9.2.217openalex-snapshot

Paraconsistent reasoning as an analytic tool

inferred← citeshttps://doi.org/10.1109/tfuzz.2011.2114669openalex-snapshot

Measuring Inconsistency in Fuzzy Answer Set Semantics

inferred← citeshttps://doi.org/10.1142/s1793351x11001237openalex-snapshot

THE LANDSCAPE OF INCONSISTENCY: A PERSPECTIVE

inferred← citeshttps://doi.org/10.1145/3448016.3457310openalex-snapshot

Properties of Inconsistency Measures for Databases

inferred← citeshttps://doi.org/10.25911/5d7a2d4eb5685openalex-snapshot

Reasoning with Inconsistent Information

inferred← citeshttps://doi.org/10.48550/arxiv.1205.2613openalex-snapshot

Measuring Inconsistency in Probabilistic Knowledge Bases

inferred← citeshttps://doi.org/10.5591/978-1-57735-516-8/ijcai11-438openalex-snapshot

Measuring the good and the bad in inconsistent information

inferred← citeshttps://doi.org/10.70675/6ef488bbz240ez4bcdz98e9z9b15980a474copenalex-snapshot

Informatique ubiquitaire : techniques de curage d'informations perverties

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.