Computers and Artificial Intelligence, Vol. 25, 2006

Volume 25, Number 1, 2006

• José María Valls, Inés María Galván, Pedro Isasi Viñuela: Improving the Generalization Ability of RBNN Using a Selective Strategy Based on the Gaussian Kernel Function.
• Andraz Bezek, Matjaz Gams: Comparing a Traditional and a Multi-Agent Load-Balancing System.
• Labiba Souici-Meslati, Mokhtar Sellami: Perceptual Recognition of Arabic Literal Amounts.
• Ján Kollár, Jaroslav Porubän, Peter Václavík: From Eager PFL to Lazy Haskell.
• Tomás Brázdil, Ivana Cerná: Model Checking of RegCTL.

Volume 25, Number 2-3, 2006

• Gérard Ferrand, Willy Lesaint, Alexandre Tessier: Explanations and Proof Trees.
• Emma Byrne: A Logical Framework for Identifying and Explaining Unexpected News.
• Eva Armengol, Enric Plaza: Symbolic Explanation of Similarities in Case-based Reasoning.
• Lisa Cummins, Derek G. Bridge: KLEOR: A Knowledge Lite Approach to Explanation Oriented Retrieval.
• Micheline Bélanger, Jean-Marc Martel: Explanations for a Decision Support System Based on MCDA.
• Gengshen Du, Michael M. Richter, Günther Ruhe: An Explanation Oriented Dialogue Approach and Its Application to Wicked Planning Problems.

Volume 25, Number 4, 2006

• José Carlos Mouriño, María J. Martín, Patricia González, Ramon Doallo: High Performance Air Quality Simulation in the European CrossGrid Project.
• Xiaosong Zheng, Petri Pulli: User-focused Reference Modelling for 3G and Beyond Mobile and Wireless Applications.
• Viliam Geffert, Ján Kollár: Linear-Time In-Place Selection with epsilon.n Element Moves.
• Iftikhar Ahmed, Jafar Sadiq: An Algorithmic Evaluation of Information Search in a Mobile Agent-Based Demand-Oriented Information Service System.
• Rafal Drezewski: Co-Evolutionary Multi-Agent System with Speciation and Resource Sharing Mechanisms.

Volume 25, Number 5, 2006

• Il-Gon Kim, Miyoung Kang, Jin-Young Choi, Peter D. Zegzhda, Maxim O. Kalinin, Dmitry P. Zegzhda, Inhye Kang: Formal Verification of Security Model Using SPR Tool.
• Filip Orság: Speaker Recognition in the Biometric Security Systems.
• T. T. Dang, Baltazár Frankovic, Ivana Budinska, Ben Flood, Con Sheahan, Bao-Lam Dang: Using Heuristic Search for Solving Single Machine Batch Processing Problems.
• Josef Strnadel: Testability Analysis and Improvements of Register-Transfer Level Digital Circuits.
• Eduard Toman, Martin Stanek: Analysis of Greedy Algorithm for Vertex Covering of Random Graph by Cubes.
• Michal Laclavik, Zoltan Balogh, Marian Babik, Ladislav Hluchý: AgentOWL: Semantic Knowledge Model and Agent Architecture.

Volume 25, Number 6, 2006

• Rosa Alarcón, Luis A. Guerrero, Sergio F. Ochoa, José A. Pino: Analysis and Design of Mobile Collaborative Applications Using Contextual Elements.
• Pedro Antunes, João Ramires, Ana Respício: Addressing the Conflicting Dimension of Groupware: A Case Study in Software Requirements Validation.
• Flávia Maria Santoro, Patrick Brézillon: The Role of Shared Context in Group Storytelling.
• Joan Manuel Marquès, Leandro Navarro: LaCOLLA: A Middleware to Support Self-sufficient Collaborative Groups.
• Naiana Carminatti, Marcos R. S. Borges, José Orlando Gomes: Analyzing Approaches to Collective Knowledge Recall.