An original, informal introduction to modern formal logic that both beginners and those with some knowledge of formal methods will appreciate. Covers all the key methods in both truth-functional and f
Nonmonotonic reasoning provides formal methods that enable intelligent systems tooperate adequately when faced with incomplete or changing information. In particular, it providesrigorous mechanisms fo
Covers a broad range of HCI related topics, including Visualisation, Computer Supported Communication, Task Analysis, Formal Methods, User Support, and Cyberspace. Both research and commercial perspec
These proceedings contain the refereed papers presented at ECOOP 89. They cover topics of contemporary interest in this increasingly active area of computer science research, from formal methods throu
Ethnographic fieldwork and formal linguistic analysis have traditionally been thought to be diametrically opposed. In this provocative analysis Peter Manning argues that these methods of qualitative r
