On negation in Hilog (Q4289931)
From MaRDI portal
scientific article; zbMATH DE number 558583
Language | Label | Description | Also known as |
---|---|---|---|
English | On negation in Hilog |
scientific article; zbMATH DE number 558583 |
Statements
On negation in Hilog (English)
0 references
28 April 1994
0 references
programs with negation
0 references
higher order logics for programming languages
0 references
deductive database
0 references
stable-model semantics
0 references
well-founded semantics
0 references
HiLog programs
0 references