Iteratively-supported formulas and strongly supported models for Kleene answer set programs (extended abstract) (Q2835899)
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 6658184
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Iteratively-supported formulas and strongly supported models for Kleene answer set programs (extended abstract) |
scientific article; zbMATH DE number 6658184 |
Statements
Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs (English)
0 references
30 November 2016
0 references
0 references
0.8179036378860474
0 references
0.7607973217964172
0 references
0.73822420835495
0 references
0.7374396324157715
0 references
0.73665851354599
0 references
