MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "What is inconsistency?" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

24 documents found, showing 1 through 10. Next 10 →

ATOM

Formal inconsistency and evolutionary databases
by Walter A. Carnielli, João Marcos, Ra De Amo — 2000 — Logic and Logical Philosophy
… requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency…
Cited by 18 (10 self) – Add To MetaCart

Formal Inconsistency and Evolutionary Databases
by Walter Carnielli Group, Walter A. Carnielli, João Marcos, Ra De Amo — 2000 — Logic and Logical Philosophy
… requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency…
Add To MetaCart

Hypothetical Reasoning In Possibilistic Logic: Basic Notions, Applications And Implementation Issues
by Salem Benferhat, Didier Dubois, JÉrÔme Lang, Henri Prade — 1993 — Proc. of the 1st Maghrebin Symp. on Programming and Systems
… evaluate to what degree a given configuration of assumptions is inconsistent or compute the more or less…
Cited by 6 (6 self) – Add To MetaCart

Towards a Framework for Managing Inconsistency Between Multiple Views
by Bashar Nuseibeh — 1996 — in Proceedings of Viewpoints'96, ACM
…, understanding what inconsistencies are present and how to act on them facilitates the transition process from…
Cited by 8 (0 self) – Add To MetaCart

The Process of Inconsistency Management: A framework for understanding
by Bashar Nuseibeh, Steve Easterbrook — 1999 — in Proc. 10th Internat. Workshop Database Expert System Applications, IEEE CS
… to [5, 6, 9]. 2. What is inconsistency? We use the term inconsistency to denote any situation in which…
Cited by 7 (0 self) – Add To MetaCart

McESE- McMaster EXPERT SYSTEM ENVIRONMENT
by F. Franek, I. Bruha
… checking takes place: McESE allows to preset for the knowledge base what inconsistency level can…
Add To MetaCart

Leveraging Inconsistency in Software Development
by Bashar Nuseibeh, Steve Easterbrook, Alessandra Russo — 2000 — in Software Development”, Computer, 33(4):24-29, IEEE Computer
… central to your development process. 2 0018-9162/00/$10.00 © 2000 IEEE WHAT IS INCONSISTENCY? We use…
Cited by 36 (2 self) – Add To MetaCart

Consistency Maintenance of UML Models with Description Logics
by J. Simmonds — 2003
… be tested. What kinds of inconsistencies can be detected? e.g., syntactic inconsistencies, semantic…
Cited by 3 (3 self) – Add To MetaCart

Leveraging Inconsistency in Software Development
by Michael Jackson Accurately, Bashar Nuseibeh, Steve Easterbrook, Alessandra Russo — 2000 — in Software Development”, Computer, 33(4):24-29, IEEE Computer
… central to your development process. 2 0018-9162/00/$10.00 © 2000 IEEE WHAT IS INCONSISTENCY? We use…
Add To MetaCart

Explanation and Prediction: An Architecture for Default and Abductive Reasoning
by David Poole — 1993 — Computational Intelligence
…. predict what is in any extension 5. predict what is not inconsistent with the facts It does not seem…
Cited by 115 (14 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB