CALL FOR PAPERS |
LOGIC-BASED AGENT VERIFICATION |
A special issue of the: Journal of Applied Logic |
[ Deadline: 15th October 2004 ] |
Alternative formats of this Call for Papers: PDF/PS |
Michael Fisher | [Univ. Liverpool, UK] |
Munindar Singh | [North Carolina State Univ., USA] |
Diana Spears | [Univ. Wyoming, USA] |
Mike Wooldridge | [Univ. Liverpool, UK] |
However, the increasing use of agents in (business, mission, safety) critical applications, together with the development of infrastructures such as the world-wide web and wireless computing is leading to new problems. Central amongst these is that of the trustworthiness of agent software. Can agents be trusted to autonomously make decisions in critical areas? In addition, once large numbers of agents are present, can they work together safely?
Thus, it is important to be able to guarantee predictable behaviour for agent-based systems if these are to be used in critical applications. Verification of agent-based behaviour is a complex problem: the behaviour of individual agents must be verified; collections of agents must be shown to be able to work together effectively; and agents that communicate over wider distances and multiple sites must be shown to retain security properties. Tackling these problems often requires a large number of diverse techniques, and many such techniques are based on formal logics, thus providing the clear semantic basis for the verification tasks.
The aim of this special issue is to bring together high-quality papers exhibiting leading edge research where a "logic-based" approach is taken to the verification of agent-based systems. We here take a broad view of logic, and consider a wide range of logical verification techniques (incorporating theorem-proving, model checking, algebraic, abstract machines, etc.).
Submission deadline: | 15th October 2004 |
Author notification: | 15th February 2005 |
Revised papers due: | 15th April 2005 |
Queries concerning this special issue should be directed to any of the guest editors. Up-to-date information will also be available from http://www.csc.liv.ac.uk/~michael/LBAV04
This document was generated using the LaTeX2HTML translator Version 2002 (1.62)
Copyright © 1993, 1994, 1995, 1996,
Nikos Drakos,
Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999,
Ross Moore,
Mathematics Department, Macquarie University, Sydney.
The command line arguments were:
latex2html -no_navigation -split 1 -address M.Fisher@csc.liv.ac.uk lbav-cfp.tex
The translation was initiated by Michael Fisher on 2004-07-06