Logique - Langue naturelle

Langue naturelle

• la page de Atoll      ftp atoll      Normalangue
• MIT Cognet
• LFG
  • Joan Bresnan
  • LFG : Stanford
• HPSG
  • HPSG : Tübingen
  • HPSG : Stanford
• CSLI (Stanford)
• U.Penn
  • XTAG
  • Aravind Joshi
  • ACL Anthology
• DATR
  • Gerald Gazdar
  • DATR Sussex
• Anne Abeillé
• Stuttgart
• LORIA
  • XMG
  • Langue et Dialogue
• Saarbrücken
  • Uni. Saarbrücken
  • Categorial Grammars
  • Natural Language Processing Techniques in Prolog (Patrick Blackburn and Kristina Striegnitz)
  • Oz
  • Denys Duchier
• Aarne Ranta : GF
• Prolog, Datalog. David Warren
• FOLLI European Association for Logic, Language and Information
• ESSLI: European Summer School In Logic, Language and Information
• Peter Hancox (Birmingham)
  • cours : Prolog
  • cours : NLP
  • manuel Prolog
• Linguist List
• www.linguist.de
• ILPL (IRIT, Toulouse)
• LATL (Genève. Éric Wehrli)
• EASY : la campagne d'évaluation
• Language Miniatures

Linguistique

• Henriette Gezundhajt : cours

Logique temporelle

• TLA
  Temporal Logic of Actions (L. Lamport)

  Model Checking : CMU

Logique

• LEGO
• André Vellino (Toronto)
• HOL : John Harrison
• Isabelle (Larry Paulson)
• Girard
• Thierry Coquand (Chalmers)