A PSpace Algorithm for Acyclic Epistemic DL $$\mathcal {ALCS}5_m$$ ALCS 5 m
Crossref DOI link: https://doi.org/10.1007/s10817-018-9473-5
Published Online: 2018-06-12
Published Print: 2019-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Tao, Jia
Text and Data Mining valid from 2018-06-12
Article History
Received: 6 August 2014
Accepted: 5 June 2018
First Online: 12 June 2018