Enablers and Inhibitors in Causal Justifications of Logic Programs (Q3449204)
From MaRDI portal
scientific article; zbMATH DE number 6804623
- Enablers and inhibitors in causal justifications of logic programs
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Enablers and Inhibitors in Causal Justifications of Logic Programs |
scientific article; zbMATH DE number 6804623 |
|
Statements
Enablers and Inhibitors in Causal Justifications of Logic Programs (English)
0 references
Enablers and inhibitors in causal justifications of logic programs (English)
0 references
4 November 2015
0 references
9 November 2017
0 references
logic programming
0 references
causal justification
0 references
well-founded semantics
0 references
causal justifications
0 references
stable models
0 references
answer set programming
0 references
