Modelling Distributed Industrial Processes in a Multi-Agent Framework

Automation of industrial and business processes has focused primarily on modeling information available within and applicable to an organization. Large quantities of data have become not only available but also easily accessible, to appropriate (groups of) individuals within an organization.

[1]  Olivier Corby,et al.  Agent-Based Knowledge Acquisition , 1994, EKAW.

[2]  Luc Steels,et al.  A Future for Knowledge Acquisition , 1994, Lecture Notes in Computer Science.

[3]  Nicholas R. Jennings,et al.  Formal Specification of Multi-Agent Systems: A Real-World Case , 1995, ICMAS.

[4]  Jan Treur,et al.  Formal Specification of Complex Reasoning Systems , 1993 .

[5]  Nicholas R. Jennings,et al.  ARCHON: a distributed artificial intelligence system for industrial application , 1996 .

[6]  Jan Treur,et al.  A Formal Model for the Dynamics of Compositional Reasoning Systems , 1994, ECAI.

[7]  Jan Treur,et al.  User Centered Knowledge-Based System Design: a Formal Modelling Approach , 1994, EKAW.

[8]  Jan Treur,et al.  Formal Notions for Verification of Dynamics of Knowledge-Based Systems , 1995, EUROVAV.

[9]  Jan Treur,et al.  Compositional Formal Specification of Multi-Agent Systems , 1994, ECAI Workshop on Agent Theories, Architectures, and Languages.

[10]  Jan Treur,et al.  Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning , 1994, META.

[11]  Jan Treur,et al.  Formal Specification of Compositional Architectures , 1992, ECAI.

[12]  D. Mcdonald,et al.  ARCHON : A DISTRIBUTED ARTIFICIAL INTELLIGENCE SYSTEM FOR INDUSTRIAL APPLICATIONS , 1995 .

[13]  Luc Steels,et al.  A Future for Knowledge Acquisition. Proceedings of the 8th European Knowledge Acquisition Workshop EKAW'94 , 1994 .

[14]  Frances M. T. Brazier,et al.  Modelling Collective User Satisfaction , 1993, HCI.

[15]  Jan Treur,et al.  Temporal Theories of Reasoning , 1994, J. Appl. Non Class. Logics.