My research aims to contribute to the expansion of the application of mathematical logic in computer science, and to the usage of tools developed in the Artificial Intelligence community for solving problems in computer networking. During my M.Sc. degree research, I have been working on application of Propositional Temporal Logic to program verification. Since I have started my PhD research, I am doing research in the area of Knowledge Representation (KR), Logic Programming, and Databases. My general theme is to make commonsense reasoning a reality, that is, to bring it closer to implementation, both conceptually and computationally.  My contribution to the area of KR can be divided into four (not necessarily disjoint) categories: semantic issues, using classical logic for default reasoning, Head–Cycle–Free logic programs, and knowledge discovery in databases. I will first describe my M.Sc. research and then elaborate on my work in knowledge representation. Finally I will briefly describe my work in communication networks.