Journal of Logic and Computation

Articles

Giovanni Criscuolo, Fausto Giunchiglia, and Luciano Serafini

A Foundation for Metareasoning Part II: The Model Theory
J Logic Computation 2002 12: 345-370; doi:10.1093/logcom/12.3.345 [Abstract] [PDF] [Request Permissions]  

Wayne Wobcke

Two Logical Theories of Plan Recognition
J Logic Computation 2002 12: 371-412; doi:10.1093/logcom/12.3.371 [Abstract] [PDF] [Request Permissions]  

Jordi Sabater, Carles Sierra, Simon Parsons, and Nicholas R. Jennings

Engineering Executable Agents using Multi-context Systems
J Logic Computation 2002 12: 413-442; doi:10.1093/logcom/12.3.413 [Abstract] [PDF] [Request Permissions]  

João Rasga, Amílcar Sernadas, Cristina Sernadas, and Luca Viganò

Fibring Labelled Deduction Systems
J Logic Computation 2002 12: 443-473; doi:10.1093/logcom/12.3.443 [Abstract] [PDF] [Request Permissions]  

Elwood Wilkins and Simon H. Lavington

Belief Functions and the Possible Worlds Paradigm
J Logic Computation 2002 12: 475-495; doi:10.1093/logcom/12.3.475 [Abstract] [PDF] [Request Permissions]  

Patricia M. Hill and Fausto Spoto

Generalizing Def and Pos to Type Analysis
J Logic Computation 2002 12: 497-542; doi:10.1093/logcom/12.3.497 [Abstract] [PDF] [Request Permissions]  

Richard E. Overill

Codes and Ciphers: Julius Caesar, The Enigma, and the Internet
J Logic Computation 2002 12: 543; doi:10.1093/logcom/12.3.543 [PDF] [Request Permissions]  

Richard E. Overill

Foundations of Cryptography: Basic Tools
J Logic Computation 2002 12: 543-544; doi:10.1093/logcom/12.3.543-a [PDF] [Request Permissions]  

Forthcoming Papers
J Logic Computation 2002 12: 545-546; doi:10.1093/logcom/12.3.545 [PDF] [Request Permissions]  

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.