|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1236 occurrences of 825 keywords
|
|
|
Results
Found 2355 publication records. Showing 2355 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
132 | Leopoldo E. Bertossi, Anthony Hunter, Torsten Schaub |
Introduction to Inconsistency Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![In: Inconsistency Tolerance [result from a Dagstuhl seminar], pp. 1-14, 2005, Springer, 3-540-24260-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
108 | M. Andrea Rodríguez |
Inconsistency Issues in Spatial Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![In: Inconsistency Tolerance [result from a Dagstuhl seminar], pp. 237-269, 2005, Springer, 3-540-24260-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
101 | Bashar Nuseibeh, Steve M. Easterbrook |
The Process of Inconsistency Management: A Framework for Understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 10th International Workshop on Database & Expert Systems Applications, Florence, Italy, September 1-3, 1999, Proceedings., pp. 364-368, 1999, IEEE Computer Society, 0-7695-0281-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
specifications, consistency, requirements, inconsistency |
93 | John Grant, Anthony Hunter |
Measuring inconsistency in knowledgebases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 27(2), pp. 159-184, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAS ![In: Service Availability, Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected Papers, pp. 177-192, 2006, Springer, 3-540-68724-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
SIP, IMS, inconsistency, state replication, RSerPool, distributed fault-tolerance |
85 | Du Zhang |
Quantifying Knowledge Base Inconsistency Via Fixpoint Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comput. Sci. ![In: Transactions on Computational Science II, pp. 145-160, 2008, Springer, 978-3-540-87562-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2008, 9th International Conference, Daejeon, South Korea, November 2-5, 2008, Proceedings, pp. 395-403, 2008, Springer, 978-3-540-88905-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEBE ![In: 2005 IEEE International Conference on e-Business Engineering (ICEBE 2005), 18-21 October 2005, Beijing, China, pp. 373-380, 2005, IEEE Computer Society, 0-7695-2430-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
69 | Hendrik Decker, Davide Martinenghi |
Classifying integrity checking methods with regard to inconsistency tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain, pp. 195-204, 2008, ACM, 978-1-60558-117-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, pp. 435-445, 2007, ACM, 978-1-59593-633-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 6th Asia-Pacific Software Engineering Conference (APSEC '99), 7-10 December 1999, Takamatsu, Japan, pp. 208-215, 1999, IEEE Computer Society, 0-7695-0509-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comput. Sci. ![In: Transactions on Computational Science V, Special Issue on Cognitive Knowledge Representation, pp. 20-37, 2009, Springer, 978-3-642-02096-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China, pp. 291-298, 2008, IEEE Computer Society, 978-0-7695-3446-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
64 | Pamela Drew, Calton Pu |
Asynchronous consistency restoration under epsilon serializability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 717-726, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings, pp. 440-451, 2005, Springer, 3-540-27326-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 14th IEEE International Symposium on High Performance Distributed Computing, HPDC-14, Research Triangle Park, North Carolina, USA, 24-27 July 2005, pp. 318-319, 2005, IEEE Computer Society, 0-7803-9037-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
61 | Xuefeng Zhu, Zhi Jin |
Inconsistency Measurement of Software Requirements Specifications: An Ontology-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 402-410, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings, pp. 103-114, 2007, Springer, 978-3-540-76718-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 569-572, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 26(1-2), pp. 115-128, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1210-1217, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![In: Inconsistency Tolerance [result from a Dagstuhl seminar], pp. 151-190, 2005, Springer, 3-540-24260-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, Third International Conference, KSEM 2009, Vienna, Austria, November 25-27, 2009. Proceedings, pp. 29-40, 2009, Springer, 978-3-642-10487-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Du Zhang |
Quantifying Knowledge Base Inconsistency via Fixpoint Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the Six IEEE International Conference on Cognitive Informatics, ICCI 2007, August 6-8, Lake Tahoe, CA, USA, pp. 255-262, 2007, IEEE Computer Society, 1-4244-1327-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Yue Ma 0009, Guilin Qi, Pascal Hitzler, Zuoquan Lin |
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings, pp. 30-41, 2007, Springer, 978-3-540-75255-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Jochen Malte Küster, Ksenia Ryndina |
Improving Inconsistency Resolution with Side-Effect Evaluation and Costs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings, pp. 136-150, 2007, Springer, 978-3-540-75208-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Xuefeng Zhu, Zhi Jin |
Detecting of Requirements Inconsistency : An Ontology-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Fifth International Conference on Computer and Information Technology (CIT 2005), 21-23 September 2005, Shanghai, China, pp. 869-875, 2005, IEEE Computer Society, 0-7695-2432-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
53 | Xuefeng Zhu, Zhi Jin |
Ontology-Based Inconsistency Management of Software Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2005: Theory and Practice of Computer Science, 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Proceedings, pp. 340-349, 2005, Springer, 3-540-24302-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
53 | Suryanil Ghosh |
Paraconsistency and Beyond: A New Approach to Inconsistency Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994, Proceedings, pp. 531-540, 1994, Springer, 3-540-58495-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
53 | Paul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons, Michael J. Wooldridge |
Inconsistency tolerance in weighted argument systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (2) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, pp. 851-858, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 15(2), pp. 275-296, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings, pp. 32-46, 2009, Springer, 978-3-642-02143-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
48 | Kedian Mu, Zhi Jin |
Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings, pp. 296-308, 2007, Springer, 978-3-540-73195-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Jinjun Chen, Yun Yang 0001 |
Flexible Temporal Consistency for Fixed-Time Constraint Verification in Grid Workflow Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC ![In: Grid and Cooperative Computing - GCC 2005, 4th International Conference, Beijing, China, November 30 - December 3, 2005, Proceedings, pp. 300-311, 2005, Springer, 3-540-30510-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 16th International Symposium on High-Performance Distributed Computing (HPDC-16 2007), 25-29 June 2007, Monterey, California, USA, pp. 223-224, 2007, ACM, 978-1-59593-673-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
inconsistency detection, adaptability, consistency control, replicated services |
48 | Anthony Hunter |
Logical Comparison of Inconsistent Perspectives using Scoring Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 6(5), pp. 528-543, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 42(2), pp. 157-175, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 1st IEEE Real-Time Technology and Applications Symposium, Chicago, Illinois, USA, May 15-17, 1995, pp. 182-191, 1995, IEEE Computer Society, 0-8186-6980-2. The full citation details ...](Pics/full.jpeg) |
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] ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![Springer, 3-540-24260-0 The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Leopoldo E. Bertossi, Loreto Bravo |
Consistent Query Answers in Virtual Data Integration Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![In: Inconsistency Tolerance [result from a Dagstuhl seminar], pp. 42-83, 2005, Springer, 3-540-24260-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | John K. Slaney |
Relevant Logic and Paraconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![In: Inconsistency Tolerance [result from a Dagstuhl seminar], pp. 270-293, 2005, Springer, 3-540-24260-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Anthony Hunter, Sébastien Konieczny |
Approaches to Measuring Inconsistent Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![In: Inconsistency Tolerance [result from a Dagstuhl seminar], pp. 191-236, 2005, Springer, 3-540-24260-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Jan Chomicki, Jerzy Marcinkowski |
On the Computational Complexity of Minimal-Change Integrity Maintenance in Relational Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![In: Inconsistency Tolerance [result from a Dagstuhl seminar], pp. 119-150, 2005, Springer, 3-540-24260-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Marcelo Arenas, Wenfei Fan, Leonid Libkin |
Consistency of XML Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![In: Inconsistency Tolerance [result from a Dagstuhl seminar], pp. 15-41, 2005, Springer, 3-540-24260-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran |
Representing Paraconsistent Reasoning via Quantified Propositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![In: Inconsistency Tolerance [result from a Dagstuhl seminar], pp. 84-118, 2005, Springer, 3-540-24260-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
45 | Xiaowang Zhang, Guohui Xiao 0001, Zuoquan Lin |
A Tableau Algorithm for Handling Inconsistency in OWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings, pp. 399-413, 2009, Springer, 978-3-642-02120-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 14th International Conference on Parallel and Distributed Systems, ICPADS 2008, Melbourne, Victoria, Australia, December 8-10, 2008, pp. 859-864, 2008, IEEE Computer Society, 978-0-7695-3434-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
45 | Chris J. Hinde, Robert Steven Patching, Roger G. Stone, Daniela Xhemali, Stephen A. McCoy |
Reasoning Consistently about Inconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, UK, 23-26 July, 2007, Proceedings, pp. 1-7, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
45 | Yue Ma 0009, Guilin Qi, Pascal Hitzler, Zuoquan Lin |
An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings, pp. 91-102, 2007, Springer, 978-3-540-75255-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
45 | Chang Xu 0001, Shing-Chi Cheung |
Inconsistency detection and resolution for context-aware middleware support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005, pp. 336-345, 2005, ACM, 1-59593-014-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Database Programming Languages, 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers, pp. 90-105, 2005, Springer, 3-540-30951-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 4th International Conference, DEXA'93, Prague, Czech Republic, September 6-8, 1993, Proceedings, pp. 541-552, 1993, Springer, 3-540-57234-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 2-4, 1992, San Diego, California, USA, pp. 236-245, 1992, ACM Press, 0-89791-519-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, pp. 315-324, 2009, ACM, 978-1-60558-001-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 61-70, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 11(3), pp. 174-193, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(8), pp. 569-578, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 10th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2006), 2-4 October 2006, Malaga, Spain, pp. 85-94, 2006, IEEE Computer Society, 0-7695-2697-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
e-Science ![In: First International Conference on e-Science and Grid Technologies (e-Science 2005), 5-8 December 2005, Melbourne, Australia, pp. 124-131, 2005, IEEE Computer Society, 0-7695-2448-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Carl Hewitt |
Large-Scale Organizational Computing Requires Unstratified Reflection and Strong Paraconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COIN ![In: Coordination, Organizations, Institutions, and Norms in Agent Systems III, COIN 2007, International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007, COIN@MALLOW 2007, Durham, UK, September 3-4, 2007, Revised Selected Papers, pp. 110-124, 2007, Springer, 978-3-540-79002-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: Proceedings of 17th International Conference of the Chilean Computer Science Society (SCCC '97), November 12-14, 1997, Valpariso, Chile, pp. 2-8, 1997, IEEE Computer Society, 0-8186-8052-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops (2) ![In: On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II, pp. 1303-1311, 2007, Springer, 978-3-540-76889-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Jae W. Lee, Myron King, Krste Asanovic |
Continual hashing for efficient fine-grain state inconsistency detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 25th International Conference on Computer Design, ICCD 2007, 7-10 October 2007, Lake Tahoe, CA, USA, Proceedings, pp. 33-40, 2007, IEEE, 1-4244-1258-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Muhammad Fahad 0011, Muhammad Abdul Qadir 0001, Muhammad Wajahaat Noshairwan |
Semantic Inconsistency Errors in Ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2007 IEEE International Conference on Granular Computing, GrC 2007, San Jose, California, USA, 2-4 November 2007, pp. 283-286, 2007, IEEE Computer Society, 0-7695-3032-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Hendrik Decker, Davide Martinenghi |
A Relaxed Approach to Integrity and Inconsistency in Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, pp. 287-301, 2006, Springer, 3-540-48281-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Pascal Nicolas, Laurent Garcia, Igor Stéphan |
A Possibilistic Inconsistency Handling in Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings, pp. 402-414, 2005, Springer, 3-540-27326-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Guoyin Wang 0001, Feng Liu |
The Inconsistency in Rough Set Based Rule Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000, Revised Papers, pp. 370-377, 2000, Springer, 3-540-43074-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIS ![In: 16th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, ACM-GIS 2008, November 5-7, 2008, Irvine, California, USA, Proceedings, pp. 36, 2008, ACM, 978-1-60558-323-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 26(3), pp. 227-249, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2006: Proceedings of the 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Seattle, Washington, USA, August 6-11, 2006, pp. 655-656, 2006, ACM, 1-59593-369-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
judging inconsistency, performance evaluation, relevance feedback |
37 | Vicentiu Neagoe, Matt Bishop |
Inconsistency in deception for defense. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSPW ![In: Proceedings of the New Security Paradigms Workshop 2006, Schloss Dagstuhl, Germany, September 19-22, 2006, pp. 31-38, 2006, ACM, 978-1-59593-923-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
security, operating systems, inconsistency, deception |
37 | William N. Robinson, Suzanne D. Pawlowski |
Managing Requirements Inconsistency with Development Goal Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 25(6), pp. 816-835, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(11), pp. 960-981, 1998. The full citation details ...](Pics/full.jpeg) |
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 . ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWC ![In: The Semantic Web, 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings, pp. 61-75, 2008, Springer, 978-3-540-89703-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Tom Mens, Ragnhild Van Der Straeten, Maja D'Hondt |
Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings, pp. 200-214, 2006, Springer, 3-540-45772-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASC ![In: Second International Symposium on Dependable Autonomic and Secure Computing (DASC 2006), 29 September - 1 October 2006, Indianapolis, Indiana, USA, pp. 129-136, 2006, IEEE Computer Society, 0-7695-2539-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Vincent Mousseau, Luis C. Dias, José Rui Figueira |
Dealing with inconsistent judgments in multiple criteria sorting models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
4OR ![In: 4OR 4(2), pp. 145-158, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
inconsistency analysis, Multicriteria decision aiding, sorting problem |
32 | Anthony Hunter, Bashar Nuseibeh |
Managing Inconsistent Specifications: Reasoning, Analysis, and Action. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 7(4), pp. 335-367, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
managing inconsistency, requiriements specification, viewpoints, paraconsistent logics |
32 | Steve M. Easterbrook, Bashar Nuseibeh |
Managing inconsistencies in an evolving specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: Second IEEE International Symposium on Requirements Engineering, March 27 - 29, 1995, York, England, UK, pp. 48-55, 1995, IEEE Computer Society, 0-8186-7017-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Technol. Biomed. ![In: IEEE Trans. Inf. Technol. Biomed. 12(4), pp. 532-540, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Jian Zhang 0001 |
Checking Inconsistency of Rule Sets in Active Real-Time Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008, pp. 453-456, 2008, IEEE Computer Society, 978-0-7695-3482-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Yikun Zhang, Peng Yin, Du-Wu Cui, Hui Xia |
A Method of Requirement Inconsistency Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 1, pp. 211-214, 2007, IEEE Computer Society, 978-0-7695-2870-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Arnon Avron, Anna Zamansky |
Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 37th International Symposium on Multiple-Valued Logic, ISMVL 2007, 13-16 May 2007, Oslo, Norway, pp. 14, 2007, IEEE Computer Society, 978-0-7695-2831-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Ulf Johansson, Rikard König, Lars Niklasson |
Inconsistency - Friend or Foe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2007, Celebrating 20 years of neural networks, Orlando, Florida, USA, August 12-17, 2007, pp. 1383-1388, 2007, IEEE, 978-1-4244-1379-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Wamberto Weber Vasconcelos, Martin J. Kollingbaum, Timothy J. Norman |
Resolving conflict and inconsistency in norm-regulated virtual organizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 91, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2006, 7th International Conference, Burgos, Spain, September 20-23, 2006, Proceedings, pp. 798-806, 2006, Springer, 3-540-45485-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Adolfo Gustavo Serra Seca Neto, Marcelo Finger |
Effective Prover for Minimal Inconsistency Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP AI ![In: Artificial Intelligence in Theory and Practice, IFIP 19th World Computer Congress, TC 12: IFIP AI 2006 Stream, August 21-24, 2006, Santiago, Chile, pp. 465-474, 2006, Springer, 0-387-34654-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Yucai Feng, Wenhai Li, Zehua Lv |
Reduced Attribute Oriented Handling of Inconsistency in Decision Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Information Processing ![In: Intelligent Information Processing III, IFIP TC12 International Conference on Intelligent Information Processing (IIP 2006), September 20-23, Adelaide, Australia, pp. 561-568, 2006, Springer, 978-0-387-44639-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISA ![In: Information Security Applications, 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers, pp. 39-50, 2004, Springer, 3-540-24015-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Dongyi Ye, Zhaojiong Chen |
Inconsistency Classification and Discernibility-Matrix-Based Approaches for Computing an Attribute Core. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings, pp. 269-273, 2003, Springer, 3-540-14040-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 6th IEEE International Workshop on Distributed Simulation and Real-Time Applications (DS-RT 2002), 11-13 October 2002, Fort Worth, TX, USA, pp. 63-70, 2002, IEEE Computer Society, 0-7695-1853-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIM ![In: Advances in Web-Age Information Management, Second International Conference, WAIM 2001, Xi'an, China, July 9-11, 2001, Proceedings, pp. 191-202, 2001, Springer, 3-540-42298-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Peter Henderson 0001, B. Walters, Stephen Crouch |
Inconsistency Tolerance across Enterprise Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 8th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 2001), 31 October, 2 November 2001, Bologna, Italy, Proceedings, pp. 164-169, 2001, IEEE Computer Society, 0-7695-1384-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Aditya K. Ghose |
Formal Tools for Managing Inconsistency and Change in RE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 171-182, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
formal methods, Requirements engineering |
29 | María Alpuente, Moreno Falaschi, Ferdinando Manzo |
Analyses of Inconsistency for Incremental Equational Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings, pp. 443-457, 1992, Springer, 3-540-55844-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: Database and Expert Systems Applications, DEXA, International Workshops, Bilbao, Spain, August 30 - September 3, 2010, pp. 318-322, 2010, IEEE Computer Society, 978-0-7695-4174-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009, pp. 693-697, 2009, IEEE Computer Society, 978-0-7695-3891-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IIH-MSP ![In: 4th International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2008), Harbin, China, 15-17 August 2008, Proceedings, pp. 397-401, 2008, IEEE Computer Society, 978-0-7695-3278-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 16th Australian Software Engineering Conference (ASWEC 2005), 31 March - 1 April 2005, Brisbane, Australia, pp. 58-67, 2005, IEEE Computer Society, 0-7695-2257-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Parallel Databases ![In: Distributed Parallel Databases 14(1), pp. 53-69, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
data inconsistency, consensus methods, distributed system, data replication |
Displaying result #1 - #100 of 2355 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|