Newsgroups: comp.ai.fuzzy
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel!gatech!howland.reston.ans.net!news.sprintlink.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: EPIA'95 and Fuzzy Logic & Neural Nets Workshop: preliminary program
Message-ID: <DBInru.3D2@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: Mon, 10 Jul 1995 20:04:42 GMT
Lines: 421


                     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 ================================



-- 
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
