Logic and AI / Computer Science

      Departments / Institutions         general resources

• Department of Computer Science, University of Copenhagen (DIKU)

• FoLLI - European Association for Logic, Language and Information
  L'associazione, che ha sede presso l'Institute for Logic, Language and Computation di Amsterdam, � stata fondata nel 1991 "to advance the practising of research and education on the interfaces between Logic, Linguistics, Computer Science and Cognitive Science and related disciplines in Europe". Informa sull'associazione e sulle sue iniziative.

	Automated Reasoning /
	Logic and AI
	Non Classical Logics
	Logic and Philosophy /
	Logic and Mathematics
	General Resources
	The Swif Notebooks: Artificial Intelligence
	The Swif Notebooks: History of Computer Science