- Erik T. Mueller:
Event Calculus Reasoning Through Satisfiability. J. Log. Comput. 14(5): 703-730 (2004) - Richard E. Overill:
Review: From 0 to 1; an Authoritative History of Modern Computing. J. Log. Comput. 14(2): 323 (2004) - Richard E. Overill:
Review: Things a Computer Scientist Rarely Talks About. J. Log. Comput. 14(2): 323-324 (2004) - Richard E. Overill:
Review: A Dictionary of the Internet. J. Log. Comput. 14(2): 324-325 (2004) - Richard E. Overill:
Review: Views into the Chinese Room: New Essays on Searle and Artificial Intelligence. J. Log. Comput. 14(2): 325-326 (2004) - Valeria de Paiva
, Rajeev Goré, Michael Mendler:
Editorial. J. Log. Comput. 14(4): 439-446 (2004) - Valeria de Paiva, Rajeev Goré, Michael Mendler:
Forthcoming Papers. J. Log. Comput. 14(4): 621-622 (2004) - Pavlos Peppas
:
The Limit Assumption and Multiple Revision. J. Log. Comput. 14(3): 355-371 (2004) - Lutz Schröder
, Till Mossakowski
:
Monad-independent Dynamic Logic in HasCasl. J. Log. Comput. 14(4): 571-619 (2004) - Murray Shanahan, Mark Witkowski:
Event Calculus Planning Through Satisfiability. J. Log. Comput. 14(5): 731-745 (2004) - Tomasz F. Skura
:
Rules and Refutation Rules for the Logic of Finite n-ary Trees. J. Log. Comput. 14(3): 429-435 (2004) - Gem Stapleton, John Howse
, John Taylor, Simon J. Thompson
:
The Expressiveness of Spider Diagrams. J. Log. Comput. 14(6): 857-880 (2004) - John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher:
A Local Search Approach to Modelling and Solving Interval Algebra Problems. J. Log. Comput. 14(1): 93-112 (2004) - Heinrich Wansing:
Editorial. J. Log. Comput. 14(5): 623 (2004)