Return-Path: jq Received: from [193.49.104.48] ([193.49.104.48]) by lirmm.lirmm.fr (8.6.10/8.6.4) with SMTP id JAA27690; Tue, 11 Jul 1995 09:43:37 +0200 Date: Tue, 11 Jul 1995 09:43:37 +0200 X-Sender: jq@lirmm.lirmm.fr Message-Id: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" X-Mailer: Eudora F1.5.1 To: arc, dif From: Nuno Joao Mamede (transmis par jq@lirmm.fr (yes, it's me...)) Subject: EPIA'95: preliminary program EPIA'95 - PRELIMINARY PROGRAM SEVENTH PORTUGUESE CONFERENCE ON ARTIFICIAL INTELLIGENCE Casino Park Hotel, Funchal, Madeira Island, Portugal 3-6 October, 1995 (Under the auspices of the Portuguese Association for AI) The 7th Portuguese Conference on Artificial Intelligence will be held at Funchal, Madeira Island, Portugal, October 3-6, 1995. As in the past, EPIA 95 is an international conference with English as the official language. The conference covers all areas of Artificial Intelligence, including theoretical areas, foundational areas, and applications. The scientific program consists of invited lectures, tutorials, demonstrations and paper presentations. There will also be parallel workshops on Expert Systems, Fuzzy Logic and Neural Networks, and Applications of AI to Robotics and Vision Systems. ====================================================================== PRELIMINARY PROGRAM (Summary) ====================================================================== Tuesday - October, 3 95 ~~~~~~~~~~~~~~~~~~~~~~~ 9:00 - 12:30 TUTORIAL 1 - Artificial Life and Autonomous Robots Luc Steels 9:00 - 12:30 TUTORIAL 3 - Introduction to Artificial Intelligence Ernesto Costa (in Portuguese) 14:30 - 18:00 TUTORIAL 2 - Virtual Reality - The AI perspective David Hogg 14:30 - 18:00 TUTORIAL 4 - Design of Expert Systems Ernesto Morgado (in Portuguese) Wednsday - October, 4 95 ~~~~~~~~~~~~~~~~~~~~~~~~ 9:00 - 9:40 OPENING SESSION 9:40 - 10:30 QUALITATIVE REASONING 10:30 - 10:50 Coffee break 10:50 - 12:30 NEURAL NETWORKS & DISTRIBUTED ARTIFICIAL INTELLIGENCE 10:50 - 12:30 FUZZY LOGIC & NEURAL NETWORKS WORKSHOP 12:30 - 14:00 Lunch 14:00 - 15:30 Invited Lecture by LUIS B. ALMEIDA (IST - Portugal) "The Connectionist Paradigm and AI" 15:30 - 15:50 Coffee break 15:50 - 17:55 BELIEF REVISION & NON-MONOTONIC REASONING 15:50 - 17:55 FUZZY LOGIC & NEURAL NETWORKS WORKSHOP 15:50 - 17:55 APPLICATIONS OF EXPERT SYSTEMS WORKSHOP 20:00 - Welcome dinner Thursday - October, 5 95 ~~~~~~~~~~~~~~~~~~~~~~~~ 9:00 - 10:30 Invited Lecture by RODNEY BROOKS (MIT - USA) "The Evolutionist Approach - Past, Present and Future of AI" 10:30 - 10:50 Coffee break 10:50 - 12:30 FUZZY LOGIC & NEURAL NETWORKS WORKSHOP 10:50 - 12:30 APPLICATIONS OF EXPERT SYSTEMS WORKSHOP 10:50 - 11:40 ROBOTICS AND CONTROL 11:40 - 12:30 POSTER SECTION 12:30 - 14:00 Lunch 14:00 - 15:15 MACHINE LEARNING 14:00 - 15:15 APPLICATIONS OF AI TO ROBOTICS AND VISION SYSTEMS WORKSHOP 15:15 - 15:30 Coffee break 15:30 - 17:00 Invited Lecture by MARVIN MINSKY (MIT - USA) "Why Human Brains Can't Really Think" 17:15 - 18:30 Visit to the Madeira Wine Cellars Friday - October, 6 95 ~~~~~~~~~~~~~~~~~~~~~~ 9:00 - 10:30 INVITED LECTURE by Manuela Veloso (CMU - USA) "Planning and Learning in Intelligent Agents" 10:30 - 10:50 Coffee break 10:50 - 12:30 PLANNING AND CASE-BASED REASONING 10:50 - 12:30 CONSTRAINT-BASED REASONING 10:50 - 12:30 APPLICATIONS OF AI TO ROBOTICS AND VISION SYSTEMS WORKSHOP 12:30 - 14:00 Lunch 14:00 - 15:30 AUTOMATED REASONING AND THEOREM PROVING 14:00 - 15:30 GENETIC ALGORITHMS & THEORY OF COMPUTATION 14:00 - 15:30 APPLICATIONS OF AI TO ROBOTICS AND VISION SYSTEMS WORKSHOP 15:30 - 15:50 Coffee break 15:50 - 17:30 PANNEL (Foundations of AI) 18:00 - 19:00 APPIA meeting 20:00 Farewell dinner Saturday - October, 7 95 ~~~~~~~~~~~~~~~~~~~~~~~~ TOUR 1 - Island Tour (full day) TOUR 2 - Ribeiro Frio/Portela Walking Tour (full day) TOUR 3 - Eira do Serrado (half day) ====================================================================== PAPERS TO BE PRESENTED IN EACH SESSION ====================================================================== AUTOMATED REASONING AND THEOREM PROVING ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Terminological Meta-Reasoning by Reification and Multiple Contexts Klemens Schnattinger, Udo Hahn and Manfred Klenner CLIF, Freiburg University, Germany A New Continuous Propositional Logic Riccardo Poli, Mark Ryan and Aaron Sloman SCS, The University of Birmingham, UK Super-Polynomial Speed-Ups in Proof Length by New Tautologies Uwe Egly FG Intellektik, TH Darmstadt, Germany BELIEF REVISION ~~~~~~~~~~~~~~~ Belief Revision in Non-Monotonic Reasoning Jose Alferes, Luis Moniz Pereira and T. Przymusinski DM, U. Evora, and CRIA, U. Nova de Lisboa, Portugal A New Representation of JTMS Truong Quoc Dung IRIDIA, Universite Libre de Bruxelles, Belgium CONSTRAINT-BASED REASONING ~~~~~~~~~~~~~~~~~~~~~~~~~~ The Retrieval Problem in a Concept Language with Number Restrictions Aida Vitoria, Margarida Mamede and Luis Monteiro DI, Universidade Nova de Lisboa, Portugal Formalizing Local Propagation in Constraint Maintenance Systems Gilles Trombettoni INRIA-CERMICS, France A Dependency Parser of Korean Based on Connectionist/Symbolic Techniques Jong-Hyeok Lee and Geunbae Lee Pohang University of Science and Technology, Korea A Symbiotic Approach to Arc and Path Consistency Checking Pierre Berlandier INRIA-CERMICS, France DISTRIBUTED ARTIFICIAL INTELLIGENCE ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Where Do Intentions Come From?: A Framework for Goals and Intentions Adoption, Derivation and Evolution Graca Gaspar and Helder Coelho Faculdade de Ciencias de Lisboa, and INESC, Portugal A Closer Look to Artificial Learning Environments Helder Coelho, Augusto Eusebio and Ernesto Costa INESC, Portugal, and DEI, Universidade de Coimbra, Portugal Building Multi-Agent Societies from Descriptions to Systems: Inter-Layer Translations Helder Coelho, Luis Antunes and Luis Moniz INESC, Portugal GENETIC ALGORITHMS ~~~~~~~~~~~~~~~~~~ GA/TS: A Hybrid Approach for Job Shop Scheduling in a Production System Jose Ramon Zubizarreta and Javier Arrieta Facultad de Informatica de San Sebastian, Spain MACHINE LEARNING ~~~~~~~~~~~~~~~~ A Controlled Experiment: Evolution for Learning Difficult Image Classification Astro Teller and Manuela Veloso Carnegie Mellon University, USA Minimal Model Complexity Search Chris McConnell CMU School of Computer Science, USA Characterization of Classification Algorithms Joao Gama and Pavel Brazdil LIACC, Universidade do Porto, Portugal NEURAL NETWORKS ~~~~~~~~~~~~~~~ Neurons, Glia and the Borderline Between Subsymbolic and Symbolic Processing J. G. Wallace, K. Bluff Swinburne University of Technology, Australia NON-MONOTONIC REASONING ~~~~~~~~~~~~~~~~~~~~~~~ Arguments and Defeat in Argument-Based Nonmonotonic Reasoning Bart Verheij University of Limburg, The Netherlands A Preference Semantics for Ground Nonmonotonic Modal Logics Daniele Nardi and Riccardo Rosati DIS, Universita di Roma ``la Sapienza", Italy Logical Omniscience vs. Logical Ignorance On a Dilemma of Epistemic Logic Ho Ngoc Duc ILPS, University of Leipzig, Germany PLANNING AND CASE-BASED REASONING ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ On the Role of Splitting and Merging Past Cases for Generation of New Solutions Carlos Bento, Penousal Machado and Ernesto Costa DEI, Universidade de Coimbra, Portugal Theorem Proving by Analogy - A Compelling Example Erica Melis Department of AI, University of Edimburgh, Scotland Non-Atomic Actions in the Situation Calculus Jose Julio Alferes, Renwei Li and Luis Moniz Pereira CRIA and DCS, Universidade Nova de Lisboa, Portugal Planning under Uncertainty: A Qualitative Approach Nikos Karacapilidis FIT.KI, GMD, Sankt Augustin, Germany QUALITATIVE REASONING ~~~~~~~~~~~~~~~~~~~~~ Qualitative Reasoning under Uncertainty Daniel Pacholczyk DMI, U.F.R., Science d'Angers, France Systematic Construction of Qualitative Physics-Based Rules for Process Diagnostics Jaques Reifman and Thomas Y.C. Wei Argonne National Laboratory, USA ROBOTICS AND CONTROL ~~~~~~~~~~~~~~~~~~~~ Integrated Process Supervision (IPS): A Structured Approach to Expert Control Chai Quek, P.W. Ng, M. Pasquier Nanyang Technological University, Singapore Using Stochastic Grammars to Learn Robotic Tasks Pedro Lima and George Saridis ISR, Technical Univ. of Lisbon, Portugal, and Rensselaer Polytechnic Institute, USA THEORY OF COMPUTATION ~~~~~~~~~~~~~~~~~~~~~ Constraint Categorial Grammars Luis Damas and Nelma Moreira LIACC, Universidade do Porto, Portugal A New Translation Algorithm from Lambda Calculus into Combinatory Logic Sabine Broda and Luis Damas LIACC, Universidade do Porto, Portugal POSTER SECTION ~~~~~~~~~~~~~~ Interlocking Multi-Agent and Blackboard Architectures Bernhard Kipper DCS, University of Saarbrucken, Germany A Model Theory for Paraconsistent Logic Programming Carlos Viegas Damasio and Luis Moniz Pereira CRIA, and DCS, Universidade Nova de Lisboa, Portugal Promoting Software Reuse Through Explicit Knowledge Representation Carmen Fernandez-Chamizo, Pedro A. Gonzalez-Calero and Mercedes Gomez-Albarran Universidad Complutense, Spain Efficient Learning in Multi-Layered Perceptron Using the Grow-And-Learn Algorithm Gildas Cherruel, Bassel Solaiman and Yvon Autret Univ. de Bretagne Occidentale, and TNI, and ENSTB, France An Non-Diffident Combinatorial Optimization Algorithm Gilles Trombettoni and Bertrand Neveu INRIA-CERMICS, France Modelling Diagnosis Systems with Logic Programming Iara Mora, Jose Alferes CRIA, U. Nova de Lisboa, and DM, U. Evora, Portugal Agreement: A Logical Approach to Approximate Reasoning Luis Custodio and Carlos Pinto-Ferreira ISR, Technical University of Lisbon, Portugal Constructing Extensions by Resolving a System of Linear Equations Messaoudi Nadia Universite Aix-Marseille II, France Presenting Significant Information in Expert System Explanation Michael Wolverton Daresbury Rutherford Appleton Laboratory, UK A Cognitive Model of Problem Solving with Incomplete Information Nathalie Chaignaud LIPN, Universite Paris-Nord, France Filtering Software Specifications Written In Natural Language Nuria Castell and Angels Hernandez Universitat Politecnica de Catalunya, Spain Parsimonious Diagnosis in SNePS Pedro A. Matos and Joao P. Martins DEM, Technical University of Lisbon, Portugal Syntactic and Semantic Filtering in a Chart Parser Sayan Bhattacharyya, Steven L. Lytinen University of Michigan, and DePaul University, USA GA Approach to solving Multiple Vehicle Routing Problem Slavko Krajcar, Davor Skrlec, Branko Pribicevic and Snjezana Blagajac Faculty of Electrical Eng. and Computing, Croatia Multilevel Refinement Planning in an Interval-Based Temporal Logic Werner Stephan and Susanne Biundo German Research Center for AI, Germany ====================================================================== ENQUIRIES ADDRESS ====================================================================== EPIA'95 - INESC E-mail: epia95@inesc.pt Av. Alves Redol, 9 Fax: 351-1-525843 1000 Lisboa Voice: 351-1-3100325 PORTUGAL Home Page: http://www.isr.ist.utl.pt/~cpf/epia95 ====================================================================== SUPPORTERS ====================================================================== Banco Nacional Ultramarino Governo Regional da Madeira Instituto Superior Tecnico SISCOG - Sistemas Cognitivos INESC CITMA IBM TAPair Portugal =========================== Last Line ================================ From: Nuno Joao Mamede Date: Sun, 17 Sep 95 20:26:45 +0100 Subject: FINAL PROGRAM: EPIA'95 X-Mts: smtp EPIA'95 - PRELIMINARY PROGRAM SEVENTH PORTUGUESE CONFERENCE ON ARTIFICIAL INTELLIGENCE Casino Park Hotel, Funchal, Madeira Island, Portugal 3-6 October, 1995 (Under the auspices of the Portuguese Association for AI) The 7th Portuguese Conference on Artificial Intelligence will be held at Funchal, Madeira Island, Portugal, October 3-6, 1995. As in the past, EPIA 95 is an international conference with English as the official language. The conference covers all areas of Artificial Intelligence, including theoretical areas, foundational areas, and applications. The scientific program consists of invited lectures, tutorials, demonstrations and paper presentations. There will also be parallel workshops on Expert Systems, Fuzzy Logic and Neural Networks, and Applications of AI to Robotics and Vision Systems. ====================================================================== FINAL PROGRAM (Summary) ====================================================================== Tuesday - October, 3 95 ~~~~~~~~~~~~~~~~~~~~~~~ 9:00 - 12:30 TUTORIAL 1 - Artificial Life and Autonomous Robots Luc Steels 9:00 - 12:30 TUTORIAL 3 - Introduction to Artificial Intelligence Ernesto Costa (in Portuguese) 14:30 - 18:00 TUTORIAL 2 - Virtual Reality - The AI perspective David Hogg 14:30 - 18:00 TUTORIAL 4 - Design of Expert Systems Ernesto Morgado (in Portuguese) Wednsday - October, 4 95 ~~~~~~~~~~~~~~~~~~~~~~~~ 9:00 - 9:30 OPENING SESSION 9:40 - 10:30 QUALITATIVE REASONING 10:30 - 10:50 Coffee break 10:50 - 12:30 NEURAL NETWORKS & DISTRIBUTED ARTIFICIAL INTELLIGENCE 10:50 - 12:30 FUZZY LOGIC & NEURAL NETWORKS WORKSHOP 12:30 - 14:00 Lunch 14:00 - 15:30 Invited Lecture by LUIS B. ALMEIDA (IST - Portugal) "The Connectionist Paradigm and AI" 15:30 - 15:50 Coffee break 15:50 - 18:00 BELIEF REVISION & NON-MONOTONIC REASONING 15:50 - 18:30 FUZZY LOGIC & NEURAL NETWORKS WORKSHOP 15:50 - 18:30 APPLICATIONS OF EXPERT SYSTEMS WORKSHOP 20:00 - Welcome Dinner (With a performance of the Univ. of Madeira "tuna") Thursday - October, 5 95 ~~~~~~~~~~~~~~~~~~~~~~~~ 9:00 - 10:30 Invited Lecture by RODNEY BROOKS (MIT - USA) "The Evolutionist Approach - Past, Present and Future of AI" 10:30 - 10:50 Coffee break 10:50 - 12:30 APPLICATIONS OF EXPERT SYSTEMS WORKSHOP 10:50 - 11:40 ROBOTICS AND CONTROL 11:40 - 12:30 POSTER SECTION 12:30 - 14:00 Lunch 14:00 - 15:15 MACHINE LEARNING 15:15 - 15:35 Coffee break 15:35 - 17:05 Invited Lecture by MARVIN MINSKY (MIT - USA) "Why Human Brains Can't Really Think" 17:15 - 18:30 Visit to the Madeira Wine Cellars Friday - October, 6 95 ~~~~~~~~~~~~~~~~~~~~~~ 9:00 - 10:30 INVITED LECTURE by Manuela Veloso (CMU - USA) "Planning and Learning in Intelligent Agents" 10:30 - 10:50 Coffee break 10:50 - 12:30 STREAM 1: PLANNING AND CASE-BASED REASONING 10:50 - 12:30 STREAM 2: CONSTRAINT-BASED REASONING 10:50 - 12:30 APPLICATIONS OF AI TO ROBOTICS AND VISION SYSTEMS WORKSHOP 12:30 - 14:00 Lunch 14:00 - 15:30 STREAM 1: AUTOMATED REASONING AND THEOREM PROVING 14:00 - 15:30 STREAM 2: GENETIC ALGORITHMS & THEORY OF COMPUTATION 14:00 - 15:30 APPLICATIONS OF AI TO ROBOTICS AND VISION SYSTEMS WORKSHOP 15:30 - 15:50 Coffee break 15:50 - 17:30 PANNEL (The Next Frontiers of AI: the Role of Foundations) 18:00 - 19:00 APPIA meeting 20:00 Farewell Dinner (with folklore dances show) Saturday - October, 7 95 ~~~~~~~~~~~~~~~~~~~~~~~~ TOUR 1 - Island Tour (full day) TOUR 2 - Ribeiro Frio/Portela Walking Tour (full day) TOUR 3 - Eira do Serrado (half day) ====================================================================== PAPERS TO BE PRESENTED IN EACH SESSION ====================================================================== AUTOMATED REASONING AND THEOREM PROVING ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Terminological Meta-Reasoning by Reification and Multiple Contexts Klemens Schnattinger, Udo Hahn, Manfred Klenner CLIF, Freiburg University, Germany A New Continuous Propositional Logic Riccardo Poli, Mark Ryan, Aaron Sloman SCS, The University of Birmingham, UK Super-Polynomial Speed-Ups in Proof Length by New Tautologies Uwe Egly FG Intellektik, TH Darmstadt, Germany BELIEF REVISION ~~~~~~~~~~~~~~~ Belief Revision in Non-Monotonic Reasoning Jose Alferes, Luis Moniz Pereira, T. Przymusinski DM, U. Evora, and CRIA, U. Nova de Lisboa, Portugal, and University of California at Riverside, USA A New Representation of JTMS Truong Quoc Dung IRIDIA, Universite Libre de Bruxelles, Belgium CONSTRAINT-BASED REASONING ~~~~~~~~~~~~~~~~~~~~~~~~~~ The Retrieval Problem in a Concept Language with Number Restrictions Aida Vitoria, Margarida Mamede, Luis Monteiro DI, Universidade Nova de Lisboa, Portugal Formalizing Local Propagation in Constraint Maintenance Systems Gilles Trombettoni INRIA-CERMICS, France A Dependency Parser of Korean Based on Connectionist/Symbolic Techniques Jong-Hyeok Lee, Geunbae Lee Pohang University of Science and Technology, Korea A Symbiotic Approach to Arc and Path Consistency Checking Pierre Berlandier INRIA-CERMICS, France DISTRIBUTED ARTIFICIAL INTELLIGENCE ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Where Do Intentions Come From?: A Framework for Goals and Intentions Adoption, Derivation and Evolution Graca Gaspar, Helder Coelho Faculdade de Ciencias de Lisboa, and INESC, Portugal A Closer Look to Artificial Learning Environments Helder Coelho, Augusto Eusebio, Ernesto Costa INESC, Portugal, and DEI, Universidade de Coimbra, Portugal Building Multi-Agent Societies from Descriptions to Systems: Inter-Layer Translations Helder Coelho, Luis Antunes, Luis Moniz INESC, Portugal GENETIC ALGORITHMS ~~~~~~~~~~~~~~~~~~ GA/TS: A Hybrid Approach for Job Shop Scheduling in a Production System Jose Ramon Zubizarreta, Javier Arrieta Facultad de Informatica de San Sebastian, Spain MACHINE LEARNING ~~~~~~~~~~~~~~~~ A Controlled Experiment: Evolution for Learning Difficult Image Classification Astro Teller, Manuela Veloso Carnegie Mellon University, USA Minimal Model Complexity Search Chris McConnell CMU School of Computer Science, USA Characterization of Classification Algorithms Joao Gama, Pavel Brazdil LIACC, Universidade do Porto, Portugal NEURAL NETWORKS ~~~~~~~~~~~~~~~ Neurons, Glia and the Borderline Between Subsymbolic and Symbolic Processing J. G. Wallace, K. Bluff Swinburne University of Technology, Australia NON-MONOTONIC REASONING ~~~~~~~~~~~~~~~~~~~~~~~ Arguments and Defeat in Argument-Based Nonmonotonic Reasoning Bart Verheij University of Limburg, The Netherlands A Preference Semantics for Ground Nonmonotonic Modal Logics Daniele Nardi, Riccardo Rosati DIS, Universita di Roma ``la Sapienza", Italy Logical Omniscience vs. Logical Ignorance On a Dilemma of Epistemic Logic Ho Ngoc Duc ILPS, University of Leipzig, Germany PLANNING AND CASE-BASED REASONING ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ On the Role of Splitting and Merging Past Cases for Generation of New Solutions Carlos Bento, Penousal Machado, Ernesto Costa DEI, Universidade de Coimbra, Portugal Theorem Proving by Analogy - A Compelling Example Erica Melis Department of AI, University of Edimburgh, Scotland Non-Atomic Actions in the Situation Calculus Jose Julio Alferes, Renwei Li, Luis Moniz Pereira CRIA and DCS, Universidade Nova de Lisboa, Portugal Planning under Uncertainty: A Qualitative Approach Nikos Karacapilidis FIT.KI, GMD, Sankt Augustin, Germany QUALITATIVE REASONING ~~~~~~~~~~~~~~~~~~~~~ Qualitative Reasoning under Uncertainty Daniel Pacholczyk DMI, U.F.R., Science d'Angers, France Systematic Construction of Qualitative Physics-Based Rules for Process Diagnostics Jaques Reifman, Thomas Y.C. Wei Argonne National Laboratory, USA ROBOTICS AND CONTROL ~~~~~~~~~~~~~~~~~~~~ Integrated Process Supervision (IPS): A Structured Approach to Expert Control Chai Quek, P.W. Ng, M. Pasquier Nanyang Technological University, Singapore Using Stochastic Grammars to Learn Robotic Tasks Pedro Lima, George Saridis ISR, Technical Univ. of Lisbon, Portugal, and Rensselaer Polytechnic Institute, USA THEORY OF COMPUTATION ~~~~~~~~~~~~~~~~~~~~~ Constraint Categorial Grammars Luis Damas, Nelma Moreira LIACC, Universidade do Porto, Portugal A New Translation Algorithm from Lambda Calculus into Combinatory Logic Sabine Broda, Luis Damas LIACC, Universidade do Porto, Portugal POSTER SECTION ~~~~~~~~~~~~~~ Interlocking Multi-Agent and Blackboard Architectures Bernhard Kipper DCS, University of Saarbrucken, Germany A Model Theory for Paraconsistent Logic Programming Carlos Viegas Damasio, Luis Moniz Pereira CRIA, and DCS, Universidade Nova de Lisboa, Portugal Promoting Software Reuse Through Explicit Knowledge Representation Carmen Fernandez-Chamizo, Pedro A. Gonzalez-Calero, Mercedes Gomez-Albarran Universidad Complutense, Spain Efficient Learning in Multi-Layered Perceptron Using the Grow-And-Learn Algorithm Gildas Cherruel, Bassel Solaiman, Yvon Autret Univ. de Bretagne Occidentale, and TNI, and ENSTB, France An Non-Diffident Combinatorial Optimization Algorithm Gilles Trombettoni, Bertrand Neveu INRIA-CERMICS, France Modelling Diagnosis Systems with Logic Programming Iara Mora, Jose Alferes CRIA, U. Nova de Lisboa, and DM, U. Evora, Portugal Agreement: A Logical Approach to Approximate Reasoning Luis Custodio, Carlos Pinto-Ferreira ISR, Technical University of Lisbon, Portugal Constructing Extensions by Resolving a System of Linear Equations Messaoudi Nadia Universite Aix-Marseille II, France Presenting Significant Information in Expert System Explanation Michael Wolverton Daresbury Rutherford Appleton Laboratory, UK A Cognitive Model of Problem Solving with Incomplete Information Nathalie Chaignaud LIPN, Universite Paris-Nord, France Filtering Software Specifications Written In Natural Language Nuria Castell, Angels Hernandez Universitat Politecnica de Catalunya, Spain Parsimonious Diagnosis in SNePS Pedro A. Matos, Joao P. Martins DEM, Technical University of Lisbon, Portugal Syntactic and Semantic Filtering in a Chart Parser Sayan Bhattacharyya, Steven L. Lytinen University of Michigan, and DePaul University, USA GA Approach to solving Multiple Vehicle Routing Problem Slavko Krajcar, Davor Skrlec, Branko Pribicevic, Snjezana Blagajac Faculty of Electrical Eng. and Computing, Croatia Multilevel Refinement Planning in an Interval-Based Temporal Logic Werner Stephan and Susanne Biundo German Research Center for AI, Germany APPLICATIONS OF EXPERT SYSTEMS WORKSHOP ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Wednesday, 4 15:50 - 16:15 CGD - An Expert System for Loan Analysis Decision Vasco Moreira, Andre Frazao, Elisabete Silva, Ernesto Costa Caixa Geral de Depositos, Dir. Organizacao Informatica Lisboa, Portugal 16:15 - 16:40 A Quantitative Method for Performing A Cost-Benefit Analysis of Expert System Projects Ramu Kannan, Reza Khorramshahgol, Mohan Tanniru Dept. of Management Science and Economics, Coppin State College, Baltimore, USA 16:40 - 17:05 DARE: a Knowledge-Based System for the Diagnosis of Neuromuscular Disorders J. Cruz, P. Barahona, A. P. Figueiredo, M. Veloso, M. Carvalho UNINOVA, Portugal 17:05 - 17:30 A Cooperative Multi-Agent System for Strategic Decision Making Suzanne Pinson Jorge Louca Universite Paris IX - Dauphine, Paris, France 17:30 - 17:55 A Hybrid Model for Classification Expert Systems Sergio Rosa, Beatriz Leao Instituto de Informatica UFRGS, Porto Alegre, Brasil Thursday, 5 10:50 - 11:15 PERMEX - Expert System for Corrosion Failure Analysis Fernando Lopes, A. Novais, N. Mamede, C. Rangel INETI, DMS, Lisboa, Portugal 11:15 - 11:40 Architectural Aspects of an Intelligent DSS for Flow Shop Production Control Ioannis Hatzilygeroudis, D. Sofotassios, N. Dendris, P. Spirakis, A. Tsakalidis Dept. of Computer Engin. and Informatics, Univ. of Patras, Greece 11:40 - 12:05 Advances in Explanation Facilities for Expert Systems Keith Darlington School of Computing, Information Systems and Mathematics South Bank University, London, UK 12:05 - 12:30 A Deferred Communication in a Parallel Distributed Expert System Shell Wided Lejouad SECOIA Project, Sophia Antipolis, France APPLICATIONS OF AI TO ROBOTICS AND VISION SYSTEMS WORKSHOP ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Friday, 6 10:50 - 11:15 Designing and Implementing Real Walking Agents Using Virtual Environments Aleix Martinez Universitat Autonoma de Barcelona, Dept. Informatica, Spain 11:15 - 11:40 Multi-Layer Perceptrons for Task Visual Servoing in Robotics Nadine Rondel, Gilles Burel Thomson CSF-LER, France 11:40 - 12:05 Heuristic Autonomous Mobile Robot Using Visual Servoing Jean-Charles Bonin, Fernandoo De Carvalho Gomes Laboratorio de Inteligencia Artificial-LIA, Fortaleza, Brasil 12:05 - 12:30 An Integrated Approach to Position a Robot Arm in a System for Planar Part Grasping Pedro Sanz, Juan Domingo Universitat Jaume I, Dpto. Informatica, Castellon, Spain 14:00 - 14:25 Learning and Recall of Robot Manipulator Motions Using Driver Programs Frank Smieja, Uwe Bayer GMD, Schloss Birlinghoven, Germany 14:25 - 14:50 Selective Visual Perception Driven by Cues from Speech Processing Reinhard Moratz AG Angewandte Informatikj, Universitaet Bielefeld, Germany 14:50 - 15:15 Autonomous Robots and Active Vision Systems: Issues on Architectures an Integration Helder Araujo, Jorge Dias, Jorge Batista, Paulo Peixoto ISR-Coimbra, Universidade de Coimbra, Portugal 15:15 - 15:35 Learning from Perception, Success and Failure in a Team of Autonomous Mobile Robots Arvin Agah, George Bekey Inst. for Robotics and Intell.Syst., Univ. of Southern California, USA FUZZY LOGIC & NEURAL NETWORKS WORKSHOP IN ENGINEERING ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Wednesday, 4 - Session 1 10:50 - 11:15 A Fuzzy Logic Controller for Supraconductivity Measuring N. Zimic, J. Ficzko, M. Mraz, J. Virant Faculty of Electrical & Computer Engineering Science University of Ljubljana, Slovenia 11:15 - 11:40 Complex Data and Fuzziness in Database Applications Adnan Yazici Dept. of Computer Engineering, Middle East Technical University, Turkey 11:40 - 12:05 Car License Plate Recognition with Neural Networks and Fuzzy Logic J. Nijhuis, et.al. Dept. of Computer Science, Groningen University, The Netherlands 12:05 - 12:30 Similarity-Based Self-organized Clustering Jurgen Rahmel Center for Learning Systems & Applications, University of Kaiserslautern, Germany 15:50 - 16:15 On the Representation of Data for Optimal Learning M. Brugge, J. Nijhuis, W. Jansen, H. Drenth, L. Spaanenburg Dept. of Computer Science, Groningen University, The Netherlands 16:15 - 16:40 Artificial Neural Net-Based Controllers for Real Process Control Petr Pivonka, Jan Zizka Dept. of Automatic Control and Instrumentation Technical University of Brno, Czech Republic 16:40 - 17:05 A Production Line for Generating Clinical Decision Support Systems Patrik Eklund Dept. of Computing Science, Umea University, Sweden 17:05 - 17:30 Knowledge Discovery Using Hierarchical Connectionist Marie Pai, Robin Ying AT&T Bell Laboratories, USA 17:30 - 17:55 Growing Filters for Finite Impulse Response Networks M. Diepenhorst, J. Nijhuis, R. Venema, L. Spaanenburg Dept. of Computer Science, Groningen University, The Netherlands ====================================================================== ENQUIRIES ADDRESS ====================================================================== EPIA'95 - INESC E-mail: epia95@inesc.pt Av. Alves Redol, 9 Fax: 351-1-525843 1000 Lisboa Voice: 351-1-3100325 PORTUGAL Home Page: http://www.isr.ist.utl.pt/~cpf/epia95 ====================================================================== SUPPORTERS ====================================================================== Banco Nacional Ultramarino Governo Regional da Madeira Instituto Superior Tecnico SISCOG - Sistemas Cognitivos INESC CITMA IBM TAPair Portugal