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
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