Preface V
1 Temporal Logic: Tense or Nontense? 1
Dov Gabbay
2 Definitions and Prolog 31
Wilfrid Hodges
3 Constructive Logic and Computation 55
Alan Smaill
4 How to Improve the Reliability of Expert Systems 65
Alan Bundy
5 The Changing Relationship between AI Programming
Languages and Natural Language Processing Formalisms 91
David Allport
6 Speech Acts and Computation 127
David Holdcraft and Peter Smith
7 Learning Strategic Concepts in Competitive Planning:
An Explanation-Based Approach to the Transfer of
Knowledge Across Domains 155
Gregg Collins and Lawrence Birnbaum
8 Mental Logic and Deontic Reasoning 191
K.I. Manktelow and D.E. Over
9 PDP or not PDP-Is That the Question? 209
Andy Clark

Author Index 229

Subject Index 233