Family of Extended Dynamic Description Logics

DOI10.3724/SP.J.1001.2010.03494zbMath1224.68161OpenAlexW4230324967MaRDI QIDQ3071438

Liang Chang, Zhongzhi Shi, Limin Chen, Wenjia Niu

Publication date: 5 February 2011

Published in: Journal of Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3724/sp.j.1001.2010.03494

zbMATH Keywords

reasoning about actionsdynamic description logictableau decision algorithmsemantic web service

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (1)

“A Dendrite Method for Cluster Analysis” by Caliński and Harabasz: A Classical Work that is Far Too Often Incorrectly Cited

This page was built for publication: Family of Extended Dynamic Description Logics