An interval-based temporal logic is introduced, together with a computationally effective
reasoning algorithm based on constraint propagation. This system is notable in offering a …

Previous plan-based models of dialogue understanding have been unable to account for
many types of subdialogues present in naturally occurring conversations. One reason for …

As spoken natural language dialog systems technology continues to make great strides,
numerous issues regarding dialog processing still need to be resolved. This book presents …

Several years ago, we began a project called UC (UNIX Consultant). UC was to function as
an intelligent natural language interface that would allow naive users to learn about the …

For intelligent interactive systems to communicate with humans in a natural manner, they
must have knowledge about the system users. This paper explores the role of user modeling …

This pallet derives the ha. sis of a theory, of communication from a formal theov,.'of rational
interaction. The major result is a< h, mon~ t fallen t hat. ilh, c, tionary acts need not I) e …

This chapter discusses the application of various kinds of default reasoning in system
maintained models of users. In particular, we describe the general architecture of a domain …

Abstract “Arithmetic reasoning” can range in complexity from simple integer arithmetic to
powerful symbolic algebraic reasoning of the sort done by MACSYMA. We describe an …

This paper presents a human-machine dialogue model in the field of task-oriented
dialogues. The originality of this model resides in the clear separation of dialogue …

Computational Linguistics has a long history, dating back to the Fifties, during which it
developed a whole set of computational models and implementations, theories …