Searching for "Programming in Three-valued Logic." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
A Complete Axiomatization of the Three-Valued Completion of Logic Programs
- …A complete axiomatization of the three-valued completion of logic programs Robert F. Stärk…
- Cited by 11 (6 self) – Add To MetaCart
-
Input/output Dependencies of Normal Logic Programs
- … programming, negation as failure, SLDNF-resolution, completion of programs, three-valued logic. 1 Introduction…
- Cited by 17 (7 self) – Add To MetaCart
-
The Use of Renaming in Composing General Programs
- … of three-valued logic by extending the three-valued semantics for logic programs proposed by Fitting [10…
- Cited by 4 (0 self) – Add To MetaCart
-
The Proof Theory of Logic Programs with Negation
- … in terms of three-valued possible world models of the completion of a program. 1.1 The completion of logic…
- Add To MetaCart
-
A Classification Theory of Semantics of Normal Logic Programs: II. Weak Properties
- ….1 we recall some of the standard definitions for the context of logic programs, for our use of three-valued…
- Cited by 30 (0 self) – Add To MetaCart
-
A Tutorial on the Well-Founded Semantics
- … idea in both cases was to interpret the completed program in three-valued logic, with the third truth…
- Add To MetaCart
Showing 1 through 6.
