345 | -- | 370 | Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini. A Foundation for Metareasoning Part II: The Model Theory |
371 | -- | 412 | Wayne Wobcke. Two Logical Theories of Plan Recognition |
413 | -- | 442 | Jordi Sabater, Carles Sierra, Simon Parsons, Nicholas R. Jennings. Engineering Executable Agents using Multi-context Systems |
443 | -- | 473 | João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò. Fibring Labelled Deduction Systems |
475 | -- | 495 | Elwood Wilkins, Simon H. Lavington. Belief Functions and the Possible Worlds Paradigm |
497 | -- | 542 | Patricia M. Hill, Fausto Spoto. Generalizing Def and Pos to Type Analysis |
543 | -- | 544 | Richard E. Overill. Foundations of Cryptography: Basic Tools |
543 | -- | 0 | Richard E. Overill. Codes and Ciphers: Julius Caesar, The Enigma, and the Internet |