Monday June 4

FINAL PROGRAM

Monday June 4

14.00 - 18.00 Registration

18.00 - Welcoming Reception

Tuesday June 5

09.00 - 10.00 Opening and Plenary Talk
Room A
Chair: Ali, M.
Triple R: Representation, Retrieval, Reasoning
Vamos, T. (Hungary)

10.00 - 10.30 Coffee break

10.30 - 12.30 Soft Computing I
Room A
Chair: Ali, M.

Neural Learning from Unbalanced Data Using Noise Modeling (30')
Guo, H., Murphey, Y.L . (University of Michigan-Dearborn)
Neural Modelling of an Industrial Process with Noisy Data (30')
Berenyi, P., Valyon, J., Horvath, G. (Technical University of Budapest)
Enhanced Artificial Neurons for Network Applications (30')
Murray, G., Hendtlass, T. (Swinburne University of Technology)
Time Delay Neural Networks Designed Using Genetic Algorithms for Short Terms Inter-City Traffic Forecasting (30')
Lingras, P., Mountford, P. (Saint Mary's University)

10.30 - 12.30 Knowledge Representation I
Room B
Chair: Vamos, T.

Why Use a Unified Knowledge Representation? (30')
Debenham, J. (University of Technology, Sydney)
Lazy Knowledge Base Update (30')
Lukaszewicz, W., Madalinska-Bugaj, E. (Warsaw University)
On the Computational Aspect of Rule Based Database Updates (30')
Bai, Y., Zhang, Y. (University of Western Sydney)
Building an Information and Knowledge Fusion System (30')
Meszaros, T., Barczikay, Zs., Bodon, F., Dobrowiecki, T.P., Strausz, Gy. (Budapest University of Technology and Economics)

10.30 - 12.30 SW Engineering
Room C
Chair: Wotawa, F.

Improving Space, Time and Termination in Rewriting-Based Programming (30')
Nedjah, N., de Macedo Mourelle, L. (State University of Rio de Janeiro)
Knowledge Intensive Case-Based Assistance for Framework Reuse (30')
Gómez-Albarran, M., Gonzalez-Calero, P.A. (Univ. Complutense de Madrid)
Deciding on a Pattern (30')
McPhail, J.C., Deugo, D. (Carleton University)
Program Modeling for Fault Definition Based Static Analysis (15')
Illgen, T. (University of Paderborn)
Goal-Driven, Scalable Generation of Complete Interaction Sequences for Testing Graphical User Interfaces (15')
Belli, F. (University of Paderborn)

12.30 - 14.00 Lunch

14.00 - 15.30 Soft Computing II
Room A
Chair: Szolgay, P.

An Efficient Hardware Implementation of Feed-Forward Neural Networks (30')
Szabó, T., Horvath, G. (Technical University of Budapest)
MAPS: A Method for Identifying and Predicting Aberrant Behaviour in Time Series (30')
Kotsakis, E. (CCR, Space Application Institute), Wolski, A. (SOLID Applied Research Center)
A Fuzzy Cognitive Map Based on the Random Neural Model (15')
Aguilar, J. (CEMISID, Universidad de los Andes)

14.00 - 15.30 Knowledge Representation II
Room B
Chair: Dobrowiecki, T.

Hierarchical Approach for Engineering Skills Acquisition (30')
Levin, M.Sh. (Ben Gurion University)
Dealing with Information in the Different Styles Together - Skill Inheritance and Integration of Information (15')
Ohsuga, S., Ueda, N. (Waseda University)
Knowledge Modelling in Support of Knowledge Management (15')
Kende, R. (University of Technology in Kosice)
A New Approach in Object-Based Knowledge Representation: the AROM System (15')
Page, M., Gensel, J., Bardou, D. (INRIA Rhône-Alpes, Universite Pierre Mend?s-France), Capponi, C. (Univ. de Provence), Bruley, C., Dupierris, V. (INRIA Rh?ne-Alpes), Genoud, P., Ziebelin, D. (INRIA Rhône-Alpes, Universite Joseph Fourier)
Ontology Integration Task in Business-to-Business E-Commerce (15')
Omelayenko, B. (Vrije Universiteit Amsterdam)

14.00 - 15.30 Manufacturing Systems
Room C
Chair: Fenton, R.

Fractal Business in an E-Business World (30')
Sihn, W., Klink, J. (Fraunhofer Institute for Manufacturing Engineering and Automation)
Optimisation of Process Chains and Production Plants by Using a Hybrid-, AI- and Simulation-Based Approach (30')
Viharos, Zs.J., Monostori, L. (Computer and Automation Resarch Institute of HAS)
A Multi-Agent Fuzzy Cognitive Tool for Reengineering Manufacturing Systems (30')
Macedo, J. (Institut Strategies Industrielles)

15.30 - 16.00 Coffee break

16.00 - 18.00 Soft Computing III
Room A
Chair: Horvath, G.

Synthetic Damage Assessment for RC Structure Based on Fuzzy Logic (30')
Tsai, C-H. (National Chung Cheng University), Hsu, D-S. (National Cheng Kung University)
Genetic Algorithm for Fuzzy Logical Equations Solving in Diagnostic Expert Systems (30')
Rotshtein, A.P. (Jerusalem College of Technology), Rakytyanska, H. (Vinnitsa State Technical University)
Diagnosis Based on Genetic Algorithms and Fuzzy Logic in NPPs (15')
Yangping, Z., Xiang, F., Bingquan, Z. (Tsinghua University)
Vagueness in Spatial Data: Rough Set and Egg-Yolk Approaches (15')
Beaubouef, T. (Southeastern La. University), Petry, F. (Tulane University)

16.00 - 18.00 Model-Based Reasoning
Room B
Chair: Lukaszewicz, W.

Using Multiple Models for Debugging VHDL Designs (30')
Wotawa, F. (Technische Universität Wien)
Lessons Learned from Diagnosing Dynamic Systems Using Possible Conflicts and Quantitative Models (30')
Pulido, B., Alonso, C., Acebes, F. (Universidad de Valladolid)
Intelligent Assumption Retrieval from Process Models by Model-Based Reasoning (30')
Lakner, R. (University of Veszprem), Hangos, K.M. (Computeer and Automation Research Institute of HAS)
A Knowledge Model for Automatic Configuration of Traffic Messages (30')
Molina, M. (Technical University of Madrid), Robledo, M. (University Rey Juan Carlos)

16.00 - 18.00 Pattern and Speech Recognition, Vision
Room C
Chair: Cser, L.

Short Circuit Detection on Printed Circuit Boards During the Manufacturing Process by Using an Analogic CNN Algorithm (30')
Hidvegi, T., Szolgay, P. . (Computeer and Automation Research Institute of HAS)
Application of Feature Transformation and Learning Methods in Phoneme Classification (30')
Kocsor, A., Tóth, L., Felföldi, L. (University of Szeged)
A Smart Machine Vision System for PCB Inspection (15')
Chen, T.Q., Zhang, J., Murphey, Y.L. (University of Michigan-Dearborn), Zhou, Y. (Jabil Circuit, Inc.)

18.00 - 19.00 International Society of Applied Intelligence (ISAI) Meeting
Room A

Wednesday June 6

09.00 - 10.30 Autonomous Agents I
Room A
Chair: Randall, M.

Implementing Agent Management using Conversation Patterns and Role Theory (30')
Stergiou, C. (Imperial College), Arys, G. (Free University of Brussels)
An Approach to Coalition Formation using Argumentation-Based Negotiation in Multi-Agent Systems (30')
Hattori, H., Ito, T., Ozono, T., Shintani, T. (Nagoya Institute of Technology)
On the Relationship between Learning Capability and the Boltzmann-Formula (30')
Stefan, P., Monostori, L. . (Computeer and Automation Research Institute of HAS)

09.00 - 10.30 Machine Learning I
Room B
Chair: Murphey, Y.

Information Extraction from HTML: Combining XML and Standard Techniques for IE from the Web (30')
Xiao, L., Wissmann, D. (Siemens AG), Brown, M. (Interprice Technologies GmbH), Jablonski, S. (University of Erlangen-Nuremberg)
Flexible Similarity Assessment for XML Documents Based on XQL and Java Reflection (30')
Buhler, D., Kuchlin, W. (University of Tubingen)
Where to Position the Precision in Knowledge Extraction from Text (30')
Xiao, L., Wissmann, D. (Siemens AG), Brown, M. (Interprice Technologies GmbH), Jablonski, S. (University of Erlangen-Nuremberg)

09.00 - 10.30 Control
Room C
Chair: Dini, G.

Intelligent Control Synthesis of Manufacturing Systems (30')
Capkovic, F. (Institute of Control Theory and Robotics, Slovak Academy of Sciences), Capkovic, P. (Slovak University of Technology)
A Knowledged Based System for the Maintenance of Chemical Plants and its Implementation Using OPTRANS (30')
Pieri, G. (ROI Softwell), Klein, M.R. (HEC Group), Milanese, M. (Politecnico di Torino)
Autonomous Agents Architecture to Supervise and Control a Wastewater Treatment Plant (15')
Riano, D. (Univeristat Rovira i Virgili), Sanchez-Marre, M. (Universitat Politčcnica de Catalunya), Roda, R.I. (Universitat de Girona)
Agent-Based Support for Handling Environmental and Life Cycle Issues
Zudor, E., Monostori, L. (Computer and Automation Reaserach Institute of HAS)

10.30 - 11.00 Coffee break

11.00 - 12.30 Planning and Scheduling I
Room A
Chair: Kumara T. S.

A Mixed Closure-CSP Method to Solve Scheduling Problems (30')
Galipienso, M.I.A. (Universidad de Alicante), Sanchis, F.B. (Universidad Politčcnica
de Valencia)
Decentralized Autonomous FMS Control by Hypothetical Reasoning Including Discrete Simulator (30')
Yamamoto, H., Marui, E. (Gifu University)
Distributed Learning and Control for Manufacturing Systems Scheduling (30')
Hong, J., Prabhu, V. (The Pennsylvania State University)

11.00 - 12.30 Machine Learning II
Room B
Chair: Xiao, L.

Generation of Similarity Measures from Different Sources (30')
Stein, B., Niggemann, O. (University of Paderborn)
SNN: A Supervised Clustering Algorithm (30')
Aguilar, J.S., Ruiz, R., Riquelme, J.C., Giraldez, R. (University of Sevilla)
An Eager Regression Method Based on Best Feature Projections (30')
Aydin, T., Gűvenir, H.A. (Bilkent University)

11.00 - 12.30 Robotics
Room C
Chair: Capkovic, F.

Sound and Visual Tracking for Humanoid Robot (30')
Okuno, H.G. (ERATO, Japan Science and Technology Corp., Science University of Tokyo), Nakadai, K., Lourens, T. (ERATO, Japan Science and Technology Corp.), Kitano, H. (ERATO, Japan Science and Technology Corp, Sony Computer Science Laboratory)
Developing a Mobile Control Application with CommonKADS-RT (30')
Henao, M. (Universidad EAFIT), Soler, J., Botti, V. (Universidad Politecnica de Valencia)
Intelligent Control of Mobile Robot during Autonomous Inspection of Welding Damage Based on Genetic Algorithm (15')
Ju, D-Y., Kushida, S. (Saitama Institute of Technology)
Machine Learning for Car Navigation (15')
Mitrovic, D. (University of Canterbury)

12.30 - 14.00 Lunch

14.00 - 15.30 Planning and Scheduling II
Room A
Chair: Prabhu, V.

An Agent for Providing the Optimum Cycle Length Value in Urban Traffic Areas Constrained by Soft Temporal Deadlines (30')
Garcia, L.A., Toledo, F. (Universitat Jaume)
Interactive Modeling for Batch Simulation of Engineering Systems: a Constraint Satisfaction Problem (30')
Mitra, D. (Jackson State University)
Approaches to Increase the Performance of Agent-Based Production Systems (30')
Kadar, B., Monostori, L. (Computer and Automation Reaserach Institute of HAS)

14.00 - 15.30 Evolutionary Algorithms I
Room B
Chair: Donlon, J.

Dynamic Trait Expression for Multiploid Individuals of Evolutionary Algorithms (30')
Woodward, C., Hendtlass, T. (Swinburne University of Technology)
A Genetic and Evolutionary Programming Environment with Spatially Structured Populations and Built-in Parallelism (30')
Rocha, M., Pereira, F., Alfonso, S., Neves, J. (Universidade do Minho)
Genetic and Evolutionary Algorithms for Time Series Forecasting (30')
Cortez, P., Rocha, M., Neves, J. (Universidade do Minho)

14.00 - 15.30 Data Mining
Room C
Chair: Aguilar, J.

A View Selection Tool for Multidimensional Databases (30')
Jamil, H.M., Modica, G.A. (Mississippi State University)
Inductive Learning of a Knowledge Dictionary for a Text Mining System (15')
Sakurai, S., Ichimura, Y., Suyama, A., Orihara, R. (Toshiba Corporation)
Combining Symbolic and Numeric Techniques for DL Contents Classification and Analysis (15')
Lamirel, J-C., Toussaint, Y. (LORIA)
Different Kinds of Neural Networks in Control and Monitoring of Hot Rolling Mill (15')
Cser, L., (Bay Zoltan Foundation for Applied Research), Gulyas, J. (University of Miskolc), Szűcs, L., Horvath, A., Arvai, L. (Dunaferr Steel Works), Baross, B. (Bay Zoltan Foundation for Applied Research)

15.30 - 16.00 Coffee break

16.00 - 17.30 Planning and Scheduling III
Room A
Chair: Kadar B.

Scheduling of Production Using the Multi-Agent Approach by Hierarchical Structure (30')
Frankovic, B., Dang, T.T. (Institute of Control Theory and Robotics, Slovak Academy of Sciences)
Optimization of Disassembly Sequences for Recycling of End-of-Life Products by Using a Colony of Ant-Like Agents (30')
Dini, G., Failli F. (University of Pisa)
Representation Choice Methods as the Tool for Solving Uncertainty in Distributed Temporal Database Systems with Indeterminate Valid Time (30')
Nguyen, N.T. (Wroclaw University of Technology)

16.00 - 17.30 Evolutionary Algorithms II
Room B
Chair: Hendtlass, T.

Layout of Two Dimensional Irregular Shapes Using Genetic Algorithms (30')
M'hallah, R. (Institut Superieur de Gestion de Sousse), Bouziri, A., Jilani, W. (Institution de Recherche en Sciences Informatiques et des Telecommunications)
An Application of Genetic Algorithms to Course Scheduling at the United States Army War College (30')
Donlon, J.J. (United States Army War College)
Separation Surfaces Through Genetic Programming (15')
Riquelme, J.C., Giraldez, R., Aguilar, J.S., Ruiz, R. (Departamento de Lenguajes y Sistemas Informaticos)

16.00 - 17.30 Language Processing
Room C
Chair: Viharos, Zs.

Linguistic and Logical Tools for an Advanced Interactive Speech System in Spanish (30')
Alvarez, J., Arranz, V., Castell, N., Civit, M. (TALP Research Center, Universitat Politčcnica de Catalunya)
Selecting a Relevant Set of Examples to Learn IE-Rules (30')
Turmo, J., Rodriguez, H. (TALP Research Center, Universitat Politčcnica de Catalunya)
An Environment for Formal Specification and Verification of Lingware (15')
Gargouri, B., Jmaiel, M., Ben Hamadou, A. (LARIS Laboratory)
Sentence Analysis by Case-Based Reasoning (15')
Chakkour, F., Toussaint, Y. (LORIA-INRIA)

20.00 - 22.00 Banquet

Thursday June 7

09.00 - 10.30 Search I.
Room A
Chair: Kocsis, L.

Solving Network Synthesis Problems Using Ant Colony Optimisation (30')
Randall, M. (Bond University), Tonkes, E. (University of Queensland)
A Combined Swarm Differential Evolution Algorithm for Optimization Problems (30')
Hendtlass, T. (Swinburne University of Technology)
An Evolutionary Optimum Searching Tool (15')
Tóth, Z., (University of Szeged), Kókai, G. (Friedrich-Alexander University of Erlangen-Nurnberg)

09.00 - 10.30 Autonomous Agents II
Room B
Chair: Frankovic, B.

A Negotiation Model to Support Material Selection in Concurrent Design (30')
Barker, R. (Bartec Systems), Holloway, L. (University of Sheffield), Meehan, A. (Sheffield Hallam University)
An XML-Based Language for Coordination Protocol Description in Multi-Agent System (30')
Weiliang, M., Huanye, S., Dingpeng (Shanghai Jiao Tong University)
A Distributed Multi-Agent Model for Value Nets (15')
Dodd, C., Kumara, R.T.S. (The Pennsylvania State University)
Norms for DLP Agents Working in a Warehouse Scenario (15')
Letia, I.A., Cracium, F., Köpe, Z. (Technical University of Cluj-Napoca)

09.00 - 10.30 Design
Room C
Chair: Ohsuga, S.

A Methodology for Reliable Systems Design (30')
Solano-Soto, J. (CIC Instituto Technológico de Costa Rica), Sucar, L.E. (ITESM-Campus Cuernavaca)
Intelligent Support for Interactive Configuration of Mass-Customized Products (30')
Felfernig, A., Friedrich, G., Jannach, D., Zanker, M. (University Klagenfurt)
Knowledge Decomposition for Conceptual Product Design: An Approach to Develop Specific Domain Expert Systems for Supporting Concurrent Engineering Projects (30')
Hermes de Araújo, R. (Multibras S.A. Eletrodomesticos, Universidade Federal de Santa Catarina-UFSC), Possamai, O. (Universidade Federal de Santa Catarina-UFSC), Valentina, L.D. (Universidade do Estado de Santa Catarina)

09.00 - 10.30 Tutoring
Room D
Chair: Mitra, D.

Planning Agents in a Multi-Agents Intelligent Tutoring System (30')
Nkambou, R. (Universitč du Quebec a Montreal), Kabanza F. (University of Windsor)
Constraint-Based Tutors: a Success Story (30')
Mitrovic, A., Mayo, M., Suraweera, P., Martin, B. (University of Canterbury)
Applying Collision Avoidance Expert System to Navigation Training Systems as an Intelligent Tutor (15')
Yang, C., Phan, S. (National Research Council), Kuo, P. (National Taiwan Ocean University), Lin, F.O. (Athabasca University)

10.30 - 11.00 Coffee break

11.00 - 12.30 Search II
Room A
Chair: Markus, A.

Value Prediction in Engineering Applications (30')
Ziegler, G., Palotai, Zs., Cinkler, T., Arató, P. (Budapest University of Technology and Economics), Lőrincz, A. (Eötvös Lorand University Budapest)
Scatter Search with Random Walk Strategy for SAT and MAX-W-SAT Problems (30')
Drias, H., Khabzaoui, M. (USTHB)
Move Ordering Using Neural Networks (15')
Kocsis, L., Uiterwijk, J., van den Herik, J. (Institute of Knowledge and Agent Technology, Universiteit Maastricht)

11.00 - 12.30 Distributed Problem Solving
Room B
Chair: Nkambou, R.

Distributed Configuration and Distributed Dynamic Constraint Satisfaction (30')
Felfernig, A., Friedrich, G., Jannach, D., Zanker, M. (Institut fur Wirtschaftsinformatik und Anwendungssysteme, Produktionsinfromatik)
Checkpoint-Recovery for Mobile Intelligent Networks (30')
Morita, Y., Higaki, H. (Tokyo Denki University)

11.00 - 12.30 Finance and Business
Room C
Chair: Kumara, S. T.

Product Line Design with Customer Preferences (30')
Markus, A., Vancza, J. (Computer and Automation Resarch Institute of HAS)
Applying Logic of Information Flow and Situation Theory to Model Agents that Simulate the Stock Market Behaviour (30')
Mendes, T.S.B., de Farias, M.O.L. (Universidade do Estado do Rio de Janeiro)
Gas and Financial Analysis (15')
Leus, M., Deugo, D., Oppacher, F., Cattral, R. (Carleton University, School of Computer Science)
Semi-structured Knowledge Representation for the Automated Financial Advisor (15')
Galitsky, B., (iAskWeb, Inc.)

11.00 - 12.30 Expert Systems
Room D
Chair: Belli, F.

Automotive Product Documentation (30')
Kaiser, A., Kuchlin, W. (Wilhelm-Schickard-Institut fur Informatik, Universität Tubingen)
The Design and Implementation of a Traffic Accident Analysis System (15')
Zhang, H., Back, B. (Turku Centre for Computer Science), Zhou, W.L. (Deakin University)
Decision Support System for Shadow Mask Development Using Rule and Case (15')
Jin, H., Kim, M., Jung, S., Shon, K., (Knowledge Based Group, LG PRC), Ha H., Ye, B., Jo, J. (LG Micron)
An Expert System for Ironmaking (15')
Tuya, J., Diaz, E., Hermida, M., Brugos, J.A.L., Neira, A., Alguero, A. (University of Oviedo), Obeso, F. (Aceralia Corporación Siderúrgica S.A.)

12.30 -14.00 Lunch

09.00 - 10.00	Opening and Plenary Talk *Room A* Chair: Ali, M. Triple R: Representation, Retrieval, Reasoning Vamos, T. (Hungary)
10.00 - 10.30	Coffee break
10.30 - 12.30	Soft Computing I *Room A* Chair: Ali, M.
	Neural Learning from Unbalanced Data Using Noise Modeling (30') Guo, H., Murphey, Y.L . (University of Michigan-Dearborn) Neural Modelling of an Industrial Process with Noisy Data (30') Berenyi, P., Valyon, J., Horvath, G. (Technical University of Budapest) Enhanced Artificial Neurons for Network Applications (30') Murray, G., Hendtlass, T. (Swinburne University of Technology) Time Delay Neural Networks Designed Using Genetic Algorithms for Short Terms Inter-City Traffic Forecasting (30') Lingras, P., Mountford, P. (Saint Mary's University)
10.30 - 12.30	Knowledge Representation I *Room B* Chair: Vamos, T.
	Why Use a Unified Knowledge Representation? (30') Debenham, J. (University of Technology, Sydney) Lazy Knowledge Base Update (30') Lukaszewicz, W., Madalinska-Bugaj, E. (Warsaw University) On the Computational Aspect of Rule Based Database Updates (30') Bai, Y., Zhang, Y. (University of Western Sydney) Building an Information and Knowledge Fusion System (30') Meszaros, T., Barczikay, Zs., Bodon, F., Dobrowiecki, T.P., Strausz, Gy. (Budapest University of Technology and Economics)
10.30 - 12.30	SW Engineering *Room C* Chair: Wotawa, F.
	Improving Space, Time and Termination in Rewriting-Based Programming (30') Nedjah, N., de Macedo Mourelle, L. (State University of Rio de Janeiro) Knowledge Intensive Case-Based Assistance for Framework Reuse (30') Gómez-Albarran, M., Gonzalez-Calero, P.A. (Univ. Complutense de Madrid) Deciding on a Pattern (30') McPhail, J.C., Deugo, D. (Carleton University) Program Modeling for Fault Definition Based Static Analysis (15') Illgen, T. (University of Paderborn) Goal-Driven, Scalable Generation of Complete Interaction Sequences for Testing Graphical User Interfaces (15') Belli, F. (University of Paderborn)
12.30 - 14.00	Lunch
14.00 - 15.30	Soft Computing II *Room A* Chair: Szolgay, P.
	An Efficient Hardware Implementation of Feed-Forward Neural Networks (30') Szabó, T., Horvath, G. (Technical University of Budapest) MAPS: A Method for Identifying and Predicting Aberrant Behaviour in Time Series (30') Kotsakis, E. (CCR, Space Application Institute), Wolski, A. (SOLID Applied Research Center) A Fuzzy Cognitive Map Based on the Random Neural Model (15') Aguilar, J. (CEMISID, Universidad de los Andes)
14.00 - 15.30	Knowledge Representation II *Room B* *Chair: Dobrowiecki, T.*
	Hierarchical Approach for Engineering Skills Acquisition (30') Levin, M.Sh. (Ben Gurion University) Dealing with Information in the Different Styles Together - Skill Inheritance and Integration of Information (15') Ohsuga, S., Ueda, N. (Waseda University) Knowledge Modelling in Support of Knowledge Management (15') Kende, R. (University of Technology in Kosice) A New Approach in Object-Based Knowledge Representation: the AROM System (15') Page, M., Gensel, J., Bardou, D. (INRIA Rhône-Alpes, Universite Pierre Mend?s-France), Capponi, C. (Univ. de Provence), Bruley, C., Dupierris, V. (INRIA Rh?ne-Alpes), Genoud, P., Ziebelin, D. (INRIA Rhône-Alpes, Universite Joseph Fourier) Ontology Integration Task in Business-to-Business E-Commerce (15') Omelayenko, B. (Vrije Universiteit Amsterdam)
14.00 - 15.30	Manufacturing Systems *Room C* Chair: Fenton, R.
	Fractal Business in an E-Business World (30') Sihn, W., Klink, J. (Fraunhofer Institute for Manufacturing Engineering and Automation) Optimisation of Process Chains and Production Plants by Using a Hybrid-, AI- and Simulation-Based Approach (30') Viharos, Zs.J., Monostori, L. (Computer and Automation Resarch Institute of HAS) A Multi-Agent Fuzzy Cognitive Tool for Reengineering Manufacturing Systems (30') Macedo, J. (Institut Strategies Industrielles)
15.30 - 16.00	Coffee break
16.00 - 18.00	Soft Computing III *Room A* Chair: Horvath, G.
	Synthetic Damage Assessment for RC Structure Based on Fuzzy Logic (30') Tsai, C-H. (National Chung Cheng University), Hsu, D-S. (National Cheng Kung University) Genetic Algorithm for Fuzzy Logical Equations Solving in Diagnostic Expert Systems (30') Rotshtein, A.P. (Jerusalem College of Technology), Rakytyanska, H. (Vinnitsa State Technical University) Diagnosis Based on Genetic Algorithms and Fuzzy Logic in NPPs (15') Yangping, Z., Xiang, F., Bingquan, Z. (Tsinghua University) Vagueness in Spatial Data: Rough Set and Egg-Yolk Approaches (15') Beaubouef, T. (Southeastern La. University), Petry, F. (Tulane University)
16.00 - 18.00	Model-Based Reasoning *Room B* *Chair: Lukaszewicz, W.*
	Using Multiple Models for Debugging VHDL Designs (30') Wotawa, F. (Technische Universität Wien) Lessons Learned from Diagnosing Dynamic Systems Using Possible Conflicts and Quantitative Models (30') Pulido, B., Alonso, C., Acebes, F. (Universidad de Valladolid) Intelligent Assumption Retrieval from Process Models by Model-Based Reasoning (30') Lakner, R. (University of Veszprem), Hangos, K.M. (Computeer and Automation Research Institute of HAS) A Knowledge Model for Automatic Configuration of Traffic Messages (30') Molina, M. (Technical University of Madrid), Robledo, M. (University Rey Juan Carlos)
16.00 - 18.00	Pattern and Speech Recognition, Vision *Room C* Chair: Cser, L.
	Short Circuit Detection on Printed Circuit Boards During the Manufacturing Process by Using an Analogic CNN Algorithm (30') Hidvegi, T., Szolgay, P. . (Computeer and Automation Research Institute of HAS) Application of Feature Transformation and Learning Methods in Phoneme Classification (30') Kocsor, A., Tóth, L., Felföldi, L. (University of Szeged) A Smart Machine Vision System for PCB Inspection (15') Chen, T.Q., Zhang, J., Murphey, Y.L. (University of Michigan-Dearborn), Zhou, Y. (Jabil Circuit, Inc.)
18.00 - 19.00	International Society of Applied Intelligence (ISAI) Meeting Room A

09.00 - 10.30	Autonomous Agents I *Room A* *Chair: Randall, M.*
	Implementing Agent Management using Conversation Patterns and Role Theory (30') Stergiou, C. (Imperial College), Arys, G. (Free University of Brussels) An Approach to Coalition Formation using Argumentation-Based Negotiation in Multi-Agent Systems (30') Hattori, H., Ito, T., Ozono, T., Shintani, T. (Nagoya Institute of Technology) On the Relationship between Learning Capability and the Boltzmann-Formula (30') Stefan, P., Monostori, L. . (Computeer and Automation Research Institute of HAS)
09.00 - 10.30	Machine Learning I *Room B* *Chair: Murphey, Y.*
	Information Extraction from HTML: Combining XML and Standard Techniques for IE from the Web (30') Xiao, L., Wissmann, D. (Siemens AG), Brown, M. (Interprice Technologies GmbH), Jablonski, S. (University of Erlangen-Nuremberg) Flexible Similarity Assessment for XML Documents Based on XQL and Java Reflection (30') Buhler, D., Kuchlin, W. (University of Tubingen) Where to Position the Precision in Knowledge Extraction from Text (30') Xiao, L., Wissmann, D. (Siemens AG), Brown, M. (Interprice Technologies GmbH), Jablonski, S. (University of Erlangen-Nuremberg)
09.00 - 10.30	Control *Room C* Chair: Dini, G.
	Intelligent Control Synthesis of Manufacturing Systems (30') Capkovic, F. (Institute of Control Theory and Robotics, Slovak Academy of Sciences), Capkovic, P. (Slovak University of Technology) A Knowledged Based System for the Maintenance of Chemical Plants and its Implementation Using OPTRANS (30') Pieri, G. (ROI Softwell), Klein, M.R. (HEC Group), Milanese, M. (Politecnico di Torino) Autonomous Agents Architecture to Supervise and Control a Wastewater Treatment Plant (15') Riano, D. (Univeristat Rovira i Virgili), Sanchez-Marre, M. (Universitat Politčcnica de Catalunya), Roda, R.I. (Universitat de Girona) Agent-Based Support for Handling Environmental and Life Cycle Issues Zudor, E., Monostori, L. (Computer and Automation Reaserach Institute of HAS)
10.30 - 11.00	Coffee break
11.00 - 12.30	Planning and Scheduling I *Room A* *Chair: Kumara T. S.*
	A Mixed Closure-CSP Method to Solve Scheduling Problems (30') Galipienso, M.I.A. (Universidad de Alicante), Sanchis, F.B. (Universidad Politčcnica de Valencia) Decentralized Autonomous FMS Control by Hypothetical Reasoning Including Discrete Simulator (30') Yamamoto, H., Marui, E. (Gifu University) Distributed Learning and Control for Manufacturing Systems Scheduling (30') Hong, J., Prabhu, V. (The Pennsylvania State University)
11.00 - 12.30	Machine Learning II *Room B* *Chair: Xiao, L.*
	Generation of Similarity Measures from Different Sources (30') Stein, B., Niggemann, O. (University of Paderborn) SNN: A Supervised Clustering Algorithm (30') Aguilar, J.S., Ruiz, R., Riquelme, J.C., Giraldez, R. (University of Sevilla) An Eager Regression Method Based on Best Feature Projections (30') Aydin, T., Gűvenir, H.A. (Bilkent University)
11.00 - 12.30	Robotics *Room C* *Chair: Capkovic, F.*
	Sound and Visual Tracking for Humanoid Robot (30') Okuno, H.G. (ERATO, Japan Science and Technology Corp., Science University of Tokyo), Nakadai, K., Lourens, T. (ERATO, Japan Science and Technology Corp.), Kitano, H. (ERATO, Japan Science and Technology Corp, Sony Computer Science Laboratory) Developing a Mobile Control Application with CommonKADS-RT (30') Henao, M. (Universidad EAFIT), Soler, J., Botti, V. (Universidad Politecnica de Valencia) Intelligent Control of Mobile Robot during Autonomous Inspection of Welding Damage Based on Genetic Algorithm (15') Ju, D-Y., Kushida, S. (Saitama Institute of Technology) Machine Learning for Car Navigation (15') Mitrovic, D. (University of Canterbury)
12.30 - 14.00	Lunch
14.00 - 15.30	Planning and Scheduling II *Room A* Chair: Prabhu, V.
	An Agent for Providing the Optimum Cycle Length Value in Urban Traffic Areas Constrained by Soft Temporal Deadlines (30') Garcia, L.A., Toledo, F. (Universitat Jaume) Interactive Modeling for Batch Simulation of Engineering Systems: a Constraint Satisfaction Problem (30') Mitra, D. (Jackson State University) Approaches to Increase the Performance of Agent-Based Production Systems (30') Kadar, B., Monostori, L. (Computer and Automation Reaserach Institute of HAS)
14.00 - 15.30		Evolutionary Algorithms I *Room B* Chair: Donlon, J.
		Dynamic Trait Expression for Multiploid Individuals of Evolutionary Algorithms (30') Woodward, C., Hendtlass, T. (Swinburne University of Technology) A Genetic and Evolutionary Programming Environment with Spatially Structured Populations and Built-in Parallelism (30') Rocha, M., Pereira, F., Alfonso, S., Neves, J. (Universidade do Minho) Genetic and Evolutionary Algorithms for Time Series Forecasting (30') Cortez, P., Rocha, M., Neves, J. (Universidade do Minho)
14.00 - 15.30		Data Mining *Room C* Chair: Aguilar, J.
		A View Selection Tool for Multidimensional Databases (30') Jamil, H.M., Modica, G.A. (Mississippi State University) Inductive Learning of a Knowledge Dictionary for a Text Mining System (15') Sakurai, S., Ichimura, Y., Suyama, A., Orihara, R. (Toshiba Corporation) Combining Symbolic and Numeric Techniques for DL Contents Classification and Analysis (15') Lamirel, J-C., Toussaint, Y. (LORIA) Different Kinds of Neural Networks in Control and Monitoring of Hot Rolling Mill (15') Cser, L., (Bay Zoltan Foundation for Applied Research), Gulyas, J. (University of Miskolc), Szűcs, L., Horvath, A., Arvai, L. (Dunaferr Steel Works), Baross, B. (Bay Zoltan Foundation for Applied Research)
15.30 - 16.00		Coffee break
16.00 - 17.30		Planning and Scheduling III *Room A* *Chair: Kadar B.*
		Scheduling of Production Using the Multi-Agent Approach by Hierarchical Structure (30') Frankovic, B., Dang, T.T. (Institute of Control Theory and Robotics, Slovak Academy of Sciences) Optimization of Disassembly Sequences for Recycling of End-of-Life Products by Using a Colony of Ant-Like Agents (30') Dini, G., Failli F. (University of Pisa) Representation Choice Methods as the Tool for Solving Uncertainty in Distributed Temporal Database Systems with Indeterminate Valid Time (30') Nguyen, N.T. (Wroclaw University of Technology)
16.00 - 17.30		Evolutionary Algorithms II *Room B* Chair: Hendtlass, T.
		Layout of Two Dimensional Irregular Shapes Using Genetic Algorithms (30') M'hallah, R. (Institut Superieur de Gestion de Sousse), Bouziri, A., Jilani, W. (Institution de Recherche en Sciences Informatiques et des Telecommunications) An Application of Genetic Algorithms to Course Scheduling at the United States Army War College (30') Donlon, J.J. (United States Army War College) Separation Surfaces Through Genetic Programming (15') Riquelme, J.C., Giraldez, R., Aguilar, J.S., Ruiz, R. (Departamento de Lenguajes y Sistemas Informaticos)
16.00 - 17.30		Language Processing *Room C* Chair: Viharos, Zs.
		Linguistic and Logical Tools for an Advanced Interactive Speech System in Spanish (30') Alvarez, J., Arranz, V., Castell, N., Civit, M. (TALP Research Center, Universitat Politčcnica de Catalunya) Selecting a Relevant Set of Examples to Learn IE-Rules (30') Turmo, J., Rodriguez, H. (TALP Research Center, Universitat Politčcnica de Catalunya) An Environment for Formal Specification and Verification of Lingware (15') Gargouri, B., Jmaiel, M., Ben Hamadou, A. (LARIS Laboratory) Sentence Analysis by Case-Based Reasoning (15') Chakkour, F., Toussaint, Y. (LORIA-INRIA)
20.00 - 22.00		Banquet

09.00 - 10.30	Search I. *Room A* Chair: Kocsis, L.
	Solving Network Synthesis Problems Using Ant Colony Optimisation (30') Randall, M. (Bond University), Tonkes, E. (University of Queensland) A Combined Swarm Differential Evolution Algorithm for Optimization Problems (30') Hendtlass, T. (Swinburne University of Technology) An Evolutionary Optimum Searching Tool (15') Tóth, Z., (University of Szeged), Kókai, G. (Friedrich-Alexander University of Erlangen-Nurnberg)
09.00 - 10.30	Autonomous Agents II *Room B* Chair: Frankovic, B.
	A Negotiation Model to Support Material Selection in Concurrent Design (30') Barker, R. (Bartec Systems), Holloway, L. (University of Sheffield), Meehan, A. (Sheffield Hallam University) An XML-Based Language for Coordination Protocol Description in Multi-Agent System (30') Weiliang, M., Huanye, S., Dingpeng (Shanghai Jiao Tong University) A Distributed Multi-Agent Model for Value Nets (15') Dodd, C., Kumara, R.T.S. (The Pennsylvania State University) Norms for DLP Agents Working in a Warehouse Scenario (15') Letia, I.A., Cracium, F., Köpe, Z. (Technical University of Cluj-Napoca)
09.00 - 10.30	Design *Room C* Chair: Ohsuga, S.
	A Methodology for Reliable Systems Design (30') Solano-Soto, J. (CIC Instituto Technológico de Costa Rica), Sucar, L.E. (ITESM-Campus Cuernavaca) Intelligent Support for Interactive Configuration of Mass-Customized Products (30') Felfernig, A., Friedrich, G., Jannach, D., Zanker, M. (University Klagenfurt) Knowledge Decomposition for Conceptual Product Design: An Approach to Develop Specific Domain Expert Systems for Supporting Concurrent Engineering Projects (30') Hermes de Araújo, R. (Multibras S.A. Eletrodomesticos, Universidade Federal de Santa Catarina-UFSC), Possamai, O. (Universidade Federal de Santa Catarina-UFSC), Valentina, L.D. (Universidade do Estado de Santa Catarina)
09.00 - 10.30	Tutoring *Room D* Chair: Mitra, D.
	Planning Agents in a Multi-Agents Intelligent Tutoring System (30') Nkambou, R. (Universitč du Quebec a Montreal), Kabanza F. (University of Windsor) Constraint-Based Tutors: a Success Story (30') Mitrovic, A., Mayo, M., Suraweera, P., Martin, B. (University of Canterbury) Applying Collision Avoidance Expert System to Navigation Training Systems as an Intelligent Tutor (15') Yang, C., Phan, S. (National Research Council), Kuo, P. (National Taiwan Ocean University), Lin, F.O. (Athabasca University)
10.30 - 11.00	Coffee break
11.00 - 12.30	Search II *Room A* Chair: Markus, A.
	Value Prediction in Engineering Applications (30') Ziegler, G., Palotai, Zs., Cinkler, T., Arató, P. (Budapest University of Technology and Economics), Lőrincz, A. (Eötvös Lorand University Budapest) Scatter Search with Random Walk Strategy for SAT and MAX-W-SAT Problems (30') Drias, H., Khabzaoui, M. (USTHB) Move Ordering Using Neural Networks (15') Kocsis, L., Uiterwijk, J., van den Herik, J. (Institute of Knowledge and Agent Technology, Universiteit Maastricht)
11.00 - 12.30	Distributed Problem Solving *Room B* Chair: Nkambou, R.
	Distributed Configuration and Distributed Dynamic Constraint Satisfaction (30') Felfernig, A., Friedrich, G., Jannach, D., Zanker, M. (Institut fur Wirtschaftsinformatik und Anwendungssysteme, Produktionsinfromatik) Checkpoint-Recovery for Mobile Intelligent Networks (30') Morita, Y., Higaki, H. (Tokyo Denki University)
11.00 - 12.30	Finance and Business *Room C* Chair: Kumara, S. T.
	Product Line Design with Customer Preferences (30') Markus, A., Vancza, J. (Computer and Automation Resarch Institute of HAS) Applying Logic of Information Flow and Situation Theory to Model Agents that Simulate the Stock Market Behaviour (30') Mendes, T.S.B., de Farias, M.O.L. (Universidade do Estado do Rio de Janeiro) Gas and Financial Analysis (15') Leus, M., Deugo, D., Oppacher, F., Cattral, R. (Carleton University, School of Computer Science) Semi-structured Knowledge Representation for the Automated Financial Advisor (15') Galitsky, B., (iAskWeb, Inc.)
11.00 - 12.30	Expert Systems *Room D* Chair: Belli, F.
	Automotive Product Documentation (30') Kaiser, A., Kuchlin, W. (Wilhelm-Schickard-Institut fur Informatik, Universität Tubingen) The Design and Implementation of a Traffic Accident Analysis System (15') Zhang, H., Back, B. (Turku Centre for Computer Science), Zhou, W.L. (Deakin University) Decision Support System for Shadow Mask Development Using Rule and Case (15') Jin, H., Kim, M., Jung, S., Shon, K., (Knowledge Based Group, LG PRC), Ha H., Ye, B., Jo, J. (LG Micron) An Expert System for Ironmaking (15') Tuya, J., Diaz, E., Hermida, M., Brugos, J.A.L., Neira, A., Alguero, A. (University of Oviedo), Obeso, F. (Aceralia Corporación Siderúrgica S.A.)
12.30 -14.00	Lunch