PVS'98 agents: structures, models and production planning application

[1]  Kent Sandoe,et al.  Enterprise Integration , 2001 .

[2]  Vladimír Marík,et al.  Role of Qualitative Reasoning in a Multi-Agent System , 1997, EUROCAST.

[3]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[4]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[5]  Pattie Maes,et al.  Collaborative Interface Agents , 1994, AAAI.

[6]  Mark S. Fox,et al.  The TOVE Project Towards a Common-Sense Model of the Enterprise , 1992, IEA/AIE.

[7]  Thies Wittig,et al.  ARCHON: an architecture for multi-agent systems , 1992 .

[8]  Hamideh Afsarmanesh,et al.  Intelligent Systems for Manufacturing , 1998, IFIP — The International Federation for Information Processing.

[9]  Alan Bundy,et al.  Proof Planning and Industrial Configuration , 1997 .

[10]  Hyacinth S. Nwana,et al.  An Introduction to Agent Technology , 1997, Software Agents and Soft Computing.

[11]  Timothy W. Finin,et al.  A Proposal for a new KQML Specification , 1997 .

[12]  Gunnar Hartvigsen,et al.  Cooperator-Base + Task-Base For Agent Modeling: The Virtual Secretary Approach , 1996, Agent Modeling.

[13]  Austin Tate,et al.  O-Plan: a Knowledge-Based Planner and its Application to Logistics , 1996 .

[14]  Jussi Stader,et al.  Results of the Enterprise Project , 1996 .

[15]  Munindar P. Singh Book review: ARCHON: An Architecture for Multi-agent Systems. Edited by Wittig, Thies (Ellis Horwood Limited (distributed by Prentice Hall), 1992) , 1996, SGAR.

[16]  Mark R. Cutkosky,et al.  PACT: an experiment in integrating concurrent engineering systems , 1993, Computer.

[17]  Peter Norvig,et al.  Knowledge Interchange Format Version 3.0 Reference Manual , 1992, LICS 1992.