A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics (Q5958767)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics |
scientific article; zbMATH DE number 1715812
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics |
scientific article; zbMATH DE number 1715812 |
Statements
A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics (English)
0 references
3 March 2002
0 references
general logic program
0 references
3-valued stable model
0 references
extension of Eshghi and Kowalski procedure
0 references
0 references
0 references
