A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction (Q5019604)
From MaRDI portal
scientific article; zbMATH DE number 7454773
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction |
scientific article; zbMATH DE number 7454773 |
Statements
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction (English)
0 references
10 January 2022
0 references
ordered disjunction
0 references
answer sets
0 references
logic of here-and-there
0 references
preferences
0 references
