Directorio de proyectos : Computational Logic/reasoning - Computational Techniques for Intrusion Detection in Wireless Sensor Network.