PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\)

From MaRDI portal
Publication:352965

DOI10.1007/s10817-011-9232-3zbMath1291.68387DBLPjournals/jar/TaoSH12OpenAlexW2002928961WikidataQ57015133 ScholiaQ57015133MaRDI QIDQ352965

Giora Slutzki, Vasant Honavar, Jia Tao

Publication date: 5 July 2013

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-011-9232-3



Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (1)


Uses Software


Cites Work


This page was built for publication: PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\)