Newsgroups: comp.ai
Path: cantaloupe.srv.cs.cmu.edu!europa.chnt.gtegsc.com!gatech!swrinde!cam.news.pipex.net!pipex!edi.news.pipex.net!pipex!oleane!jussieu.fr!univ-lyon1.fr!swidir.switch.ch!scsing.switch.ch!news.rccn.net!master.di.fc.ul.pt!news.inesc.pt!cupido!njm
From: njm@cupido.inesc.pt (Nuno Joao Mamede)
Subject: EPIA'95 - List of Accepted Papers
Message-ID: <DAs6H3.3Cw@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, 26 Jun 1995 12:53:27 GMT
Lines: 264

                                EPIA'95 

                     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)




        ***************************************************
        *             LIST OF ACCEPTED PAPERS             *
        ***************************************************

  Logical  Omniscience  vs.  Logical Ignorance On a Dilemma of
  Epistemic Logic
     ---  Duc Ho Ngoc 
          ILPS, University of Leipzig, Germany
  
  Integrated  Process Supervision (IPS): A Structured Approach
  to Expert Control
     ---  Chai Quek
     ---  P.W. Ng and M. Pasquier
          Nanyang Technological University, Singapore

  Non-Atomic Actions in the Situation Calculus
     ---  Jose Julio Alferes
     ---  Renwei Li, Luis Moniz Pereira
          CRIA and DCS, Universidade Nova de Lisboa, Portugal

  Theorem Proving by Analogy
     ---  Erica Melis
          Department of AI, University of Edimburgh, Scotland          

  Neurons,  Glia  And  The  Borderline Between Subsymbolic And
  Symbolic Processing
     ---  J. G. Wallace
     ---  K. Bluff
          Swimburn University of Technology, Australia

  A New Representation of JTMS
     ---  Truong Quoc Dung
          IRIDIA, Universite' Libre de Bruxelles, Belgium

  Super-Polynomial   Speed-Ups   in   Proof   Length   by  New
  Tautologies
     ---  Uwe Egly
          FG Intellektik, TH Darmstadt, Germany

  Arguments   and   Defeat   in   Argument-Based  Nonmonotonic
  Reasoning
     ---  Bart Verheij
          University of Limburg, The Netherlands

  GA/TS:  A  Hybrid  Approach  for  Job  Shop  Scheduling in a
  Production System
     ---  Jose Ramon Zubizarreta
     ---  Javier Arrieta
          Facultad de Informa'tica de San Sebastian, Spain

  Formalizing  Local  Propagation  in  Constraint  Maintenance
  Systems
     ---  Gilles Trombettoni
          INRIA-CERMICS, France

  A Symbiotic Approach to Arc and Path Consistency Checking
     ---  Pierre Berlandier
          INRIA-CERMICS, France          

  A Preference Semantics For Ground Nonmonotonic Modal Logics
     ---  Daniele Nardi
     ---  Riccardo Rosati
          DIS, Universit`a di Roma "la Sapienza", Italy

  Qualitative Reasoning Under Uncertainty
     ---  Daniel Pacholczyk
          DMI, U.F.R., Science d'Angers, France

  Minimal Model Complexity Search
     ---  Chris McConnell
          CMU School of Computer Science, USA

  A     Dependency     Parser     of     Korean    Based    on
  Connectionist/Symbolic Techniques
     ---  Jong-Hyeok Lee
     ---  Geunbae Lee
          Pohang University of Science and Technology, Korea

  Systematic  Construction  Of Qualitative Physics-Based Rules
  For Process Diagnostics
     ---  Jaques Reifman
     ---  Thomas Y.C. WEI
          Argonne National Laboratory, USA

  A  New  Translation  Algorithm  from  Lambda  Calculus  into
  Combinatory Logic
     ---  Sabine Broda
     ---  Luis Damas
          LIACC, Universidade do Porto, Portugal

  Constraint Categorial Grammars
     ---  Luis Damas
     ---  Nelma Moreira
          LIACC, Universidade do Porto, Portugal

  Belief Revision in Non-Monotonic Reasoning
     ---  Jose Alferes
     ---  L. M. Pereira, T. Przymusinski
          DM, U. E'vora, and CRIA, U. Nova de Lisboa, Portugal

  A Closer Look to Artificial Learning Environments
     ---  Helder Coelho
     ---  Augusto Eusebio
          INESC, Portugal

  Where  Do  Intentions  Come From?: A Framework for Goals and
  Intentions Adoption, Derivation and Evolution
     ---  Graca Gaspar
     ---  Helder Coelho
          Faculdade de Ci^encias de Lisboa, and INESC, Portugal

  A  Controlled  Experiment:  Evolution for Learning Difficult
  Image Classification
     ---  Astro Teller
     ---  Manuela Veloso
          Carnegie Mellon University, USA

  Building Multi-Agent Societies from Descriptions to Systems:
  Inter-Layer Translations
     ---  Helder Coelho
     ---  Luis Antunes, Luis Moniz
          INESC, Portugal

  Planning under Uncertainty: A Qualitative Approach
     ---  Nikos Karacapilidis
          Inst. for Applied Information Technology, GMD, Germany

  Terminological  Meta-Reasoning  by  Reification and Multiple
  Contexts
     ---  Klemens Schnattinger
     ---  Udo Hahn, Manfred Klenner
          CLIF, Freiburg University, Germany

  Characterization of Classification Algorithms
     ---  Joao Gama
     ---  Pavel Brazdil
          LIACC, Universidade do Porto, Portugal

  Continuous Propositional Logic
     ---  Riccardo Poli
     ---  Mark Ryan and Aaron Sloman
          SCS, The University of Birmingham, UK

  The  Retrieval  Problem  in  a  Concept Language with Number
  Restrictions
     ---  Aida Vitoria
     ---  Margarida Mamede, Luis Monteiro
          DI, Universidade Nova de Lisboa, Portugal

  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

  Using Stochastic Grammars to Learn Robotic Tasks
     ---  Pedro Lima
     ---  George Saridis
          ISR, Technical University of Lisbon, Portugal, and 
          Rensselaer Polytechnic Institute, USA



        ***************************************************
        *            LIST OF ACCEPTED POSTERS             *
        ***************************************************

  An Non-Diffident Combinatorial Optimization Algorithm
     ---  Gilles Trombettoni
     ---  Bertrand Neveu
          INRIA-CERMICS, France

  A Model Theory for Paraconsistent Logic Programming
     ---  Carlos Viegas Damasio
     ---  Luis M. Pereira
          CRIA, and DCS, Universidade Nova de Lisboa, Portugal

  Filtering   Software   Specifications   Written  In  Natural
  Language
     ---  Nuria Castel
     ---  Angels Hernandez
          Universitat Polite`cnica de Catalunya, Spain

  Constructing  Extensions  by  Resolving  a  System of Linear
  Equations
     ---  Messaoudi Nadia
          Universite' Aix-Marseille II, France

  Parsimonious Diagnosis in SNePS
     ---  Pedro Matos
     ---  Joao P. Martins
          DEM, Technical University of Lisbon, Portugal

  A   Cognitive  Model  of  Problem  Solving  with  Incomplete
  Information
     ---  Nathalie Chaignaud
          LIPN, Universite' Paris-Nord, France

  Presenting   Significant   Information   in   Expert  System
  Explanation
     ---  Michael Wolverton
          Daresbury Rutherford Appleton Laboratory, UK

  Interlocking Multi-Agent and Blackboard Architectures
     ---  Bernhard Kipper
          DCS, University of Saarbr\"{u}cken, Germany

  Agreement: A Logical Approach to Approximate Reasoning
     ---  Luis Custodio
     ---  Carlos Pinto-Ferreira
          ISR, Technical University of Lisbon, Portugal

  Diagnosis of Distributed Systems using Logic Programming
     ---  Iara Mora
     ---  J. Alferes
          CRIA, U. Nova de Lisboa, and DM, U. E'vora, Portugal

  Multilevel Refinement Planning in an Interval-Based Temporal
  Logic
     ---  Werner Stephan
     ---  Susanne Biundo
          German Research Center for AI, Germany 

  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

  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

  Promoting   software   reuse   through   explicit  knowledge
  representation
     ---  Carmen Fernandez-Chamizo
     ---  Pedro A. Gonzalez-Calero, Mercedes Gomez-Albarran
          Universidad Complutense, Spain

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