Enablers and Inhibitors in Causal Justifications of Logic Programs (Q3449204): Difference between revisions
From MaRDI portal
Created a new Item |
EloiFerrer (talk | contribs) Merged Item from Q4593078 |
||||||||||||||
(7 intermediate revisions by 6 users not shown) | |||||||||||||||
aliases / en / 0 | aliases / en / 0 | ||||||||||||||
Enablers and inhibitors in causal justifications of logic programs | |||||||||||||||
description / en | description / en | ||||||||||||||
scientific article | 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 | |||||||||||||||
Property / MaRDI profile type | |||||||||||||||
Property / MaRDI profile type: MaRDI publication profile / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / OpenAlex ID | |||||||||||||||
Property / OpenAlex ID: W2216709147 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Wikidata QID | |||||||||||||||
Property / Wikidata QID: Q57718976 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / arXiv ID | |||||||||||||||
Property / arXiv ID: 1602.06897 / 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