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. 

• Type: Journal
• Year: 2007
• Where: JAPLL
• Authors: Michael Fisher, Munindar P. Singh, Diana F. Spears, Michael Wooldridge
• Keywords: Abstract Machines, DATES Submission Deadline, JAPLL 2007, October 2004 Author