Connecting first-order ASP and the logic FO(ID) through reducts (Q2900547)
From MaRDI portal
!
WARNING
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 6059535
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Connecting first-order ASP and the logic FO(ID) through reducts |
scientific article; zbMATH DE number 6059535 |
Statements
Connecting First-Order ASP and the Logic FO(ID) through Reducts (English)
0 references
23 July 2012
0 references
0 references
0 references
0.7859572768211365
0 references
0.7667824625968933
0 references
0.7610442042350769
0 references
0.7444332242012024
0 references
0.7281366586685181
0 references
