On the public citation graph
Making inconsistency respectable: Part 2 — Meta-level handling of inconsistency
0 signed · 56 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.1007/3-540-51803-7_36openalex-snapshot
The declarative past and imperative future
inferredcites →https://doi.org/10.1007/3-540-52559-9_62openalex-snapshot
MetateM: A framework for programming in temporal logic
inferredcites →https://doi.org/10.1007/3-540-54507-7_3openalex-snapshot
Making inconsistency respectable: A logical framework for inconsistency in reasoning, part I — A position paper
inferredcites →https://doi.org/10.1007/bfb0023428openalex-snapshot
A conceptualization of preferences in non-monotonic proof theory
inferredcites →https://doi.org/10.1007/bfb0028193openalex-snapshot
Restricted access logics for inconsistent information
inferredcites →https://doi.org/10.1016/0004-3702(79)90008-0openalex-snapshot
A truth maintenance system
inferredcites →https://doi.org/10.1017/9781316718254.008openalex-snapshot
Labelled deductive systems: a position paper
inferredcites →https://doi.org/10.1109/icse.1991.130638openalex-snapshot
Tolerating inconsistency (software development)
inferredcites →https://doi.org/10.1145/588058.588100openalex-snapshot
On the semantics of updates in databases
inferredcites →https://doi.org/10.1305/ndjfl/1093891487openalex-snapshot
On the theory of inconsistent formal systems.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/malq.200810062openalex-snapshot
First order theory for literal‐paraconsistent and literal‐paracomplete matrices
inferred← citeshttps://doi.org/10.1007/3-540-61732-9_50openalex-snapshot
Compromised updates in labelled databases
inferred← citeshttps://doi.org/10.1007/978-1-4419-1452-1_18openalex-snapshot
Cognitive Algorithms and Systems: Reasoning and Knowledge Representation
inferred← citeshttps://doi.org/10.1007/978-1-4615-5643-5_7openalex-snapshot
Evolving Logical Specification in Information Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-11558-0_27openalex-snapshot
Revisiting Postulates for Inconsistency Measures
inferred← citeshttps://doi.org/10.1007/978-3-540-73196-2_19openalex-snapshot
Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements
inferred← citeshttps://doi.org/10.1007/978-3-540-73954-8_11openalex-snapshot
Advances in Neural-Symbolic Learning Systems: Modal and Temporal Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-540-87563-5_9openalex-snapshot
Quantifying Knowledge Base Inconsistency Via Fixpoint Semantics
inferred← citeshttps://doi.org/10.1007/978-3-642-02097-1_2openalex-snapshot
On Temporal Properties of Knowledge Base Inconsistency
inferred← citeshttps://doi.org/10.1007/978-3-642-14159-1_2openalex-snapshot
Introducing Revision Theory
inferred← citeshttps://doi.org/10.1007/978-3-642-25975-3_4openalex-snapshot
An Approach to Generating Proposals for Handling Inconsistent Software Requirements
inferred← citeshttps://doi.org/10.1007/978-3-642-45324-3_16openalex-snapshot
A Quarter of Century in Artificial Intelligence and Law: Projects, Personal Trajectories, a Subjective Perspective
inferred← citeshttps://doi.org/10.1007/978-94-007-6600-6_3openalex-snapshot
Introduction to Labelled Deductive Systems
inferred← citeshttps://doi.org/10.1007/978-94-017-1317-7_4openalex-snapshot
Compromise Update and Revision: A Position Paper
inferred← citeshttps://doi.org/10.1007/978-94-017-1317-7_5openalex-snapshot
A Compromise Revision Model for Reconciling Updates
inferred← citeshttps://doi.org/10.1007/bfb0028174openalex-snapshot
Symbolic and Quantitative Approaches to Reasoning and Uncertainty
inferred← citeshttps://doi.org/10.1007/bfb0035614openalex-snapshot
Information fusion in logic: A brief overview
inferred← citeshttps://doi.org/10.1007/s10844-013-0270-7openalex-snapshot
Consistent structuring of inconsistent knowledge
inferred← citeshttps://doi.org/10.1007/s11424-008-9136-4openalex-snapshot
A Priority-Based Negotiations Approach for Handling Inconsistencies in Multi-Perspective Software Requirements
inferred← citeshttps://doi.org/10.1016/j.artint.2014.07.008openalex-snapshot
Finding explanations of inconsistency in multi-context systems
inferred← citeshttps://doi.org/10.1016/j.ijar.2010.05.007openalex-snapshot
Measures of inconsistency and defaults
inferred← citeshttps://doi.org/10.1016/j.ijar.2012.07.006openalex-snapshot
From inconsistency handling to non-canonical requirements management: A logical perspective
inferred← citeshttps://doi.org/10.1016/j.infsof.2006.03.009openalex-snapshot
Validating the enforcement of access control policies and separation of duty principle in requirement engineering
inferred← citeshttps://doi.org/10.1016/j.ins.2005.01.021openalex-snapshot
Qualitative reasoning about consistency in geographic information
inferred← citeshttps://doi.org/10.1016/s1570-2464(02)80013-1openalex-snapshot
Formal approaches to practical reasoning: A survey
inferred← citeshttps://doi.org/10.1016/s1874-5075(05)80023-3openalex-snapshot
Non-Plausibilistic Abduction
inferred← citeshttps://doi.org/10.1017/s0269888900002046openalex-snapshot
Reasoning with inconsistency in structured text
inferred← citeshttps://doi.org/10.1023/a:1004987830832openalex-snapshot
Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: A Comparative Study Part 1: The Flat Case
inferred← citeshttps://doi.org/10.1109/32.310667openalex-snapshot
Inconsistency handling in multiperspective specifications
inferred← citeshttps://doi.org/10.1109/apsec.2008.24openalex-snapshot
A Measurement-Driven Process Model for Managing Inconsistent Software Requirements
inferred← citeshttps://doi.org/10.1109/apsec.2010.13openalex-snapshot
A Formalism for Extending the NFR Framework to Support the Composition of the Goal Trees
inferred← citeshttps://doi.org/10.1109/coginf.2007.4341898openalex-snapshot
Quantifying Knowledge Base Inconsistency via Fixpoint Semantics
inferred← citeshttps://doi.org/10.1109/iri.2009.5211548openalex-snapshot
Inconsistency: The good, the bad, and the ugly
inferred← citeshttps://doi.org/10.1109/itcc.2004.1286686openalex-snapshot
Distributed knowledge management for autonomous access control in computer networks
inferred← citeshttps://doi.org/10.1142/9789812389718_0015openalex-snapshot
INCONSISTENCY MANAGEMENT IN SOFTWARE ENGINEERING: SURVEY AND OPEN RESEARCH ISSUES
inferred← citeshttps://doi.org/10.1145/292182.292187openalex-snapshot
Managing inconsistent specifications
inferred← citeshttps://doi.org/10.3233/fi-2009-0062openalex-snapshot
Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging
inferred← citeshttps://doi.org/10.4018/jkss.2012010101openalex-snapshot
A Blame-Based Approach to Generating Proposals for Handling Inconsistency in Software Requirements
inferred← citeshttps://doi.org/10.5220/0005176500270037openalex-snapshot
How to Decrease and Resolve Inconsistency of a Knowledge Base?
inferred← citeshttps://doi.org/10.5555/857204.858276openalex-snapshot
To be and not to be: on managing inconsistency in software development
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.