Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs
From MaRDI portal
Publication:3643127
DOI10.1007/978-3-642-04238-6_26zbMath1258.68148arXiv1007.2816OpenAlexW1558612487MaRDI QIDQ3643127
Publication date: 10 November 2009
Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1007.2816
Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Logic programming (68N17)
Related Items (1)
This page was built for publication: Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs