Copy Link
Add to Bookmark
Report
NL-KR Digest Volume 14 No. 43
NL-KR Digest Wed Jul 12 20:31:46 PDT 1995 Volume 14 No. 43
Today's Topics:
Program: EPIA'95 7th Portug. AI Conf., Oct 95, Funchal
* * *
Subcriptions: listserv-style administrative requests to
nl-kr-request@ai.sunnyside.com.
Submissions, policy, questions: nl-kr@ai.sunnyside.com
To speed up processing of your submission write to
listserv@ai.sunnyside.com with the message:
GET nl-kr style
Back issues:
FTP: ai.sunnyside.com:/pub/nl-kr/Vxx/Nyyy
/pub/nl-kr/Vxx/INDEX
Gopher: ai.sunnyside.com, Port 70, in directory /pub/nl-kr
Email: write to LISTSERV@AI.SUNNYSIDE.COM, omit subject, mail command:
GET nl-kr nl-kr_file_list
Web: http://ai.sunnyside.com/pub/nl-kr
Editors:
Al Whaley (al@ai.sunnyside.com) and
Chris Welty (weltyc@sigart.acm.org).
-----------------------------------------------------------------------
From: Nuno Joao Mamede <njm@cupido.inesc.pt>
To: nl-kr@cs.rpi.edu
Subject: Program: EPIA'95 7th Portug. AI Conf., Oct 95, Funchal
Date: Mon, 10 Jul 95 21:50:22 +0100
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
End of NL-KR Digest
*******************
