Enablers and Inhibitors in Causal Justifications of Logic Programs (Q3449204): Difference between revisions
From MaRDI portal
EloiFerrer (talk | contribs) Changed label, description and/or aliases in en, and other parts |
ReferenceBot (talk | contribs) Changed an Item |
||||||||||||||
(3 intermediate revisions by 2 users not shown) | |||||||||||||||
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 | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Logic programs with stable model semantics as a constraint programming paradigm / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Q4702577 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: The well-founded semantics for general logic programs / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Functional and Logic Programming / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Catching the Ouroboros: On debugging non-ground answer-set programs / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Justifications for logic programs under answer set semantics / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Justifications for Logic Programming / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Causal Graph Justifications of Logic Programs / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: A Complexity Assessment for Queries Involving Sufficient and Necessary Causes / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Ramification and causality / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Q4496846 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Q2996264 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Actual causation in CP-logic / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Causes and Explanations: A Structural-Model Approach. Part I: Causes / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Nonmonotonic logic and temporal projection / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Justifying answer sets using argumentation / rank | |||||||||||||||
Normal rank |
Latest revision as of 17:27, 14 July 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