Oxford Journals
tools journals homepage advanced search contact help
Journal of Logic and Computation: Current Issue
 
home
browse
current
etoc
authors
subinfo
subscribers
samples

OUP > Journals > Computing/Engineer. & Mathematics/Stats. > Journal of Logic and Computation

Journal of Logic and Computation

Volume 12, Issue 3, June 2002

A Foundation for Metareasoning Part II: The Model Theory
Giovanni Criscuolo, Fausto Giunchiglia and Luciano Serafini
pp. 345-370
Abstract Full-Text PDF (273 KB)

Two Logical Theories of Plan Recognition
Wayne Wobcke
pp. 371-412
Abstract Full-Text PDF (434 KB)

Engineering Executable Agents using Multi-context Systems
Jordi Sabater, Carles Sierra, Simon Parsons and Nicholas R. Jennings
pp. 413-442
Abstract Full-Text PDF (311 KB)

Fibring Labelled Deduction Systems
João Rasga, Amílcar Sernadas, Cristina Sernadas and Luca Viganò
pp. 443-473
Abstract Full-Text PDF (361 KB)

Belief Functions and the Possible Worlds Paradigm
Elwood Wilkins and Simon H. Lavington
pp. 475-495
Abstract Full-Text PDF (232 KB)

Generalizing Def and Pos to Type Analysis
Patricia M. Hill and Fausto Spoto
pp. 497-542
Abstract Full-Text PDF (598 KB)

Codes and Ciphers: Julius Caesar, The Enigma, and the Internet
Richard E. Overill
p. 543
Details Full-Text PDF (15 KB)

Foundations of Cryptography: Basic Tools
Richard E. Overill
pp. 543-544
Details Full-Text PDF (15 KB)

Forthcoming Papers
pp. 545-546
Full-Text PDF (22 KB)

Oxford University Press
Published by Oxford University Press
Copyright ©Oxford University Press 2003
Print ISSN: 0955-792X  Online ISSN: 1465-363X.
Oxford University Press Privacy Policy and Legal Statement