Y-logic swMATH ID: 1411 Software Authors: Subrahmanian, V.S. Description: Y-logic: A framework for reasoning about chameleonic programs with inconsistent completions Large logic programs are normally designed by teams of individuals, each of whom designs a subprogram. While each of these subprograms may have consistent completions, the logic program obtained by taking the union of these subprograms may not. However, the resulting program still serves a useful purpose, for a (possibly) very large subset of it still has a consistent completion. We argue that “small” inconsistencies may cause a logic program to have no models (in the traditional sense), even though it still serves some useful purpose. A semantics is developed for general logic programs which ascribes a very reasonable meaning to general logic programs irrespective of whether they have consistent (in the classical logic sense) completions. Homepage: http://dl.acm.org/citation.cfm?id=107723 Keywords: logic programs; completions Related Software: Cited in: 2 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Y-logic: A framework for reasoning about chameleonic programs with inconsistent completions. Zbl 0706.68031Subrahmanian, V. S. 1990 Cited by 2 Authors 1 Sakama, Chiaki 1 Subrahmanian, V. S. Cited in 1 Serial 1 Annales Societatis Mathematicae Polonae. Series IV Cited in 2 Fields 2 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year