Loop formulas for description logic programs
From MaRDI portal
Publication:3585166
DOI10.1017/S1471068410000268zbMath1209.68102MaRDI QIDQ3585166
Yisong Wang, Yi-Dong Shen, Li Yan Yuan, Jia-Huai You
Publication date: 19 August 2010
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
68N17: Logic programming
Related Items
Data repair of inconsistent nonmonotonic description logic programs, The loop formula based semantics of description logic programs
Uses Software
Cites Work