Enablers and Inhibitors in Causal Justifications of Logic Programs
From MaRDI portal
Publication:3449204
DOI10.1007/978-3-319-23264-5_18zbMath1357.68029arXiv1602.06897WikidataQ57718976 ScholiaQ57718976MaRDI QIDQ3449204
Publication date: 4 November 2015
Published in: Theory and Practice of Logic Programming, Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1602.06897
well-founded semantics; logic programming; answer set programming; stable models; causal justification; causal justifications
68T27: Logic in artificial intelligence
68T30: Knowledge representation
68Q55: Semantics in the theory of computing
68N17: Logic programming