Infinitary equilibrium logic and strongly equivalent logic programs (Q2407875)
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 6787415
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Infinitary equilibrium logic and strongly equivalent logic programs |
scientific article; zbMATH DE number 6787415 |
Statements
Infinitary equilibrium logic and strongly equivalent logic programs (English)
0 references
6 October 2017
0 references
answer set programming
0 references
strong equivalence
0 references
logic of here-and-there
0 references
0.9651656150817872
0 references
0.8720274567604065
0 references
0.8716163635253906
0 references
0.8493012189865112
0 references
0.8474560976028442
0 references
