DOI10.1007/978-3-642-20895-9_31zbMath1327.68250MaRDI QIDQ3003266
José Júlio Alferes, Ana Sofia Gomes
Publication date: 26 May 2011 Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-642-20895-9_31
Mathematics Subject Classification ID
68T27: Logic in artificial intelligence
68T30: Knowledge representation