Design of cognitive systems for assistance to people poses a major challenge to the fields of robotics and artificial intelligence. The Cognitive Systems for Cognitive Assistance (CoSy) project was organized to address the issues of i) theoretical progress on design of cognitive systems ii) methods for implementation of systems and iii) empirical studies to further understand the use and interaction with such systems. To study, design and deploy cognitive systems there is a need to considers aspects of systems design, embodiment, perception, planning and error recovery, spatial insertion, knowledge acquisition and machine learning, dialog design and human robot interaction and systems integration. The CoSy project addressed all of these aspects over a period of four years and across two different domains of application - exploration of space and task / knowledge acquisition for manipulation. The present volume documents the results of the CoSy project. The CoSy project was funded by the European Commission as part of the Cognitive Systems Program within the 6th Framework Program.

Design of cognitive systems for assistance to people poses a major challenge to the fields of robotics and artificial intelligence. The Cognitive Systems for Cognitive Assistance (CoSy) project was organized to address the issues of i) theoretical progress on design of cognitive systems ii) methods for implementation of systems and iii) empirical studies to further understand the use and interaction with such systems. To study, design and deploy cognitive systems there is a need to considers aspects of systems design, embodiment, perception, planning and error recovery, spatial insertion, knowledge acquisition and machine learning, dialog design and human robot interaction and systems integration. The CoSy project addressed all of these aspects over a period of four years and across two different domains of application - exploration of space and task / knowledge acquisition for manipulation. The present volume documents the results of the CoSy project. The CoSy project was funded by the European Commission as part of the Cognitive Systems Program within the 6th Framework Program.

The structure and properties of any natural language expression depend on its component sub-expressions - "resources" - and relations among them that are sensitive to basic structural properties of order, grouping, and multiplicity. Resource-sensitivity thus provides a perspective on linguistic structure that is well-defined and universally-applicable. The papers in this collection - by J. van Benthem, P. Jacobson, G. JAger, G-J. Kruijff, G. Morrill, R. Muskens, R. Oehrle, and A. Szabolcsi - examine linguistic resources and resource-sensitivity from a variety of perspectives, including:

- Modal aspects of categorial type inference;
- Multi-dimensional type structures and grammatical architecture;
- Resource-sensitive aspects of binding and anaphora;
- Resource-sensitive inference and discourse context.

In particular, the book contains a number of papers treating anaphorically-dependent expressions as functions, whose application to an appropriate argument yields a type and an interpretation directly integratable with the surrounding grammatical structure. To situate this work in a larger setting, the book contains two appendices:

- an introductory guide to resource-sensivity;
- notes on the historical background of resource-sensitive approaches to binding and anaphora.

The structure and properties of any natural language expression depend on its component sub-expressions - "resources" - and relations among them that are sensitive to basic structural properties of order, grouping, and multiplicity. Resource-sensitivity thus provides a perspective on linguistic structure that is well-defined and universally-applicable. The papers in this collection - by J. van Benthem, P. Jacobson, G. JAger, G-J. Kruijff, G. Morrill, R. Muskens, R. Oehrle, and A. Szabolcsi - examine linguistic resources and resource-sensitivity from a variety of perspectives, including:

- Modal aspects of categorial type inference;
- Multi-dimensional type structures and grammatical architecture;
- Resource-sensitive aspects of binding and anaphora;
- Resource-sensitive inference and discourse context.

In particular, the book contains a number of papers treating anaphorically-dependent expressions as functions, whose application to an appropriate argument yields a type and an interpretation directly integratable with the surrounding grammatical structure. To situate this work in a larger setting, the book contains two appendices:

- an introductory guide to resource-sensivity;
- notes on the historical background of resource-sensitive approaches to binding and anaphora.

This collection draws together recent work on constraint-based and resource-sensitive approaches to the grammar of natural languages. Some of the issues addressed are: extraction phenomena in a range of languages, the syntax of nominal phrases, the role of argument structure, defining the interface between syntax and morphology and between semantics and prosody, quantifier scope, remnant movement, construction grammar, and formal and computational aspects of grammar formalisms. This volume brings together the leading linguists, logicians, and computer scientists working on Head-driven Phrase Structure Grammar and Categorial Grammar. Derived from two recent conferences on Formal Grammar and Head-driven Phrase Structure Grammar in Aix (1997) and Saarbrucken (1998), this volume represents the most current work in these frameworks.

This collection draws together recent work on constraint-based and resource-sensitive approaches to the grammar of natural languages. Some of the issues addressed are: extraction phenomena in a range of languages, the syntax of nominal phrases, the role of argument structure, defining the interface between syntax and morphology and between semantics and prosody, quantifier scope, remnant movement, construction grammar, and formal and computational aspects of grammar formalisms. This volume brings together the leading linguists, logicians, and computer scientists working on Head-driven Phrase Structure Grammar and Categorial Grammar. Derived from two recent conferences on Formal Grammar and Head-driven Phrase Structure Grammar in Aix (1997) and Saarbrucken (1998), this volume represents the most current work in these frameworks.