Projects Directory : Computational Logic and reasoning - Computational Techniques for Intrusion Detection in Wireless Sensor Network.