Sciweavers

JAPLL
2007

Logic-Based Agent Verification

13 years 3 months ago
Logic-Based Agent Verification
ecking, algebraic, abstract machines, etc.). THE JOURNAL The Journal of Applied Logic1 publishes papers in areas of logic which can be applied in other disciplines as well as application papers in those disciplines, the unifying theme being logics arising from modelling the human agent. IMPORTANT DATES Submission deadline: 15th October 2004 Author notification: 15th February 2005 Revised papers due: 15th April 2005 1Executive Editors: D. Gabbay; A. Jones; J. Siekmann.
Michael Fisher, Munindar P. Singh, Diana F. Spears
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2007
Where JAPLL
Authors Michael Fisher, Munindar P. Singh, Diana F. Spears, Michael Wooldridge
Comments (0)