Computers and Artificial Intelligence, Vol. 22, 2003

Volume 22, Number 1, 2003

Dang Tung, Baltazár Frankovic, Ivana Budinska: Optimal Creation of Agent Coalitions for Manufacturing and Control. BibTeX
Yongzhong Lu, Jingli Zhou, Shengsheng Yu: A Survey of Face Detection, Extraction and Recognition. BibTeX
Petr Fiser, Jan Hlavicka: BOOM - A Heuristic Boolean Minimizer. BibTeX
Ladislav Satko, Otokar Grosek, Karol Nemoga: Extremal Generalized S-Boxes. BibTeX
Yashar Ganjali: Optimum Multi-Dimensional Interval Routing Schemes on Networks with Dynamic Cost Links. BibTeX

Vladimir Filipovic: Fine-grained Tournament Selection Operator in Genetic Algorithms. BibTeX
Alexander V. Smirnov, Mikhail Pashkin, Nikolai Chilov, Tatiana Levashova: KSNet-Approach to Knowledge Fusion from Distributed Sources. BibTeX
Mária Bieliková, Yannis Manolopoulos, Pavol Návrat: Report on the 6th ADBIS'2002 Conference. BibTeX

Wolfgang Reisig: The Expressive Power of Abstract-State Machines. BibTeX
Dominique Cansell, Dominique Méry: Foundations of the B Method. BibTeX
Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata: CafeOBJ: Logical Foundations and Methodologies. BibTeX
Till Mossakowski, Anne Elisabeth Haxthausen, Donald Sannella, Andrzej Tarlecki: Casl - The Common Algebraic Specification Language: Semantics and Proof Theory. BibTeX

Chris George, Anne Elisabeth Haxthausen: The Logic of the RAISE Specification Language. BibTeX
Stephan Merz: On the Logic of TLA+. BibTeX
Martin C. Henson, Steve Reeves, Jonathan P. Bowen: Z Logic and its Consequences. BibTeX

P. C. Saxena, Inder Jeet Arora: Continuous Access of Broadcast Data Using Artificial Pointers Under a Wireless Mobile Computing. BibTeX
Otokar Grosek, Julius Siska: Semigroup of Matrices over GF{2^s} and its Relation to AES. BibTeX
János Kollár: Unified Approach to Environments in a Process Functional Language {}^*. BibTeX
Haifeng Zhou, Zhenghui Lin, Wei Cao: High-Level Technology Mapping for Memories. BibTeX

Jozef Kelemen: The Agent Paradigm - Foreword. BibTeX
Ales Kubík: Distributed Genetic Algorithm: A Case-Study of Evolution by Direct Exchange of Chromosomes. BibTeX
Jirí Wiedermann: Mirror Neurons, Embodied Cognitive Agents and Imitation Learning. BibTeX
Push Singh: Examining the Society of Mind. BibTeX
Jason Noble, Daniel W. Franks: Social Learning in a Multi-Agent System. BibTeX
Rudolf Freund, Jozef Kelemen, Gheorghe Paun: A Note on Emergence in Multi-Agent String Processing Systems. BibTeX
Pavel Tichý: Middle-Agents Organized in Fault Tolerant and Fixed Scalable Structure. BibTeX