Journal: Comput. J.

Volume 50, Issue 4

373 -- 374Fairouz Kamareddine. Capsule Reviews
377 -- 0Ruqian Lu, Zhi-Hua Zhou. Guest Editorial to the Special Issue on Advances of Artificial Intelligence and Knowledge Engineering in China
378 -- 390Wei Li. R-Calculus: An Inference System for Belief Revision
391 -- 402Sanjiang Li, Bernhard Nebel. Qualitative Spatial Representation and Reasoning: A Hierarchical Approach
403 -- 420Kaile Su, Abdul Sattar, Xiangyu Luo. Model Checking Temporal Logics of Knowledge Via OBDDs
421 -- 434Hongli Liang, Jue Wang, Yiyu Yao. User-Oriented Feature Selection for Machine Learning
435 -- 443Shan-Tai Chen, Shun-Shii Lin, Li-Te Huang. A Two-Phase Optimization Algorithm For Mastermind
444 -- 459Roberto Baldoni, Roberto Beraldi, Leonardo Querzoni, Antonino Virgillito. Efficient Publish/Subscribe Through a Self-Organizing Broker Overlay and its Application to SIENA
460 -- 472Amit Thawani, Srividya Gopalan, V. Sridhar, Krithi Ramamritham. Context-aware Timely Information Delivery in Mobile Environments
473 -- 477Vladimir Yanovski, Israel A. Wagner, Alfred M. Bruckstein. A Linear-Time Constant-Space Algorithm for the Boundary Fill Problem
478 -- 499Emilio Ancillotti, Raffaele Bruno, Marco Conti, Enrico Gregori, Antonio Pinizzotto. A Layer-2 Framework for Interconnecting ::::Ad Hoc:::: Networks to Fixed Internet: Test-bed Implementation and Experimental Evaluation
500 -- 0Antonio Izquierdo Manzanares. Professional Pen Testing for Web Applications - Programmer to Programmer Series (P2P)