Query answering in resource-based answer set semantics
From MaRDI portal
Publication:4593046
DOI10.1017/S1471068416000478zbMath1379.68052arXiv1608.01604MaRDI QIDQ4593046
Andrea Formisano, Stefania Costantini
Publication date: 9 November 2017
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1608.01604
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
68N17: Logic programming
Uses Software