Formal Specification of Complex Reasoning Systems

Jan Treur, Thomas Wetter (eds.)

Table of contents

1. Jan Treur, Thomas Wetter

On the Role of Formal Specification in AI

2. Izak van Langevelde, Albert Philipsen, Jan Treur

An Example Reasoning Task Description

3. John Balder, Frank van Harmelen, Manfred Aben

A KADS/(ML)2 Model of a Scheduling Task

4. Enrico Giunchiglia, Paolo Traverso, Fausto Giunchiglia

Multi-Context Systems as a Specification Framework for Complex Reasoning Systems

5. Gilles Kassel, Catherine Greboval:

How AIDE Succeeds in an Example Design Task

6. Dieter Landes, Dieter Fensel, Jurgen Angele:

Formalizing and Operationalizing a Design Task with KARL

7. Izak van Langevelde, Albert Philipsen, Jan Treur

A Compositional Architecture for Simple Design Formally Specified in DESIRE

8. Ataru T. Nakagawa, Toshie Sakakihara, Kokichi Futatsugi

Algebraic Specification of Reasoning Systems

9. Carles Sierra, Lluis Godo

Specifying Simple Scheduling Tasks in a Reflective and Modular Architecture

10. Linda in 't Veld, Willem Jonker, Jan Willem Spee

Specification of Complex Reasoning Tasks in KBSSF

11. Frank van Harmelen, Ramon Lopez de Mantaras, Jacek Malec, Jan Treur

Comparing Formal Specification Languages for Complex Reasoning Systems