Author:
Nguyen, Linh Anh (University of Warsaw)
Szalas, Andrzej (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab) (Linköping University, The Institute of Technology)
Title:
Checking Consistency of an ABox w.r.t. Global Assumptions in PDL*
Department:
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Publication type:
Conference paper (Refereed)
In:
Proceedings of the 18th Concurrency, Specification and Programming Workshop (CS&P)
Conference:
18th International Workshop on Concurrency, Specification and Programming
URI:
urn:nbn:se:liu:diva-75000
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-75000
Subject category:
Engineering and Technology
Available from:
2012-02-13
Statistics:
5 hits