IA
- Inteligência Artificial e Lógica. Abaixo alguns sites da Web interessantes sobre este assunto:
Inteligência Artificial Ferramentas e Teorias
Lógica e Computação Uma leitura dos Teoremas de Gödel
Definições de Lógica
Cálculo Proposicional
Ontologias
- principais sites de pesquisa em ontologias:
Buffalo Ontology Site
DAML.org
http--www.cs.rochester.edu-u-hoebel-po.files.html
Index of -infor-Ontology
John Wilkins - An Essay Toward a Real Character and a Philosophical Language
Laboratory for Applied Ontology (LOA)
Links to Ontologies
OIL-Page
Related European Coordinating Committee for Artificial Intelligence - The (ResearchIndex)
Richard Fikes
Suggested Upper Merged Ontology
The Ontology Page
Instituições
- Universidades e centros de pesquisa importantes:
ITA
USP
ACM
Portal Periódicos - CAPES
LIAMF
Home
Sobre mim
Listas
Projeto