Search results for "Inconsistency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
132	Leopoldo E. Bertossi, Anthony Hunter, Torsten Schaub	Introduction to Inconsistency Tolerance.	Inconsistency Tolerance	2005	DBLP DOI BibTeX RDF
108	M. Andrea Rodríguez	Inconsistency Issues in Spatial Databases.	Inconsistency Tolerance	2005	DBLP DOI BibTeX RDF
101	Bashar Nuseibeh, Steve M. Easterbrook	The Process of Inconsistency Management: A Framework for Understanding.	DEXA Workshops	1999	DBLP DOI BibTeX RDF	specifications, consistency, requirements, inconsistency
93	John Grant, Anthony Hunter	Measuring inconsistency in knowledgebases.	J. Intell. Inf. Syst.	2006	DBLP DOI BibTeX RDF	Conflict resolution, Integrity constraints, Inconsistency, Paraconsistent logic
85	Thibault Renier, Erling Vestergaard Matthiesen, Hans-Peter Schwefel, Ramjee Prasad	Inconsistency Evaluation in a Replicated IP-Based Call Control System.	ISAS	2006	DBLP DOI BibTeX RDF	SIP, IMS, inconsistency, state replication, RSerPool, distributed fault-tolerance
85	Du Zhang	Quantifying Knowledge Base Inconsistency Via Fixpoint Semantics.	Trans. Comput. Sci.	2008	DBLP DOI BibTeX RDF	KB coherence, significance of inconsistency, inconsistency, fixpoint semantics
74	Du Zhang, Hong Zhu 0002	When Is Inconsistency Considered Harmful: Temporal Characterization of Knowledge Base Inconsistency.	IDEAL	2008	DBLP DOI BibTeX RDF	KB inconsistency, temporal inconsistency, conflicting intervals, interval temporal logic
69	Yijun Lu, Hong Jiang 0001, Dan Feng 0001	An Efficient, Low-Cost Inconsistency Detection Framework for Data and Service Sharing in an Internet-Scale System.	ICEBE	2005	DBLP DOI BibTeX RDF
69	Hendrik Decker, Davide Martinenghi	Classifying integrity checking methods with regard to inconsistency tolerance.	PPDP	2008	DBLP DOI BibTeX RDF	inconsistency tolerance, integrity constraints, integrity checking
69	Isil Dillig, Thomas Dillig, Alex Aiken	Static error detection using semantic inconsistency inference.	PLDI	2007	DBLP DOI BibTeX RDF	static analysis, error detection, satisfiability, inconsistency
69	Hideaki Sugimoto, Atsushi Ohnishi	A Detecting and Interpreting Method of the Inconsistency of Software Requirements Specifications.	APSEC	1999	DBLP DOI BibTeX RDF	Dempster and Shafer's theory, software requirements specification, inconsistency management
69	Du Zhang	On Temporal Properties of Knowledge Base Inconsistency.	Trans. Comput. Sci.	2009	DBLP DOI BibTeX RDF	knowledge inconsistency, temporal inconsistency, interval relations, conflicting intervals, Interval temporal logic
64	Kedian Mu, Zhi Jin, Didar Zowghi	A Measurement-Driven Process Model for Managing Inconsistent Software Requirements.	APSEC	2008	DBLP DOI BibTeX RDF
64	Pamela Drew, Calton Pu	Asynchronous consistency restoration under epsilon serializability.	HICSS (2)	1995	DBLP DOI BibTeX RDF	consistency restoration, epsilon serializability, data inconsistency, data integrity, concurrency control, object-oriented databases, inconsistency, concurrent processing
61	Kedian Mu, Zhi Jin, Ruqian Lu, Weiru Liu	Measuring Inconsistency in Requirements Specifications.	ECSQARU	2005	DBLP DOI BibTeX RDF
61	Yijun Lu, Hong Jiang 0001	A framework for efficient inconsistency detection in a grid and Internet-scale distributed environment.	HPDC	2005	DBLP DOI BibTeX RDF
61	Xuefeng Zhu, Zhi Jin	Inconsistency Measurement of Software Requirements Specifications: An Ontology-Based Approach.	ICECCS	2005	DBLP DOI BibTeX RDF
61	Kedian Mu, Weiru Liu, Zhi Jin, Ruqian Lu, Anbu Yue, David A. Bell	A Merging-Based Approach to Handling Inconsistency in Locally Prioritized Software Requirements.	KSEM	2007	DBLP DOI BibTeX RDF	Knowledge bases merging, Local prioritization, Requirements engineering, Viewpoints, Inconsistency
61	Chang Xu 0001, S. C. Cheung 0001, W. K. Chan 0001, Chunyang Ye	On impact-oriented automatic resolution of pervasive context inconsistency.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	inconsistency resolution, pervasive computing
61	Guilin Qi, Weiru Liu, David A. Bell	A revision-based approach to handling inconsistency in description logics.	Artif. Intell. Rev.	2006	DBLP DOI BibTeX RDF	Semantic web, Knowledge representation, Description logics, Stratification, Inconsistency handling
61	Ragnhild Van Der Straeten, Maja D'Hondt	Model refactorings through rule-based inconsistency resolution.	SAC	2006	DBLP DOI BibTeX RDF	description logics, rule-based systems, inconsistency management, model refactoring
55	Sylvie Coste-Marquis, Pierre Marquis	On the Complexity of Paraconsistent Inference Relations.	Inconsistency Tolerance	2005	DBLP DOI BibTeX RDF
53	Yue Ma 0009, Guilin Qi, Guohui Xiao 0001, Pascal Hitzler, Zuoquan Lin	An Anytime Algorithm for Computing Inconsistency Measurement.	KSEM	2009	DBLP DOI BibTeX RDF
53	Du Zhang	Quantifying Knowledge Base Inconsistency via Fixpoint Semantics.	IEEE ICCI	2007	DBLP DOI BibTeX RDF
53	Yue Ma 0009, Guilin Qi, Pascal Hitzler, Zuoquan Lin	Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.	ECSQARU	2007	DBLP DOI BibTeX RDF
53	Jochen Malte Küster, Ksenia Ryndina	Improving Inconsistency Resolution with Side-Effect Evaluation and Costs.	MoDELS	2007	DBLP DOI BibTeX RDF
53	Xuefeng Zhu, Zhi Jin	Detecting of Requirements Inconsistency : An Ontology-Based Approach.	CIT	2005	DBLP DOI BibTeX RDF
53	Xuefeng Zhu, Zhi Jin	Ontology-Based Inconsistency Management of Software Requirements Specifications.	SOFSEM	2005	DBLP DOI BibTeX RDF
53	Suryanil Ghosh	Paraconsistency and Beyond: A New Approach to Inconsistency Handling.	ISMIS	1994	DBLP DOI BibTeX RDF
53	Paul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons, Michael J. Wooldridge	Inconsistency tolerance in weighted argument systems.	AAMAS (2)	2009	DBLP BibTeX RDF	handling inconsistency, complexity, argumentation
53	Qingfeng Chen, Yi-Ping Phoebe Chen, Chengqi Zhang	Detecting inconsistency in biological molecular databases using ontologies.	Data Min. Knowl. Discov.	2007	DBLP DOI BibTeX RDF	Biological molecular databases, Ontology, Measure, Integration, Inconsistency, Data preparation
48	Xavier Blanc 0001, Alix Mougenot, Isabelle Mounier, Tom Mens	Incremental Detection of Model Inconsistencies Based on Model Operations.	CAiSE	2009	DBLP DOI BibTeX RDF
48	Kedian Mu, Zhi Jin	Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements.	FORTE	2007	DBLP DOI BibTeX RDF
48	Jinjun Chen, Yun Yang 0001	Flexible Temporal Consistency for Fixed-Time Constraint Verification in Grid Workflow Systems.	GCC	2005	DBLP DOI BibTeX RDF
48	Yijun Lu, Ying Lu, Hong Jiang 0001	IDEA: : an infrastructure for detection-based adaptive consistency control in replicated services.	HPDC	2007	DBLP DOI BibTeX RDF	inconsistency detection, adaptability, consistency control, replicated services
48	Anthony Hunter	Logical Comparison of Inconsistent Perspectives using Scoring Functions.	Knowl. Inf. Syst.	2004	DBLP DOI BibTeX RDF	Heterogeneous knowledge, Logic-based negotiation, Conflict resolution, Inconsistency handling
48	Sándor Bozóki, Tamás Rapcsák	On Saaty's and Koczkodaj's inconsistencies of pairwise comparison matrices.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Pairwise comparison matrix, Inconsistency index, Randomly generated pairwise comparison matrix, Inconsistency
48	Ashish Mehra, Jennifer Rexford, Hock-Siong Ang, Farnam Jahanian	Design and evaluation of a window-consistent replication service.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	back-up procedures, window-consistent primary-backup replication service, data replication protocols, bounded overhead, repository availability, consistency relaxation, controlled inconsistency, update transmission scheduling, client applications, failed primary, client loads, temporal inconsistency bounds, scheduling, fault tolerance, real-time systems, data integrity, distributed databases, timing, redundancy, redundancy, database theory, timing constraints, software fault tolerance, real-time applications, replicated databases, service guarantees, dependability constraints
47	Leopoldo E. Bertossi, Anthony Hunter, Torsten Schaub (eds.)	Inconsistency Tolerance [result from a Dagstuhl seminar]	Inconsistency Tolerance	2005	DBLP DOI BibTeX RDF
47	Leopoldo E. Bertossi, Loreto Bravo	Consistent Query Answers in Virtual Data Integration Systems.	Inconsistency Tolerance	2005	DBLP DOI BibTeX RDF
47	John K. Slaney	Relevant Logic and Paraconsistency.	Inconsistency Tolerance	2005	DBLP DOI BibTeX RDF
47	Anthony Hunter, Sébastien Konieczny	Approaches to Measuring Inconsistent Information.	Inconsistency Tolerance	2005	DBLP DOI BibTeX RDF
47	Jan Chomicki, Jerzy Marcinkowski	On the Computational Complexity of Minimal-Change Integrity Maintenance in Relational Databases.	Inconsistency Tolerance	2005	DBLP DOI BibTeX RDF
47	Marcelo Arenas, Wenfei Fan, Leonid Libkin	Consistency of XML Specifications.	Inconsistency Tolerance	2005	DBLP DOI BibTeX RDF
47	Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran	Representing Paraconsistent Reasoning via Quantified Propositional Logic.	Inconsistency Tolerance	2005	DBLP DOI BibTeX RDF
45	Xiaowang Zhang, Guohui Xiao 0001, Zuoquan Lin	A Tableau Algorithm for Handling Inconsistency in OWL.	ESWC	2009	DBLP DOI BibTeX RDF
45	Sven Grottke, Jan Sablatnig, Jiehua Chen 0001, Ruedi Seiler, Andreas Köpke, Adam Wolisz	Measures for Inconsistency in Distributed Virtual Environments.	ICPADS	2008	DBLP DOI BibTeX RDF
45	Chris J. Hinde, Robert Steven Patching, Roger G. Stone, Daniela Xhemali, Stephen A. McCoy	Reasoning Consistently about Inconsistency.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
45	Yue Ma 0009, Guilin Qi, Pascal Hitzler, Zuoquan Lin	An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics.	ECSQARU	2007	DBLP DOI BibTeX RDF
45	Chang Xu 0001, Shing-Chi Cheung	Inconsistency detection and resolution for context-aware middleware support.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	context consistency management, proactive repairing, pervasive computing, context modeling, semantic matching
45	Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati 0001	Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach.	DBPL	2005	DBLP DOI BibTeX RDF
45	Ernest Rotterdam, Sieger van Denneheuvel, Pim Hennis, Peter van Emde Boas	Resolution of Constraint Inconsistency with the Aim to Provide Support in Anaesthesia.	DEXA	1993	DBLP DOI BibTeX RDF	Expert Systems Architecture, Constraint Satisfaction, Medical Information Systems
45	Man Hon Wong 0001, Divyakant Agrawal	Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems.	PODS	1992	DBLP DOI BibTeX RDF
45	Yingfei Xiong 0001, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei 0001	Supporting automatic model inconsistency fixing.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	beanbag, inconsistency fixing, ocl, model consistency
45	Heng Lu 0001, W. K. Chan 0001, T. H. Tse	Testing pervasive software in the presence of context inconsistency resolution services.	ICSE	2008	DBLP DOI BibTeX RDF	context inconsistency resolution, pervasive computing, test adequacy
45	Mehrdad Sabetzadeh, Steve M. Easterbrook	View merging in the presence of incompleteness and inconsistency.	Requir. Eng.	2006	DBLP DOI BibTeX RDF	View-based development, View merging, Model management, Inconsistency management
45	Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh	Inconsistency Handling in Multperspective Specifications.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	multiperspective specifications, logical rules, formal specification, specifications, specification, data integrity, temporal logic, temporal logic, distributed processing, process modeling, complex systems, development, ViewPoints, distributed development, first order predicate logic, multiple perspectives, inconsistency handling
40	Damien Marshall, Seamus C. McLoone, Declan Delaney, Tomás Ward	Statistical Determination of Hybrid Threshold Parameters for Entity State Update Mechanisms in Distributed Interactive Applications.	DS-RT	2006	DBLP DOI BibTeX RDF
40	Jinjun Chen, Yun Yang 0001	Multiple Temporal Consistency States for Dynamical Verification of Upper Bound Constraints in Grid Workflow Systems.	e-Science	2005	DBLP DOI BibTeX RDF
40	Carl Hewitt	Large-Scale Organizational Computing Requires Unstratified Reflection and Strong Paraconsistency.	COIN	2007	DBLP DOI BibTeX RDF	Direct Logic, Mental Agents, Organizational Computing, ORGs (Organizations of Restricted Generality), Concurrency, Policies, Reflection, Norms, Norms, Inconsistency, Practices, Institutions, Co-ordination, Paraconsistency
40	Bráulio Coelho Ávila, Jair Minoro Abe, José Pacheco de Almeida Prado	ParaLog_e: A Paraconsistent Evidential Logic Programming Language.	SCCC	1997	DBLP DOI BibTeX RDF	Paralog e, paraconsistent evidential logic programming language, reasoning automation, formal theories, conflicting beliefs, contradictory information, paraconsistent logic, logic programming languages, inconsistency handling
37	David A. Bell, Guilin Qi, Weiru Liu	Approaches to Inconsistency Handling in Description-Logic Based Ontologies.	OTM Workshops (2)	2007	DBLP DOI BibTeX RDF
37	Jae W. Lee, Myron King, Krste Asanovic	Continual hashing for efficient fine-grain state inconsistency detection.	ICCD	2007	DBLP DOI BibTeX RDF
37	Muhammad Fahad 0011, Muhammad Abdul Qadir 0001, Muhammad Wajahaat Noshairwan	Semantic Inconsistency Errors in Ontology.	GrC	2007	DBLP DOI BibTeX RDF
37	Hendrik Decker, Davide Martinenghi	A Relaxed Approach to Integrity and Inconsistency in Databases.	LPAR	2006	DBLP DOI BibTeX RDF
37	Pascal Nicolas, Laurent Garcia, Igor Stéphan	A Possibilistic Inconsistency Handling in Answer Set Programming.	ECSQARU	2005	DBLP DOI BibTeX RDF
37	Guoyin Wang 0001, Feng Liu	The Inconsistency in Rough Set Based Rule Generation.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF
37	M. Andrea Rodríguez, Leopoldo E. Bertossi, Mónica Caniupán Marileo	An inconsistency tolerant approach to querying spatial databases.	GIS	2008	DBLP DOI BibTeX RDF	inconsistency tolerance, repair semantics, consistency
37	David H. Glass	Coherence measures and their relation to fuzzy similarity and inconsistency in knowledge bases.	Artif. Intell. Rev.	2006	DBLP DOI BibTeX RDF	Probability, Coherence, Inconsistency, Agreement, Independence, Fuzzy similarity
37	Xiangyu Jin, James C. French, Jonathan Michel	Quantative analysis of the impact of judging inconsistency on the performance of relevance feedback.	SIGIR	2006	DBLP DOI BibTeX RDF	judging inconsistency, performance evaluation, relevance feedback
37	Vicentiu Neagoe, Matt Bishop	Inconsistency in deception for defense.	NSPW	2006	DBLP DOI BibTeX RDF	security, operating systems, inconsistency, deception
37	William N. Robinson, Suzanne D. Pawlowski	Managing Requirements Inconsistency with Development Goal Monitors.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	inconsistency and conflict management, process modeling and monitoring, Requirements engineering, meta-modeling, CASE
37	John C. Grundy, John G. Hosking, Warwick B. Mugridge	Inconsistency Management for Multiple-View Software Development Environments.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	integrated software development environments, multiple views, collaborative software development, Inconsistency management
32	Guilin Qi, Jeff Z. Pan	A Tableau Algorithm for Possibilistic Description Logic .	ASWC	2008	DBLP DOI BibTeX RDF
32	Tom Mens, Ragnhild Van Der Straeten, Maja D'Hondt	Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis.	MoDELS	2006	DBLP DOI BibTeX RDF
32	Xuejun Yang, Xiangli Qu, Chunmei Gui	Towards Reliable Rating Filtering in Grid Reputation Systems: A Pre-Evaluating Set Based Bias-Tuned Approach1.	DASC	2006	DBLP DOI BibTeX RDF
32	Vincent Mousseau, Luis C. Dias, José Rui Figueira	Dealing with inconsistent judgments in multiple criteria sorting models.	4OR	2006	DBLP DOI BibTeX RDF	inconsistency analysis, Multicriteria decision aiding, sorting problem
32	Anthony Hunter, Bashar Nuseibeh	Managing Inconsistent Specifications: Reasoning, Analysis, and Action.	ACM Trans. Softw. Eng. Methodol.	1998	DBLP DOI BibTeX RDF	managing inconsistency, requiriements specification, viewpoints, paraconsistent logics
32	Steve M. Easterbrook, Bashar Nuseibeh	Managing inconsistencies in an evolving specification.	RE	1995	DBLP DOI BibTeX RDF	evolving specification, recurrent inconsistencies, unresolved inconsistencies, resolved inconsistencies, work record, formal specification, data integrity, software development management, ViewPoints, inconsistency management, partial specifications
29	Shan Shen, André J. Szameitat, Annette Sterr	Detection of Infarct Lesions From Single MRI Modality Using Inconsistency Between Voxel Intensity and Spatial Location - A 3-D Automatic Approach.	IEEE Trans. Inf. Technol. Biomed.	2008	DBLP DOI BibTeX RDF
29	Jian Zhang 0001	Checking Inconsistency of Rule Sets in Active Real-Time Databases.	HASE	2008	DBLP DOI BibTeX RDF
29	Yikun Zhang, Peng Yin, Du-Wu Cui, Hui Xia	A Method of Requirement Inconsistency Analysis.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
29	Arnon Avron, Anna Zamansky	Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency.	ISMVL	2007	DBLP DOI BibTeX RDF
29	Ulf Johansson, Rikard König, Lars Niklasson	Inconsistency - Friend or Foe.	IJCNN	2007	DBLP DOI BibTeX RDF
29	Wamberto Weber Vasconcelos, Martin J. Kollingbaum, Timothy J. Norman	Resolving conflict and inconsistency in norm-regulated virtual organizations.	AAMAS	2007	DBLP DOI BibTeX RDF	norms, institutions, artificial social systems, conventions
29	Yucai Feng, Wenhai Li, Zehua Lv, Xiaoming Ma	Reduced Attribute Oriented Inconsistency Handling in Decision Generation.	IDEAL	2006	DBLP DOI BibTeX RDF
29	Adolfo Gustavo Serra Seca Neto, Marcelo Finger	Effective Prover for Minimal Inconsistency Logic.	IFIP AI	2006	DBLP DOI BibTeX RDF
29	Yucai Feng, Wenhai Li, Zehua Lv	Reduced Attribute Oriented Handling of Inconsistency in Decision Generation.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	reduced attributes, reduced layer, joint membership function, rough set
29	Chang-Joo Moon, Hoh Peter In	Inconsistency Detection of Authorization Policies in Distributed Component Environment.	WISA	2004	DBLP DOI BibTeX RDF
29	Dongyi Ye, Zhaojiong Chen	Inconsistency Classification and Discernibility-Matrix-Based Approaches for Computing an Attribute Core.	RSFDGrC	2003	DBLP DOI BibTeX RDF
29	Francesco Quaglia, Andrea Santoro, Bruno Ciciani	Trade-Offs in Overhead vs. Effectiveness of Causality Inconsistency Tracking for Preemptive Rollback in Optimistic Simulation.	DS-RT	2002	DBLP DOI BibTeX RDF
29	Sergio Luján-Mora, Manuel Palomar	Comparing String Similarity Measures for Reducing Inconsistency in Integrating Data from Different Sources.	WAIM	2001	DBLP DOI BibTeX RDF
29	Peter Henderson 0001, B. Walters, Stephen Crouch	Inconsistency Tolerance across Enterprise Solutions.	FTDCS	2001	DBLP DOI BibTeX RDF
29	Aditya K. Ghose	Formal Tools for Managing Inconsistency and Change in RE.	IWSSD	2000	DBLP BibTeX RDF	formal methods, Requirements engineering
29	María Alpuente, Moreno Falaschi, Ferdinando Manzo	Analyses of Inconsistency for Incremental Equational Logic Programming.	PLILP	1992	DBLP DOI BibTeX RDF	Equational logic programming, universal unification, Abstract interpretation, term rewriting systems
29	Hendrik Decker	Basic Causes for the Inconsistency Tolerance of Query Answering and Integrity Checking.	DEXA Workshops	2010	DBLP DOI BibTeX RDF	inconsistency tolerance, answers that have integrity, integrity violation, integrity checking
29	Massila Kamalrudin	Automated Software Tool Support for Checking the Inconsistency of Requirements.	ASE	2009	DBLP DOI BibTeX RDF	textual and visual requirements representation, Requirements Engineering, Traceability, Inconsistency management
29	Chuan Qin 0001, Shuozhong Wang, Xinpeng Zhang 0001	Image Editing without Color Inconsistency Using Modified Poisson Equation.	IIH-MSP	2008	DBLP DOI BibTeX RDF	Color Inconsistency
29	Ana Belén Barragáns-Martínez, José Juan Pazos-Arias, Ana Fernández Vilas	Merging Requirements Views with Incompleteness and Inconsistency.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF	Requirements Specification, Merging, Viewpoints, Inconsistency, Incompleteness
29	Czeslaw Danilowicz, Ngoc Thanh Nguyen 0001	Consensus Methods for Solving Inconsistency of Replicated Data in Distributed Systems.	Distributed Parallel Databases	2003	DBLP DOI BibTeX RDF	data inconsistency, consensus methods, distributed system, data replication