Knowledge Structure of Virtual Inhabitant for an Alibi Reasoning | IEEE Conference Publication | IEEE Xplore