Online introductions to useful topics somehow related to HCI + dialogues + natural language

language

• comp.ai.nat-lang FAQ
• Survey of the State of the Art in Human Language Technology (1996)

methodology

• Martijn van Welie's GTA (Groupware Task Analysis) page

formal methods

• Alan Dix's formal methods in HCI page
• Introduction to GOMS
• Classes of Petri nets, Petri nets.
• Introduction to modal logic, Temporal logic: CTL

programming

• PROLOG tutorial Introduction to PROLOG
• PERL documentation