Development of reasoning techniques on knowledge representation model COKB and applications | IEEE Conference Publication | IEEE Xplore