Intelligent Tableau Algorithm for DL Reasoning

DOI10.1007/978-3-642-40537-2_23zbMath1401.68281OpenAlexW235840106MaRDI QIDQ2851951

Ming Zuo, Volker Haarslev

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

zbMATH Keywords

learningautomated reasoningdescription logicforgetting

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27)

Related Items (1)

LIGHT

Uses Software

• Pellet
• FaCT++
• Racer
• SATLIB Benchmark Suite

This page was built for publication: Intelligent Tableau Algorithm for DL Reasoning