How to be my Student
Catalogue of AI Techniques
How to Write an Informatics Paper. (Also, translations into Belorussian and Romanian.)
The Researchers Bible
Writing a Good Grant Proposal
Notes to Future IJCAI Programme Chairs
Notes to CADE-12 Referees (pdf)
Grounds for Promotion to Personal Chairs (pdf)
A Scientific Checklist (pdf)
Questions to Ask of AI Research (pdf)
Experimental Research in Automatic Theorem Proving (pdf)
Blue Book Notes (pdf)
Home