12. IEA/AIE 1999: Cairo, Egypt

Invited Talks

• Flávio S. Corrêa da Silva:
  Formalisations of Uncertain Reasonining. 1-3
  
• Nicholas R. Jennings:
  Agent-Oriented Software Engineering. 4-10
  
• Ibrahim H. Osman:
  A Unified-Metaheuristic Framework. 11-12
  

Fuzzy Systems

• Shyue-Liang Wang, Yi-Huey Wu:
  A Fuzzy Knowledge Representation and Acquisition Scheme for Diagnostic Systems. 13-22
  
• Gary Yat Chung Wong, Hon Wai Chun:
  Modelling Fuzzy Sets Using Object-Oriented Techniques. 23-32
  
• H. Zreak, M. Alwan, M. Khaddour:
  A Fuzzy Approach to Map Building. 33-42
  
• Daniel Pacholczyk:
  Towards an Affirmative Interpretation of Linguistically Denied Fuzzy Properties in Knowledge-Based Systems. 43-53
  
• Ramo Sendelj, Vladan Devedzic:
  Representational Hierarchy of Fuzzy Logic Concepts in the OBOA Model. 54-63
  
• Heng-Kang Fan, Chih-Ming Chen, Chin-Ming Hong:
  Design of Fuzzy Sliding Controller Based on Cerebellar Learning Model. 64-73
  
• Tzung-Pei Hong, Tzu-Ting Wang:
  A New Fuzzy Flexible Flow-Shop Algorithm for Continous Fuzzy Domain. 74-79
  

Neural Networks

• Yasser Dakroury, Ahmed Abd El Al, Osman Badr:
  Testing the Performance of a Neural Networks-Based Adaptive Call Admission Controller with Multimedia Traffic. 80-91
  
• Daniel Manrique, Juan Rios, Amparo Vilarrasa:
  A Combined Neural Network and Mathematical Morphology Method for Computerized Detection of Microcalcifications. 92-100
  
• A. Martínez, Juan Castellanos, C. Hernández, Luis Fernando de Mingo López:
  Study of Weight Importance in Neural Networks Working with Colineal Variables in Regression Problems. 101-110
  
• Gerard Murray, Tim Hendtlass, John R. Podlena:
  The Parallel Path Artificial Micronet. 111-117
  

Genetic Algorithms

• Ahmed K. Ezzat, Nobuhiro Inuzuka, Hidenori Itoh:
  A Generation Method to Produce GA with GP Capabilities for Signal Modeling. 118-126
  
• Miguel Rocha, José Neves:
  Preventing Premature Convergence to Local Optima in Genetic Algorithms via Random Offspring Generation. 127-136
  
• Mohammed El-Beltagy, Andy J. Keane: Using Self Organizing Maps and Genetic Algorithms for Model Selection in Multilevel Optimization. 137-144
• Fabrice Guillet, Pascale Kuntz, Rémi Lehn:
  A Genetic Algorithm for Visualizing Networks of Association Rules. 145-154
  
• Sahar Shazely, Hoda Baraka, Ashraf H. Abdel-Wahab, Hanan Kamal:
  Genetic Algorithms in Solving Graph Partitioning Problem. 155-164
  
• Ahmed I. Baaleh, Ahmed F. Sakr: Application of Genetic Algorithms in Power System Stabilizer Design. 165-174
• Ester Bernadó i Mansilla, Abdelouahab Mekaouche, Josep Maria Garrell i Guiu:
  A Study of a Genetic Classifier System Based on the Pittsburgh Approach on a Medical Domain. 175-184
  

Search

• Chin-Ming Hong, Chih-Ming Chen, Heng-Kang Fan:
  A New Gradient-Based Search Method: Grey-Gradient Search Model. 185-194
  
• Douglas Antony Louis Piriyakumar, Paul Levi:
  An Improvised A* Algorithm for Mobile Robots to Find the Optimal Path in an Unknown Environment with Minimized Search Efforts. 195-204
  
• Ahmed R. Appas, Ahmed M. Darwish, Ayman I. El-Desouki, Samir I. Shaheen:
  Speeding the Vector Search Algorithm for Regional Color Channel Features Based Indexing and Retrieval Systems. 205-214
  

Reasoning

• Shohei Kato, Satoru Oono, Hirohisa Seki, Hidenori Itoh:
  Cost-Based Abduction Using Binary Decision Diagrams. 215-225
  
• Franz Wotawa:
  New Directions in Debugging Hardware Designs. 226-235
  
• Gerard Ligozat:
  Reasoning with Diagrams: The Semantics of Arrows. 236-245
  
• Heiko Milde, Lothar Hotz, Jörg Kahl, Bernd Neumann, Stephanie Wessel:
  MAD: A Real World Application of Qualitative Model-Based Decision Tree Generation for Diagnosis. 246-255
  

Expert Systems and Applications

• Frank van Harmelen, Jos van der Meer:
  WebMaster: Knowledge-Based Verification of Web-Pages. 256-265
  
• Gerhard Peter, Dietmar Rösner:
  Towards Task-Oriented User Support for Failure Mode and Effects Analysis. 266-275
  
• P. Gokul Chander, Rajjan Shinghal, Thiruvengadam Radhakrishnan:
  Incremental and Integrated Evaluation of Rule-Based Systems. 276-285
  
• Mamdouh H. Ibrahim, Fred A. Cummins:
  A Model of Reflection for Developing AI Applications. 286-295
  
• Catholijn M. Jonker, Jan Treur: A Compositional Process Control Model and Its Application to Biochemical Processes. 298-305
• Catholijn M. Jonker, Rob Kremer, Pim van Leeuwen, Dong Pan, Jan Treur:
  Visual and Textual Knowledge Representation in DESIRE. 306-315
  
• Jorge Santos, Luiz Faria, Carlos Ramos, Zita A. Vale, Albino Marques:
  Verification of Knowledge Based-Systems for Power System Control Centres. 316-325
  
• Malay K. Kundu, Nikhil R. Pal:
  Self-Crossover and Its Application to the Travelling Salesman Problem. 326-332
  
• Nuno Malheiro, Zita A. Vale, Carlos Ramos, Jorge Santos, Albino Marques:
  Enabling Client-Server Explanation Facilities in a Real-Time Expert-System. 333-342
  
• Peter Fröhlich, Wolfgang Nejdl, Michael Schroeder, Carlos Viegas Damásio, Luís Moniz Pereira:
  Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks. 343-352
  
• Vagan Y. Terziyan, Seppo Puuronen:
  Knowledge Acquisition Based on Semantic Balance of Internal and External Knowledge. 353-361
  
• Raoul N. Smith, William J. Frawley:
  Alex: A Computer Aid for Treating Alexithymia. 362-371
  

Case-Base Reasoning

• Emmanuel Kounalis, Pascal Urso:
  Mechanizing Proofs of Integrity Constraints in the Situation Calculus. 372-381
  
• Guy Saward:
  Using Cases for Process Modelling: An Example from the Water Supply Industry. 382-387
  
• Esma Aïmeur, Kamel Boudina:
  Financial Analysis by Case Based Reasoning. 388-397
  
• Simon Bélanger, Marc-André Thibodeau, Esma Aïmeur:
  Training of the Learner in Criminal Law by Case-Based Reasoning. 398-408
  

Intelligent Agents

• Boon-Hua Ooi, Aditya Ghose:
  Constraint-Based Agent Specification for a Multi-agent Stock Brokering System. 409-419
  
• Christian Piccardi, Franz Wotawa:
  A Communication Language and the Design of a Diagnosis Agent - Towards a Framework for Mobile Diagnosis Agents. 420-429
  
• Catholijn M. Jonker, Jan Treur:
  Inforamtion Broker Agents in Intelligent Websites. 430-439
  
• Tatiana Gavrilova, Alexander V. Voinov, Irina Lescheva:
  Learner-Model Approach to Multi-agent Intelligent Distance Learning System for Program Testing. 440-449
  
• Bernhard Bauer, Cornel Klein:
  A Multi-agent Solution for Advanced Call Centers. 450-459
  
• José Cuena, Martín Molina:
  A Multiagent System for Emergency Management in Floods. 460-469
  
• K. Suzanne Barber, Anuj Goel, David C. Han, Joonoo Kim, Tse-Hsin Liu, Cheryl E. Martin, Ryan McKay:
  Problem-Solving Frameworks for Sensible Agents in an Electronic Market. 470-479
  
• Christine Bel, Wim van Stokkum:
  A Model for Distributed Multi-agent Traffic Control. 480-489
  
• Rune Gustavsson:
  Smart Equipment Creating New Electronic Business Opportunities. 490-499
  

Distributed AI

• Samir Aknine, Suzanne Pinson:
  Agent Oriented Conceptual Modeling of Parallel Workflow Systems. 500-509
  
• Dwight Deugo:
  A Distributed Algorithm as Mobile Agents. 510-519
  
• Flávio S. Corrêa da Silva, Jaume Agustí-Cullell, Ana Cristina Vieira de Melo, Wamberto Weber Vasconcelos, David Stuart Robertson:
  Why Ontologies Are Not Enough for Knowledge Sharing. 520-529
  

Pattern Recognition an Vision

• Khaled Mostafa, Samir I. Shaheen, Ahmed M. Darwish, Ibrahim Farag:
  A Novel Approach for Detecting and Correcting Segmentation and Recognition Errors in Arabic OCR Systems. 530-539
  
• Mohammad E. Ragab, Ahmed M. Darwish, Ehsan M. Abed, Samir I. Shaheen:
  Face Recognition Using Principal Component Analysis Applied to an Egyptian Face Database. 540-549
  
• Antanas Verikas, Adas Gelzinis, Kerstin Malmqvist:
  Using Labelled and Unlabelled Data to Train a Multilayer Perceptron for Colour Classification in Graphic Arts. 550-559
  
• Marcos A. Rodrigues, Yonghuai Liu: A Novel 3D-3D Computer Vision Algorithm for Automatic Inspection of Filter Components. 560-569
• Ezzeddine Zagrouba, T. Hedidar, A. Jaoua:
  A Robust and Unified Algorithm for Indoor and Outdoor Scenes Based on Region Segmentation. 570-579
  
• Fano Ramparany, F. Sandt:
  SAPIA: A Model Based Satellite Image Interpretation System. 580-589
  
• Shishir Shah, J. K. Aggarwal:
  Hierarchical Multifeature Integration for Automatic Object Recognition in Forward Looking Infrared Images. 590-599
  

Machine Learning

• Antonis C. Kakas, A. Michael:
  Air-Crew Scheduling through Abduction. 600-611
  
• Rym Salem, Khaled Bsaïes:
  Unfold/Fold Inductive Proof: An Extension of a Folding Technique. 612-621
  
• B. John Oommen, T. Dale Roberts:
  On Solving the Capacity Assignment Problem Using Continous Learning Automata. 622-631
  
• Manuel Link, Masuhiro Ishitobi:
  Supervised Parameter Optimization of a Modular Machine Learning System. 632-641
  
• Hedia Mhiri Sellami, Ali Jaoua: Non-supervised Rectangular Classification of Binary Data. 642-648
• Mohamed Salah Hamdi, Karl Kaiser:
  Synthesizing Intelligent Behaviour: A Learning Paradigm. 649-658
  
• Zsolt János Viharos, Laszlo Monostori:
  Automatic Input-Output Configuration and Generation of ANN-based Process Models and Their Application in Machining. 659-668
  
• Saleh M. Abu-Soud, Mehmet R. Tolun:
  DCL: A Disjunctive Learning Algorithm for Rule Extraction. 669-678
  

Temporal Reasoning

• Aomar Osmani:
  Modeling and Simulating Breakdown Situations in Telecommunicatiion Networks. 679-687
  
• Seppo Puuronen, Helen Kaikova:
  Handling Context-Sensitive Temporal Knowledge from Multiple Differently Ranked Sources. 688-697
  
• Aomar Osmani:
  Introduction to Reasoning about Cyclic Intervals. 698-706
  
• Hans W. Guesgen, Debasis Mitra:
  A Multiple-Platform Decentralized Route Finding System. 707-713
  
• Howard J. Hamilton, Dee Jay Randall:
  Heuristic Selection of Aggregated Temporal Data for Knowledge Discovery. 714-723
  

Temporal Reasoning

• D. Chitchian, S. Sariyildiz, Henk Koppelaar:
  Architectural Knowledge Representation Using the Galois Lattice Technique. 724-734
  
• Frantisek Capkovic:
  Automated Solving of the DEDS Control Problems. 735-746
  
• Jörg Kahl, Lothar Hotz, Heiko Milde, Stephanie Wessel:
  A More Efficient Knowledge Representation for Allen's Algebra and Point Algebra. 747-752
  
• Hoda Baraka, Saad Eid, Hanan Kamal, Ashraf H. Abdel-Wahab:
  Unified Chromosome Representation for Large Scale Problems. 753-760
  
• Hesham A. Hefny, Ashraf H. Abdel-Wahab, Ahmed A. Bahnasawi, Samir I. Shaheen:
  A Novel Framework for Hybrid Intelligent Systems. 761-770
  

Planning and Scheduling

• Andy Hon Wai Chun, Steve Ho Chuen Chan:
  The Design of a Multi-tiered Bus Timetabling System. 771-779
  
• Patrick van Bael, Marcel Rijckaert:
  Scheduling of a Production Unit via Critical Block Neighbourhood Structures. 780-787
  
• Norio Tomii, Li Jian Zhou, Naoto Fukumara:
  An Algorithm for Station Shunting Scheduling Problems Combining Probabilistic Local Search and PERT. 788-797
  

Tutoring and Manufacturing Systems

• Dusan Popovic, Vladan Devedzic:
  Designing an Intelligent Tutoring System in the Domain of Formal Languages. 798-808
  
• Eman El-Sheikh, Jon Sticklen:
  Leveraging a Task-Specific Approach for Intelligent Tutoring System Generation: Comparing the Generic Tasks and KADS Frameworks. 809-819
  
• Christian Schäfer, Omar López:
  An Object-Oriented Robot Model and Its Integration into Flexible Manufacturing Systems. 820-829
  
• Ergun Gide, Fawzy Soliman:
  The Economic Benefits of Internet-Based Business Operations in Manufacturing. 830-840
  
• Ahmed Elkeran, M. A. El-baz:
  CNC Nanufacturing of Complex Surfaces Based on Solid Modeling. 841-848
  
• T. El-Fouly, Noureddine Zerhouni, Michel Ferney, Abdellah El Moudni:
  Analysis of Manufacturing Lines Using a Phase Space Algorithm: Open Line Case. 849-858
  

Intelligent Software Engineering

• Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou:
  A Formal Approach to Lingware Development. 859-868
  
• Daniela E. Herlea, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards:
  A Formal Knowledge Level Process Model of Requirements Engineering. 869-878
  
• Jovan Cakic, Vladan Devedzic:
  Pieces of Mind: Component-Based Software Development of Artificial Intelligence. 879-888
  
• Tawfik T. El-Midany, Ahmed Elkeran, H. T. Radwan:
  CNC Automatic Programming System for Wire-EDM. 889-896
  

Last update Sat May 25 03:30:38 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page