Vol. 38, No. 6, Special Issue on the Occasion of Johan van Benthem's 60th Birthday (December 2009), pp. 589-606 (18 pages) In a recent paper Johan van Benthem reviews earlier work done by himself and ...

Value stream management involves people in the organization to examine workflows and other processes to ensure they are deriving the maximum value from their efforts while eliminating waste — of ...

A new formalism for predicate logic is introduced, with a non-standard method of binding variables, which allows a compositional formalization of certain anaphoric constructions, including 'donkey ...

Large language models (LLMs) can store and recall vast quantities of medical information, but their ability to process this information in rational ways remains variable.

Tailoring language translations for software documentation and graphical user interfaces can make or break an open source project. Localizing language is a unique undertaking, with a number of moving ...

If you've ever used Rosetta Stone, you know how powerful its simple user experience is at helping you learn how to speak a foreign language. On Thursday, the company announced a companion iPad app ...