Approximation fixpoint theory and the well-founded semantics of higher-order logic programs (Q4559803)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6988653
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Approximation fixpoint theory and the well-founded semantics of higher-order logic programs |
scientific article; zbMATH DE number 6988653 |
Statements
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs (English)
0 references
4 December 2018
0 references
higher-order logic programming
0 references
negation in logic programming
0 references
approximation fixpoint theory
0 references
0 references
0 references
0.8219783902168274
0 references
0.8197715282440186
0 references
