Enablers and Inhibitors in Causal Justifications of Logic Programs (Q3449204): Difference between revisions
From MaRDI portal
EloiFerrer (talk | contribs) Page on [mardi] deleted: Publication:3449204 |
EloiFerrer (talk | contribs) Merged Item from Q4593078 |
||||||||||||||
aliases / en / 0 | aliases / en / 0 | ||||||||||||||
Enablers and inhibitors in causal justifications of logic programs | |||||||||||||||
description / en | description / en | ||||||||||||||
scientific article; zbMATH DE number 6804623 | |||||||||||||||
Property / title | |||||||||||||||
Enablers and inhibitors in causal justifications of logic programs (English) | |||||||||||||||
Property / title: Enablers and inhibitors in causal justifications of logic programs (English) / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Open document ID | |||||||||||||||
Property / zbMATH Open document ID: 1379.68049 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / DOI | |||||||||||||||
Property / DOI: 10.1017/S1471068416000107 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / published in | |||||||||||||||
Property / published in: Theory and Practice of Logic Programming / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / publication date | |||||||||||||||
9 November 2017
| |||||||||||||||
Property / publication date: 9 November 2017 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68Q55 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH DE Number | |||||||||||||||
Property / zbMATH DE Number: 6804623 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
causal justifications | |||||||||||||||
Property / zbMATH Keywords: causal justifications / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
stable models | |||||||||||||||
Property / zbMATH Keywords: stable models / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
answer set programming | |||||||||||||||
Property / zbMATH Keywords: answer set programming / rank | |||||||||||||||
Normal rank | |||||||||||||||
links / mardi / name | links / mardi / name | ||||||||||||||
Latest revision as of 10:15, 6 May 2024
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