Intelligent Tableau Algorithm for DL Reasoning
From MaRDI portal
Publication:2851951
DOI10.1007/978-3-642-40537-2_23zbMath1401.68281MaRDI QIDQ2851951
Publication date: 4 October 2013
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-40537-2_23
68T05: Learning and adaptive systems in artificial intelligence
68T27: Logic in artificial intelligence
Related Items
Uses Software