Embedding functions into disjunctive logic programs (Q3089164)
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 5942147
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Embedding functions into disjunctive logic programs |
scientific article; zbMATH DE number 5942147 |
Statements
24 August 2011
0 references
completion and loop formulas
0 references
normal logic programs with functions
0 references
disjunctive logic programs
0 references
constraint satisfaction problem
0 references
FASP
0 references
0.998707950115204
0 references
0.8439570665359497
0 references
0.8151143789291382
0 references
0.7936933636665344
0 references
