Stem inconsist$ (all stems)

151 papers:

CASE-2015-FeldmannHKWKQLK #case study #comparison #consistency #design #nondeterminism #using

A comparison of inconsistency management approaches using a mechatronic manufacturing system design case study (SF, SJIH, KK, TW, DK, AQ, UL, HK, CJJP, BVH), pp. 158–165.

MSR-2015-WuMKGI #consistency #detection #nondeterminism #open source #scalability

A Method to Detect License Inconsistencies in Large-Scale Open Source Projects (YW, YM, TK, DMG, KI), pp. 324–333.

ICEIS-v2-2015-CostaMAO #automation #consistency #detection #named #nondeterminism

Fixture — A Tool for Automatic Inconsistencies Detection in Context-aware SPL (PAdSC, FGM, RMdCA, TO), pp. 114–125.

ECMFA-J-2012-PuissantSM15 #automation #consistency #nondeterminism #using

Resolving model inconsistencies using automated regression planning (JPP, RVDS, TM), pp. 461–481.

ESEC-FSE-2015-BehrangCO #consistency #nondeterminism

Users beware: preference inconsistencies ahead (FB, MBC, AO), pp. 295–306.

ICSE-v1-2015-OcarizaP0 #consistency #detection #javascript #mvc #nondeterminism

Detecting Inconsistencies in JavaScript MVC Applications (FSOJ, KP, AM), pp. 325–335.

ICSE-v1-2015-PradelSS #analysis #consistency #javascript #named #nondeterminism

TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript (MP, PS, KS), pp. 314–324.

ICSE-v2-2015-McCarthyRS #comprehension #consistency #named

Bixie: Finding and Understanding Inconsistent Code (TM, PR, MS), pp. 645–648.

SOSP-2015-ZhangSSKP #consistency #replication #transaction

Building consistent transactions with inconsistent replication (IZ, NKS, AS, AK, DRKP), pp. 263–278.

ICLP-2015-Wang #consistency #nondeterminism #probability #programming #set

Handling Probability and Inconsistency in Answer Set Programming (YW).

ICLP-J-2015-MannaRT #consistency #query #scalability

Taming primary key violations to query large inconsistent data via ASP (MM, FR, GT), pp. 696–710.

TLCA-2015-EscardoX #consistency #nondeterminism

The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation (MHE, CX), pp. 153–164.

WICSA-2014-DamRE #architecture #consistency #modelling #nondeterminism

Inconsistency Resolution in Merging Versions of Architectural Models (HKD, AR, AE), pp. 153–162.

ASE-2014-BurgDMDGH #consistency #nondeterminism #process

Tracing software build processes to uncover license compliance inconsistencies (SvdB, ED, SM, JD, DMG, AH), pp. 731–742.

ASE-2014-HigoK #consistency #named #nondeterminism #source code

MPAnalyzer: a tool for finding unintended inconsistencies in program source code (YH, SK), pp. 843–846.

PODS-2014-FaginKRV #consistency #information management #nondeterminism

Cleaning inconsistencies in information extraction via prioritized repairs (RF, BK, FR, SV), pp. 164–175.

FASE-2014-Stevens #bidirectional #consistency #nondeterminism

Bidirectionally Tolerating Inconsistency: Partial Transformations (PS), pp. 32–46.

CIKM-2014-JonesTMSS #comprehension #consistency #evaluation #matter #nondeterminism

Size and Source Matter: Understanding Inconsistencies in Test Collection-Based Evaluation (TJ, AT, SM, FS, MS), pp. 1843–1846.

KDIR-2014-AzadM #classification #consistency #fault #heuristic

“Misclassification Error” Greedy Heuristic to Construct Decision Trees for Inconsistent Decision Tables (MA, MJM), pp. 184–191.

KR-2014-Potyka #consistency #linear #logic #nondeterminism #probability #source code

Linear Programs for Measuring Inconsistency in Probabilistic Logics (NP).

ISSTA-2014-ChoudharyPO14a #consistency #detection #named #nondeterminism #testing #web

X-PERT: a web application testing tool for cross-browser inconsistency detection (SRC, MRP, AO), pp. 417–420.

ASE-2013-RayKPR #consistency #detection #nondeterminism #semantics

Detecting and characterizing semantic inconsistencies in ported code (BR, MK, SP, NR), pp. 367–377.

VLDB-2013-KolaitisPT #consistency #database #integer #performance #programming #query

Efficient Querying of Inconsistent Databases with Binary Integer Programming (PGK, EP, WCT), pp. 397–408.

HIMI-LCCB-2013-ShiTS #consistency #nondeterminism #online #recommendation

Timing and Basis of Online Product Recommendation: The Preference Inconsistency Paradox (AS, CHT, CLS), pp. 531–539.

ECIR-2013-MetrikovPA #consistency #nondeterminism #optimisation

Optimizing nDCG Gains by Minimizing Effect of Label Inconsistency (PM, VP, JAA), pp. 760–763.

ESEC-FSE-2013-SchafSW #consistency

Explaining inconsistent code (MS, DSN, TW), pp. 521–531.

ICSE-2013-FemmerGLM #case study #consistency #detection #nondeterminism

Detecting inconsistencies in wrappers: a case study (HF, DG, ML, DM), pp. 1022–1031.

ASE-2012-RederE #consistency #design #modelling #nondeterminism

Computing repair trees for resolving inconsistencies in design models (AR, AE), pp. 220–229.

DATE-2012-WilleSD #consistency #debugging #modelling #ocl #uml

Debugging of inconsistent UML/OCL models (RW, MS, RD), pp. 1078–1083.

WCRE-J-2009-BettenburgSIAZH12 #consistency #empirical

An empirical study on inconsistent changes to code clones at the release level (NB, WS, WMI, BA, YZ, AEH), pp. 760–776.

ICSM-2012-HigoK #consistency #detection #how #nondeterminism

How often do unintended inconsistencies happen? Deriving modification patterns and detecting overlooked code fragments (YH, SK), pp. 222–231.

KEOD-2012-Decker #datalog #information management

Datalog for Inconsistency-tolerant Knowledge Engineering (HD), pp. 296–301.

ECMFA-2012-PuissantSM #consistency #design #named #nondeterminism

Badger: A Regression Planner to Resolve Design Model Inconsistencies (JPP, RVDS, TM), pp. 146–161.

MoDELS-2012-FariasGL #aspect-oriented #consistency #detection #empirical #nondeterminism

Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled Experiment (KF, AG, CJPdL), pp. 219–234.

MoDELS-2012-FariasGL #aspect-oriented #consistency #detection #empirical #nondeterminism

Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled Experiment (KF, AG, CJPdL), pp. 219–234.

SPLC-2012-NohrerBE #comparison #consistency #nondeterminism

A comparison of strategies for tolerating inconsistencies during decision-making (AN, AB, AE), pp. 11–20.

ICST-2012-TanMTL #consistency #detection #nondeterminism #testing

@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies (SHT, DM, LT, GTL), pp. 260–269.

ISSTA-2012-AlkhalafCFBOK #analysis #consistency #difference #named #nondeterminism #string #validation

ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies (MA, SRC, MF, TB, AO, CK), pp. 56–66.

ISSTA-2012-TombF #analysis #consistency #detection #nondeterminism #reachability

Detecting inconsistencies via universal reachability analysis (AT, CF), pp. 287–297.

FASE-2011-PostHP #named #realtime #requirements

rt-Inconsistency: A New Property for Real-Time Requirements (AP, JH, AP), pp. 34–49.

CHI-2011-SchwindBH #recommendation

I will do it, but i don’t like it: user reactions to preference-inconsistent recommendations (CS, JB, FWH), pp. 349–352.

CIKM-2011-LianLC #consistency #database #low cost #probability

Cost-efficient repair in inconsistent probabilistic databases (XL, YL, LC), pp. 1731–1736.

SEKE-2011-Amasaki #case study #consistency #estimation #linear #nondeterminism #performance

A Study on Performance Inconsistency between Estimation by Analogy and Linear Regression (SA), pp. 485–488.

SEKE-2011-Zhang #heuristic #problem

Inconsistency-Induced Heuristics for Problem Solving (DZ), pp. 137–142.

BX-2011-Boronat #consistency #detection #maude #modelling #nondeterminism #specification #using

Inconsistency detection and resolution in heterogenous model-based specifications using Maude (AB), p. 53.

ECMFA-2011-NoirDESB #case study #consistency #detection #experience #nondeterminism #representation

Operation Based Model Representation: Experiences on Inconsistency Detection (JLN, OD, DE, MAAdS, XB), pp. 85–96.

ECMFA-2011-StraetenPM #consistency #nondeterminism

Assessing the Kodkod Model Finder for Resolving Model Inconsistencies (RVDS, JPP, TM), pp. 69–84.

ICSE-2011-GenevesL #consistency #detection #ide #xml

Inconsistent path detection for XML IDEs (PG, NL), pp. 983–985.

ICSE-2011-NohrerRE #consistency #effectiveness #nondeterminism

Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution (AN, AR, AE), pp. 864–867.

ICSE-2011-Reder #consistency #development #framework #modelling #nondeterminism

Inconsistency management framework for model-based development (AR), pp. 1098–1101.

CASE-2010-AllenT #consistency #detection #fault #industrial #nondeterminism

Event-based fault detection of manufacturing cell: Data inconsistencies between academic assumptions and industry practice (LVA, DMT), pp. 426–432.

SIGMOD-2010-LianCS #consistency #database #probability #query

Consistent query answers in inconsistent probabilistic databases (XL, LC, SS), pp. 303–314.

CAiSE-2010-SilvaMBB #automation #consistency #design #modelling #nondeterminism #towards

Towards Automated Inconsistency Handling in Design Models (MAAdS, AM, XB, RB), pp. 348–362.

KR-2010-EiterFSW #consistency #multi #nondeterminism

Finding Explanations of Inconsistency in Multi-Context Systems (TE, MF, PS, AW).

KR-2010-GebserGISSTV #biology #consistency #network #nondeterminism #predict #programming #scalability #set

Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming (MG, CG, MI, TS, AS, ST, PV).

KR-2010-XiaoLMQ #consistency #metric #multi #nondeterminism #satisfiability #semantics

Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers (GX, ZL, YM, GQ).

ECMFA-2010-Lopez-HerrejonE #consistency #detection #modelling #multi #nondeterminism #variability

Detecting Inconsistencies in Multi-View Models with Variability (RELH, AE), pp. 217–232.

MoDELS-v1-2010-WangXHZZM #approach #consistency #feature model #modelling

A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models (BW, YX, ZH, HZ, WZ, HM), pp. 181–195.

OOPSLA-2010-GabelYYGS #consistency #detection #nondeterminism #scalability #source code

Scalable and systematic detection of buggy inconsistencies in source code (MG, JY, YY, MG, ZS), pp. 175–190.

RE-2010-JuretaBEM #consistency #generative #modelling #named #nondeterminism #requirements #towards

Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling (IJ, AB, NAE, JM), pp. 115–124.

RE-2010-KamalrudinHG #approach #automation #consistency #named #nondeterminism #requirements #visual notation

MaramaAI: Automated and Visual Approach for Inconsistency Checking of Requirements (MK, JGH, JCG), pp. 393–394.

ASE-2009-Kamalrudin #automation #consistency #nondeterminism #requirements #tool support

Automated Software Tool Support for Checking the Inconsistency of Requirements (MK), pp. 693–697.

ASE-2009-RoseKPP #automation #consistency #metamodelling #nondeterminism

Enhanced Automation for Managing Model and Metamodel Inconsistency (LMR, DSK, RFP, FACP), pp. 545–549.

WCRE-1999-BettenburgSIAZH99a #consistency #empirical

An Empirical Study on Inconsistent Changes to Code Clones at Release Level (NB, WS, WMI, BA, YZ, AEH), pp. 85–94.

CAiSE-2009-BlancMMM #consistency #detection #incremental #nondeterminism

Incremental Detection of Model Inconsistencies Based on Model Operations (XB, AM, IM, TM), pp. 32–46.

ICEIS-ISAS-2009-HidalgoGT #consistency #data type #detection #nondeterminism #performance

Efficient Data Structures for Local Inconsistency Detection in Firewall ACL Updates (SPH, RMG, FTdlR), pp. 176–181.

SEKE-2009-HendersonH #architecture #collaboration #consistency #development #nondeterminism

Collaborative Development of System Architecture — a Tool for Coping with Inconsistency (PH, MJH), pp. 520–525.

SEKE-2009-Zhang #consistency #development #nondeterminism

Taming Inconsistency in Value-based Software Development (DZ), pp. 450–455.

REFSQ-2009-PerrouinBBT #consistency #detection #modelling #nondeterminism #perspective #requirements

Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective (GP, EB, BB, YLT), pp. 89–103.

ESEC-FSE-2009-XiongHZSTM #automation #consistency #nondeterminism

Supporting automatic model inconsistency fixing (YX, ZH, HZ, HS, MT, HM), pp. 315–324.

TestCom-FATES-2009-ZeissG #consistency #nondeterminism #testing

Analyzing Response Inconsistencies in Test Suites (BZ, JG), pp. 195–210.

ASE-2008-EgyedLF #consistency #design #generative #modelling #nondeterminism #uml

Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models (AE, EL, AF), pp. 99–108.

ICEIS-ISAS2-2008-FahadQN #consistency #fault #nondeterminism #ontology

Ontological Errors — Inconsistency, Incompleteness and Redundancy (MF, MAQ, MWN), pp. 253–285.

ICML-2008-ColemanSW #clustering #consistency

Spectral clustering with inconsistent advice (TC, JS, AW), pp. 152–159.

KR-2008-BinasM #consistency #peer-to-peer #query

Peer-to-Peer Query Answering with Inconsistent Knowledge (AB, SAM), pp. 329–339.

KR-2008-HunterK #consistency #nondeterminism #set

Measuring Inconsistency through Minimal Inconsistent Sets (AH, SK), pp. 358–366.

KR-2008-MartinezPPSS #consistency #nondeterminism #policy

Inconsistency Management Policies (MVM, FP, AP, GIS, VSS), pp. 367–377.

PPDP-2008-DeckerM #consistency #nondeterminism

Classifying integrity checking methods with regard to inconsistency tolerance (HD, DM), pp. 195–204.

ICSE-2008-BlancMMM #consistency #detection #nondeterminism

Detecting model inconsistency through operation-based model construction (XB, IM, AM, TM), pp. 511–520.

ICSE-2008-LuCT #consistency #nondeterminism #pervasive #testing

Testing pervasive software in the presence of context inconsistency resolution services (HL, WKC, THT), pp. 61–70.

ICLP-2008-GebserSTUV #biology #consistency #detection #network #nondeterminism #programming #scalability #set

Detecting Inconsistencies in Large Biological Networks with Answer Set Programming (MG, TS, ST, BU, PV), pp. 130–144.

ICST-2008-KolovosPP #consistency #detection #modelling #nondeterminism

Detecting and Repairing Inconsistencies across Heterogeneous Models (DSK, RFP, FP), pp. 356–364.

ICST-2008-LeiWL #concurrent #consistency #diagrams #java #nondeterminism #process #source code #testing #uml

UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency (BL, LW, XL), pp. 200–209.

SIGMOD-2007-QiCS #consistency #data flow #named #nondeterminism #query

FICSR: feedback-based inconsistency resolution and query processing on misaligned data sources (YQ, KSC, MLS), pp. 151–162.

WCRE-2007-Krinke #case study #consistency

A Study of Consistent and Inconsistent Changes to Code Clones (JK), pp. 170–178.

PLDI-2007-DilligDA #consistency #detection #fault #nondeterminism #semantics #using

Static error detection using semantic inconsistency inference (ID, TD, AA), pp. 435–445.

MoDELS-2007-KusterR #consistency #evaluation #nondeterminism

Improving Inconsistency Resolution with Side-Effect Evaluation and Costs (JMK, KR), pp. 136–150.

MoDELS-2007-KusterR #consistency #evaluation #nondeterminism

Improving Inconsistency Resolution with Side-Effect Evaluation and Costs (JMK, KR), pp. 136–150.

SAC-2007-PolatD #privacy #using

Effects of inconsistently masked data using RPT on CF with privacy (HP, WD), pp. 649–653.

ESEC-FSE-2007-XuCCY #automation #consistency #nondeterminism #on the #pervasive

On impact-oriented automatic resolution of pervasive context inconsistency (CX, SCC, WKC, CY), pp. 569–572.

ICSE-2007-Egyed #consistency #design #modelling #nondeterminism #uml

Fixing Inconsistencies in UML Design Models (AE), pp. 292–301.

PPoPP-2007-BaudeCDH #consistency

Promised messages: recovering from inconsistent global states (FB, DC, CD, LH), pp. 154–155.

ICLP-2007-GrecoM #consistency #database #query #semantics

Querying and Repairing Inconsistent Databases Under Three-Valued Semantics (SG, CM), pp. 149–164.

ASE-2006-Sabetzadeh #consistency

Management of Incomplete and Inconsistent Views (MS), pp. 339–342.

EDOC-2006-GorpAJ #2d #consistency #contract #framework #nondeterminism #towards #traceability #visual notation

Towards 2D Traceability in a Platform for Contract Aware Visual Transformations with Tolerated Inconsistencies (PVG, FA, DJ), pp. 185–198.

ICEIS-DISI-2006-CaropreseGZ #consistency #database #dependence #functional #query

Merging, Repairing and Querying Inconsistent Databases with Functional and Inclusion Dependencies (LC, SG, EZ), pp. 38–45.

KR-2006-HunterK #consistency #nondeterminism

Shapley Inconsistency Values (AH, SK), pp. 249–259.

SIGIR-2006-JinFM #analysis #consistency #feedback #nondeterminism #performance

Quantative analysis of the impact of judging inconsistency on the performance of relevance feedback (XJ, JCF, JM), pp. 655–656.

MoDELS-2006-MensSD #analysis #consistency #dependence #detection #nondeterminism #using

Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis (TM, RVDS, MD), pp. 200–214.

MoDELS-2006-MensSD #analysis #consistency #dependence #detection #nondeterminism #using

Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis (TM, RVDS, MD), pp. 200–214.

SAC-2006-StraetenD #consistency #nondeterminism #refactoring #rule-based

Model refactorings through rule-based inconsistency resolution (RVDS, MD), pp. 1210–1217.

SIGMOD-2005-FuxmanFM #consistency #database #named #performance

ConQuer: Efficient Management of Inconsistent Databases (AF, EF, RJM), pp. 155–166.

SIGMOD-2005-LeoneGILTEFFGRLLRKNS #consistency #integration

The INFOMIX system for advanced integration of incomplete and inconsistent data (NL, GG, GI, VL, GT, TE, WF, MF, GG, RR, DL, ML, MR, EK, BN, WS), pp. 915–917.

VLDB-2005-FuxmanFM #consistency #database #named #performance #query

ConQuer: A System for Efficient Querying Over Inconsistent Databases (AF, DF, RJM), pp. 1354–1357.

STOC-2005-AilonCN #clustering #consistency #ranking

Aggregating inconsistent information: ranking and clustering (NA, MC, AN), pp. 684–693.

RE-2005-SabetzadehE #algebra #consistency #framework

An Algebraic Framework for Merging Incomplete and Inconsistent Views (MS, SME), pp. 306–318.

RE-2005-SabetzadehE05a #consistency #named

iVuBlender: A Tool for Merging Incomplete and Inconsistent Views (MS, SME), pp. 453–454.

ESEC-FSE-2005-XuC #consistency #detection #middleware #nondeterminism

Inconsistency detection and resolution for context-aware middleware support (CX, SCC), pp. 336–345.

HPDC-2005-LuJ05a #consistency #detection #distributed #framework #grid #nondeterminism #performance

A framework for efficient inconsistency detection in a grid and Internet-scale distributed environment (YL, HJ), pp. 318–319.

DocEng-2004-ScheffczykRBS #consistency #repository

Managing inconsistent repositories via prioritized repairs (JS, PR, UMB, LS), pp. 137–146.

ICEIS-v3-2004-ToffolonD #consistency #development #nondeterminism

Human-Centered Systems Development and Use Inconsistencies (CT, SD), pp. 34–41.

ICPR-v4-2004-Richard #approach #consistency #difference #image

A New Approach For The Registration of Images With Inconsistent Differences (FJPR), pp. 649–652.

KR-2004-QiLG #consistency #knowledge base

A Split-Combination Method for Merging Inconsistent Possibilistic Knowledge Bases (GQ, WL, DHG), pp. 348–356.

ASE-2003-SabetzadehE #analysis #approach #consistency #graph #nondeterminism

Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach (MS, SME), pp. 12–21.

PODS-2003-CaliLR #complexity #consistency #database #decidability #on the #query #semistructured data

On the decidability and complexity of query answering over inconsistent and incomplete databases (AC, DL, RR), pp. 260–271.

SEKE-2003-SouzaORGR #consistency #detection #modelling #nondeterminism #re-engineering #using

Using Critiquing Systems for Inconsistency Detection in Software Engineering Models (CRBdS, HLRO, CRPdR, KMG, DFR), pp. 196–203.

PADL-2003-BarceloB #consistency #database #logic programming #query #source code

Logic Programs for Querying Inconsistent Databases (PB, LEB), pp. 208–222.

CIKM-2002-YuXSTK #collaboration #consistency #in memory #nondeterminism

Removing redundancy and inconsistency in memory-based collaborative filtering (KY, XX, AS, VT, HPK), pp. 52–59.

KR-2002-LangM #consistency #nondeterminism

Resolving Inconsistencies by Variable Forgetting (JL, PM), pp. 239–250.

ICEIS-v1-2001-Lujan-MoraM #consistency #nondeterminism

Reducing Inconsistency in Data Warehouses (SLM, EM), pp. 199–206.

ICSE-2001-Balzer01a #consistency #nondeterminism #revisited

“Tolerating Inconsistency” Revisited (RB), p. 665.

ICSE-2001-EasterbrookC #consistency #framework #multi #reasoning

A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints (SME, MC), pp. 411–420.

SOSP-2001-EnglerCC #approach #behaviour #consistency #debugging #fault

Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code (DRE, DYC, AC), pp. 57–72.

ICLP-2001-GrecoGZ #approach #consistency #database #integration #logic programming #query

A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases (GG, SG, EZ), pp. 348–364.

CL-2000-ArenasBK #calculus #consistency #database #query

Applications of Annotated Predicate Calculus to Querying Inconsistent Databases (MA, LEB, MK), pp. 926–941.

CL-2000-CelleB #algorithm #consistency #database #implementation #query

Querying Inconsistent Databases: Algorithms and Implementation (AC, LEB), pp. 942–956.

PODS-1999-ArenasBC #consistency #database #query

Consistent Query Answers in Inconsistent Databases (MA, LEB, JC), pp. 68–79.

RE-1999-GoedickeMT #consistency #development #distributed #graph transformation #nondeterminism #towards

ViewPoint-Oriented Software Development by Distributed Graph Transformation: Towards a Basis for Living with Inconsistencies (MG, TM, GT), pp. 92–99.

ASE-1998-GoedickeMP #architecture #consistency #design #detection #evaluation #nondeterminism #on the #performance

On Detecting and Handling Inconsistencies in Integrating Software Architecture Design and Performance Evaluation (MG, TM, CP), pp. 188–191.

ICSM-1998-FiutemA #case study #consistency #identification #nondeterminism #object-oriented

Identifying Design-Code Inconsistencies in Object-Oriented Software: A Case Study (RF, GA), p. 94–?.

KR-1998-BenferhatDLPSS #approach #consistency #knowledge base #nondeterminism

A General Approach for Inconsistency Handling and Merging Information in Prioritized Knowledge Bases (SB, DD, JL, HP, AS, PS), pp. 466–477.

ICRE-1998-RussoNK #case study #consistency #nondeterminism #requirements #specification

Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study (AR, BN, JK), p. 51–?.

RE-1997-HunterN #consistency #specification

Analyzing Inconsistent Specifications (AH, BN), pp. 78–86.

RE-1995-EasterbrookN #consistency #evolution #nondeterminism #specification

Managing inconsistencies in an evolving specification (SME, BN), pp. 48–55.

LICS-1994-ArieliA #consistency #logic

Logical Bilattices and Inconsistent Data (OA, AA), pp. 468–476.

ESEC-1993-FinkelsteinGHKN #consistency #multi #nondeterminism #specification

Inconsistency Handling in Multi-Perspective Specifications (AF, DMG, AH, JK, BN), pp. 84–99.

CSL-1993-Gomolko #consistency #logic #nondeterminism #prolog

Negation as Inconsistency in PROLOG via Intuitionistic Logic (AG), pp. 128–138.

PODS-1992-WongA #bound #concurrent #consistency #database #nondeterminism

Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems (MHW, DA), pp. 236–245.

KR-1992-PinkasL #consistency #nondeterminism #reasoning #taxonomy

Reasoning from Inconsistency: A Taxonomy of Principles for Resolving Conflict (GP, RPL), pp. 709–719.

SEKE-1992-HaoTJ #consistency #modelling #nondeterminism #process #prototype

Prototyping an Inconsistency Checking Tool for Software Process Models (JKH, FT, JJ), pp. 227–234.

PLILP-1992-AlpuenteFM #analysis #consistency #equation #incremental #logic programming #nondeterminism

Analyses of Inconsistency for Incremental Equational Logic Programming (MA, MF, FM), pp. 443–457.

KR-1991-PequenoB #consistency #logic #nondeterminism

The Logic of Epistemic Inconsistency (THCP, AB), pp. 453–460.

ML-1991-MaW #consistency #knowledge base #optimisation #performance

Improving the Performance of Inconsistent Knowledge Bases via Combined Optimization Method (YM, DCW), pp. 23–27.

SIGIR-1991-Cooper #consistency #information retrieval #nondeterminism #probability

Inconsistencies and Misnomers in Probabilistic IR (WSC), pp. 57–61.

ICSE-1991-Balzer #consistency #nondeterminism

Tolerating Inconsistency (RB), pp. 158–165.

ML-1990-Hirsh #bound #consistency #learning #nondeterminism

Learning from Data with Bounded Inconsistency (HH), pp. 32–39.

NACLP-1990-NaqviR #consistency #database #reasoning

Reasoning in Inconsistent Databases (SAN, FR), pp. 255–272.

ML-1989-WilkinsT #consistency #knowledge base #refinement

Knowledge Base Refinement as Improving an Incorrect, Inconsistent and Incomplete Domain Theory (DCW, KWT), pp. 332–339.

LICS-1989-KiferL #consistency #logic #named #nondeterminism #reasoning

RI: A Logic for Reasoning with Inconsistency (MK, ELL), pp. 253–262.

CADE-1988-SubrahmanianU #approximate #consistency #named #reasoning

QUANTLOG: A System for Approximate Reasoning in Inconsistent Formal Systems (VSS, ZDU), pp. 746–747.

VLDB-1977-GardarinL #algorithm #consistency #database #nondeterminism #scalability #scheduling

Scheduling Algorithms for Avoiding Inconsistency in Large Databases (GG, PL), pp. 501–506.