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