Logic Programming / Automated Theorem Proving / Computational Logic

      Research / Miscellaneous

• Computational Logic, St. Andrews
  Progetto di ricerca, diretto da Roy Dyckhoff, che coordina la "research activity at St Andrews in computational logic". "This comprises the development of proof assistants and theorem-provers for various logics, the exploitation of various logics for problem specification or as programming languages, and the investigation of their proof theory and semantics". Il sito dˆ notizia delle pubblicazioni pi� recenti dello staff, dˆ accesso a software logico (per MacIntosh e non), al Logic Bench Project a Berna e al Computational Logic Network.

• Logic Programming
  Sito che rimanda a moltissime risorse, tutte connesse alla programmazione logica

• Logic Programming
  
  

• Logic programming group at the Imperial College
  sito in costruzione

• Logic Programming in North America
  

      Reviews / Online Publications

• Journal of Logic and Computation
  
  

      Tutorials / Bibliographies

• Bibliography of conference papers in the area of Logic Programming
  

      Related Fields

	Automated Reasoning
	Logic and AI

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