Formal Ontology / Knowledge Based Systems

      Research / Miscellaneous

• Ontology!
  Lista di progetti, studiosi, congressi e risorse.

• Some Ongoing KBS/Ontology Projects and Groups
  

• Ontology: a Resource Page
  Contiene indirizzi di gruppi di ricerca, annunci di conferenze, etc..

• The Ontology Page
  Pagina di risorse sull'ontologia formale e le sue applicazioni.

• The Sharable Ontology Library
  Sito da cui si possono scaricare numerosi documenti.

• Buffalo Ontology Page
  A cura di Barry Smith, contiene sezioni sulla storia dell'ontologia, sull'ontologia contemporanea e sulle applicazioni.

	Logic and AI
	Automated Reasoning
	Philosophy of Logic

	Logic and Philosophy
	Logic and Mathematics
	Logic and Computer Science
	General Resources