The main effort of the research in knowledge representation is providing theories and systems for expressing structured knowledge and for accessing and reasoning with it in a principled way.

Library of resources

Este site oferece informações especializadas, técnicas, dicas e material complementar para facilitar a sua vida na Web. Além disto são apresentadas técnicas e métodos para aumentar a competitividade utilizando-se dos recursos oferecidos pela Web pa

The Digital Divide Network is the Internet's largest community for educators, activists, policy makers and concerned citizens working to bridge the digital divide.

This document contains some pointers to information on Formal Methods, useful for mathematically describing and reasoning about computer-based systems, available around the world on the World Wide Web (WWW).