An ASP-based solver for parametrized-difference revision (Q5103715)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An ASP-based solver for parametrized-difference revision |
scientific article; zbMATH DE number 7582720
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An ASP-based solver for parametrized-difference revision |
scientific article; zbMATH DE number 7582720 |
Statements
An ASP-based solver for parametrized-difference revision (English)
0 references
8 September 2022
0 references
belief change
0 references
parametrized-difference (PD) revision solver
0 references
answer set programming (ASP)
0 references
knowledge representation
0 references
artificial intelligence
0 references
0 references
0 references
0.8341454
0 references
0.82407176
0 references
0 references
0.79970884
0 references
0 references
