A Core Method for the Weak Completion Semantics with Skeptical Abduction
From MaRDI portal
Publication:4963214
DOI10.1613/jair.1.11236zbMath1448.68405OpenAlexW2895178836WikidataQ129145074 ScholiaQ129145074MaRDI QIDQ4963214
Carroline Dewi Puspa Kencana Ramli, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Luis Palacios Medinacelli
Publication date: 1 November 2018
Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1613/jair.1.11236
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Semantics in the theory of computing (68Q55) Logic programming (68N17)
Related Items