Epistemic foundation of stable model semantics (Q5492048)
From MaRDI portal
scientific article; zbMATH DE number 5063111
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Epistemic foundation of stable model semantics |
scientific article; zbMATH DE number 5063111 |
Statements
Epistemic foundation of stable model semantics (English)
0 references
12 October 2006
0 references
Bilattices
0 references
Fixed-point semantics
0 references
Logic programs
0 references
Stable model semantics
0 references
Nonmonotonic reasoning
0 references
