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