Newsgroups: comp.ai
Path: cantaloupe.srv.cs.cmu.edu!rochester!cornellcs!travelers.mail.cornell.edu!news.kei.com!news.mathworks.com!newsxfer.itd.umich.edu!agate!tcsi.tcs.com!uunet!in2.uu.net!EU.net!Portugal.EU.net!news.rccn.net!master.di.fc.ul.pt!news.inesc.pt!cupido!njm
From: njm@cupido.inesc.pt (Nuno Joao Mamede)
Subject: FINAL PROGRAM: Robotics & Vision Systems Workshop
Message-ID: <DF2C0M.88D@inesc.pt>
Summary: 7th Portuguese Conference on Artificial Intelligence
Sender: usenet@inesc.pt
Nntp-Posting-Host: cupido.inesc.pt
Reply-To: epia95@inesc.pt
Organization: INESC
Date: Sun, 17 Sep 1995 18:43:33 GMT
Lines: 585


                     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


=========================== Last Line ================================



-- 
Nuno J. Mamede                         INESC - Instituto de Engenharia de
Nuno Mamede@inesc.pt                           Sistemas e Computadores
Tel: +351(1)3100234                    Rua Alves Redol 9
Fax: +351(1)525843                     1000 Lisboa / Portugal
