This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodology. This concept of a language is regarded as a communication tool that allows language users to develop knowledges

AGATE is a novel operating system which unifies disparate areas such as compiler construction, operating systems, data compression, formal languages, inter-process communication, and program representation. It does this through a somewhat unusual means: context-free grammar rules.

uter personalization through natural language translation [ZBC + 00], a unified methodology for language processing is necessary. The goal of this project is to develop such a methodology based on a formal concept of language that models both natural and programming languages [Rus00a]. Prior

Abstract AGATE is a novel operating system which unifies disparate areas such as compiler construction, operating systems, data compression, formal languages, inter-process communication, and program representation. It does this through a somewhat unusual means: context-free grammar rules. We

The Uni®ed Medical Language System

Our objective is to understand the notion of type in programming languages, present a model of typed, polymorphic programming languages that reflects recent research in type theory, and examine the relevance of recent research to the design of practical programming languages. Object

of apparently conflicting results concerning the roles of lexical and contextual information in sentence processing, explains differences among ambiguities in terms of ease of resolution, and provides a more unified account of language comprehension than was previously available. One of the principal goals

and Spackman 2000) and the semantic network of the Unified Medical Language System (Humphreys and Lindberg 1993). Broad general-purpose ontologies are

Abstract. Aiming at a unified view of the logics describing spatial structures, we introduce a general framework, BiLog, whose formulae characterise monoidal categories. As a first instance of the framework we consider bigraphs, which are emerging as a an interesting (meta-)model for spatial

Dialogue processing has taken several different forms in recent years; in this paper we address a cognitive modeling approach to the problem. We begin by sketching some of our work in this area and how it derives from prior research in cognition, modeling, nat-ural language processing