Home Online Resources

Cover

Journal of Logic and Computation

Table of Contents

Volume 8, Issue 3: June 1998.


Editorial
N Jennings, M Wooldridge and F Giunchiglia
pp. 231-232
Abstract

Engineering AgentSpeak(L): a formal computational model
M D'Inverno and M Luck
pp. 233-260
Abstract

Agents that reason and negotiate by arguing
S Parsons, C Sierra and N Jennings
pp. 261-292
Abstract

Decision procedures for BDI logics
AS Rao and MP Georgeff
pp. 293-342
Abstract

Resolution for temporal logics of knowledge
C Dixon, M Fisher and M Wooldridge
pp. 345-372
Abstract

Tableau methods for formal verification of multi-agent distributed systems
F Massacci
pp. 373-400
Abstract

Model checking multiagent systems
M Benerecetti, F Giunchiglia and L Serafini
pp. 401-423
Abstract

Applying the mu-calculus in planning and reasoning about action
MP Singh
pp. 425-445
Abstract

Reviews
Various
pp. 447-453
Abstract

Top of the Page


This page is run by Oxford University Press, Great Clarendon Street, Oxford OX2 6DP, UK
as part of the OUP Journals World Wide Web service.
Comments and feedback: www-admin@oup.co.uk
URL: http://www.oup.co.uk/logcom/hdb/Volume_08/Issue_03/
Last modification: 22 July 1998.
Copyright© Oxford University Press, 1998.