Online-Bibliothek

This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993.The direct execution of logical ...

How do we explain a picture to another person? We talk about the picture, describe the colors, shapes, and objects in it, mention how different objects are related to each other. How do we explain a ...

Many applications of acoustic signal processing, such as teleconferencing and surveillance systems, require an estimate of several parameters present in the observed acoustic wavefield. The most ...

This book provides a detailed account of the syntactic, semantic and pragmatic properties of modal adverbs of certainty in present-day English. Methodologically it relies on three types of data: ...