LiU Electronic Press
Full-text not available in DiVA
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)
Language:
English
In:
Proceedings of the 18th Concurrency, Specification and Programming Workshop (CS&P)
Conference:
18th International Workshop on Concurrency, Specification and Programming
Pages:
431-442
Year of publ.:
2009
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
Created:
2012-02-13
Last updated:
2012-02-20
Statistics:
6 hits