Copy Link
Add to Bookmark
Report
NL-KR Digest Volume 14 No. 38
NL-KR Digest Mon Jun 26 12:58:08 PDT 1995 Volume 14 No. 38
Today's Topics:
CFP: ModelAge'96 Formal Models of Agents, Jan 96, Sesimbra
CFP: IEEE Computer -- Special Issue on NLP
CFP: ICML'96 13th Intl. Conf. Mach. Learning, July 96, Bari
CFP: ACten 10th Amsterdam Colloq. on Semantics, Dec 95, Amsterdam
CFP: Special Issue of Comp. Ling. on Discourse Studies
Program: EPIA'95 - List of Accepted Papers, 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).
-----------------------------------------------------------------------
Date: Fri, 16 Jun 95 10:55:56 +0200
From: pys@info.fundp.ac.be (Pierre-Yves SCHOBBENS)
To: nl-kr@snyside1.sunnyside.com
Subject: CFP: ModelAge'96 Formal Models of Agents, Jan 96, Sesimbra
ModelAge'96
3rd ModelAge Workshop
``FORMAL MODELS OF AGENTS''
Sesimbra, Portugal, 15-17 January 1996
CALL FOR PAPERS
The goal of this workshop is to bring together a limited number of
people for an in-depth discussion on formal models of agents. Agent
is a concept covering software artifacts and human beings, individuals
and societies, and that can be described by several "facets". This
concept is emerging in disciplines as diverse as organisation theory,
artificial intelligence, logic, data bases, requirements engineering.
These models try to describe, predict and analyse the internals of
agents (beliefs, goals, etc.) as well as their external individual and
collective behaviour.
The workshop will have a limited attendance, no parallel sessions, large
slots for discussion after each paper.
SCIENTIFIC TOPICS
The general theme is formal models of agent, integrating several ``facets''
including e.g.:
- belief
- knowledge
- abilities
- intentions
- goal
- commitments
- communication
- behaviour
- choice
- freedom
Papers reporting ongoing research are welcome.
Authors are invited to present and compare the possible design alternatives
relevant to their work.
IMPORTANT DATES
Submission of papers: September 15, 1995
Notification of acceptance: November 15, 1995
Final version due: December 15, 1995
Workshop: January 15-17, 1996
PROGRAMME COMMITTEE
Jose Fiadeiro, Univ. Lisbon
Andrew Jones, Univ. Oslo
John-Jules Meyer, Univ. Utrecht
Wolfgang Nejdl, Univ. Hannover
Pierre-Yves Schobbens, Univ. Namur
Roel Wieringa, VU Amsterdam
RELATED EVENTS
This workshop will follow the DEON'96 workshop at the same location.
Next ModelAge workshop will take place near Sienna on 15-17 Jan 1997.
Previous ModelAge meetings were held in Namur and Sophia-Antipolis.
SUBMISSION OF PAPERS
Papers are solicited as a basis for selection and discussion, and
copies will be made available at the beginning of the workshop.
NO formal publication of the papers is planned, to allow for the
submission of on-going research papers.
Authors are invited to submit either:
- three paper copies by usual mail,
- or an (electronic) PostScript version by e-mail
to the Chair of the Program Committee:
Pierre-Yves Schobbens
Fac. Univ. Notre-Dame de la Paix eMail: pys@info.fundp.ac.be
Institut d'Informatique Phone: +32 81 72 49 90
Rue Grandgagnage 21 Telex: 59222 FacNam B
B-5000 Namur, BELGIUM Fax: +32 81 72 49 67
Submitted papers should be written in English. They should be
unpublished and present original work. Papers should be between 800
and 6000 words (between 2 and 15 pages). They should bear the
name, affiliation, address, e-mail, phone and fax of all authors.
Papers of more than 4 pages should begin with an abstract of no more
than 10 lines.
Electronic versions should be carefully designed to use only standard
PostScript features, and to be transmissible without corruption by
e-mail.
Submissions will be judged on significance, originality, quality and
clarity by at least two independent reviewers. Blind reviewing will be
used if requested by authors. In this case the identification of authors
should be on a separate first page, stating this request.
LOCATION
Sesimbra is a small fishing village set on a delightful sheltered bay,
on the eastern slope of Serra da Arrabida, 30 km south of Lisbon.
Many international fishing contests are held here as well as an annual
Sea Festival. It is a popular venue for weekends and holiday breaks,
with a number of historic places of interest such as its old castle.
The workshop will be held at Hotel do Mar whose rooms are situated in
an amphiteatre overlooking the sea.
-----------------------------------------------------------------------
To: comp-ai-nlang-know-rep@uunet.uu.net
From: bzm3402@ucs.usl.edu (Manaris Bill Z)
Subject: CFP: IEEE Computer -- Special Issue on NLP
Date: 26 Jun 1995 19:24:50 GMT
Call for Papers
IEEE Computer
Theme Issue on
Interactive Natural Language Processing
Computer has planned to devote the July 1996 issue to Interactive
Natural Language Processing. Manuscripts reporting survey, original
research, design and development, and applications of Interactive
Natural Language Processing are sought immediately in the following
areas:
+ Speech Understanding and Generation Platforms
+ Natural Language Interfaces and User Interface Management Systems
+ Dialog/Discourse Management and Story Understanding Environments
+ Interactive Machine Translation systems (and Translator's Workbenches)
+ Intelligent Writing Agents
Papers on successful large-scale natural language processing systems,
integrated speech and natural language understanding applications,
dialog management and story understanding systems, and toolbeds for
developing such applications are especially desired.
The particular focus of this theme issue is the special considerations
in theory and practice of "real-time" processing of natural language as
opposed to "batch-mode" processing. How do the theoretical and
processing assumptions differ when the input stream is "live", thus
increasing the emphasis on response time and throughput? What are the
trade-offs? What are the mechanisms (symbolic, statistical,
connectionist, hybrid)? Finally, what are the strategies that enable
interactive natural language processing to either be effected or
finessed?
Instructions for Submitting Manuscripts:
Manuscripts should be no longer than 20 double spaced, single sided
pages, including all text, figures, and references. No more than 12
references should be cited. Papers must not have been previously
published or currently submitted for publication elsewhere. Manuscripts
should have a title page that includes: the title of the paper, full
name, affiliation, physical address, electronic address, and telephone
numbers of all of the authors, a 100 to 150 word abstract, and, a list
of keywords that identify the central issues of the manuscript's
content.
Deadlines:
+ 100 to 150 word abstract of the manuscript September 19, 1995
+ Seven copies of the manuscript December 19, 1995
+ Notification of decisions April 1996
+ Final version of the manuscript May 14, 1996
+ Date of special issue July 1996
Questions regarding the special issue can be directed to:
Dr. Bill Z. Manaris
Computer Science Department
University of Southwestern Louisiana
Lafayette, LA 70504-1771
Phone: (318)482-6638
Fax: (318)482-5791
Email: manaris@usl.edu
Dr. Brian M. Slator
The Institute for the Learning Sciences
Northwestern University
1890 Maple St. Evanston, IL 60201
Phone: (708)491-7535
Fax: (708)491-5258
Email: slator@aristotle.ils.nwu.edu
If you are willing to referee papers for the special issue, please send
a note with research interests to:
Michelle J. Masseth
Computer Reviews Coordinator
Computer Society Publications Office
10662 Los Vaqueros Circle
P.O. Box 3014
Los Alamitos, CA 90720-1264
Phone: (714)821-8380
Fax: (714)821-4010
Email: m.masseth@computer.org
--
| Bill Manaris, Ph.D. | Office : (318) 482-6638 |
| Computer Science Department | Dept. : (318) 482-6768 |
| University of Southwestern Louisiana | FAX : (318) 482-5791 |
| P.O. Box 41771 | E-mail : manaris@usl.edu |
-----------------------------------------------------------------------
Date: Wed, 21 Jun 1995 14:28:51 -0700
To: nl-kr@snyside1.sunnyside.com (comp.ai.nlang-know-rep),
From: schlimme@eecs.wsu.edu (Jeffrey C. Schlimmer)
Subject: CFP: ICML'96 13th Intl. Conf. Mach. Learning, July 96, Bari
ICML'96
13th International Conference on Machine Learning
Bari (Italy), July 3-6th, 1996
First Call for Papers and Workshop Proposals
General Information
===================
The 13th International Conference on Machine Learning (ICML'96) will
be held in Bari, Italy, during July 3-6th, 1996, with informal
workshops on July 3rd. The purpose of the conference is twofold:
firstly, to emphasize the potential of machine learning approaches for
solving problems in a wide range of application domains, secondly, to
highlight relationships between machine learning and other fields,
such as statistics, pattern recognition, artificial intelligence,
control theory, instructional and cognitive sciences, computational
complexity theory and software engineering.
Program
=======
The scientific program will include invited talks, presentations of
refereed papers and a session of general discussion. Submissions are
invited in all areas of Machine Learning, including, but not limited
to:
Abduction Analogy Applications of machine learning
Artificial neural networks Case-Based learning
Cognitive models of learning Computational learning theory
Explanation-based learning Formal models of learning
Inductive learning Inductive logic programming
Genetic algorithms Knowledge discovery in databases
Learning and problem solving Multistrategy learning
Reinforcement learning Representation change
Scientific discovery Theory revision
Paper Format
============
Submissions must be clearly legible, with good quality print. Papers
are limited to twelve (12) pages, excluding title page and
bibliography, but including all tables and figures. Papers must be
printed on 8-1/2 x 11 inch paper or A4 format, using 12 point type (10
characters per inch), with no more than 40 lines per page. A separate
title page must include the title of the paper, the email and postal
addresses of all authors, and a clear summary of the main
contributions of the paper. The title page of accepted papers will be
made available via World-Wide Web before the conference take
place. Double-sided printing in encouraged.
Requirement for Submissions
===========================
Please send five (5) copies of each submitted paper to the Conference
Chair. Submissions must be received by January 21st, 1996. Electronic
or Fax submissions are not acceptable. Notification of acceptance or
rejection will be mailed to the first (or designated) author by March
8th 1996. Camera-ready accepted papers are due on April 6th, 1996.
Review Criteria
===============
Each submitted paper will be reviewed by at least two members of the
Program or Advisory Committee, and will be judged on significance,
originality and clarity. Papers addressing application issues are
welcome. Simultaneous submission to other conferences must be
explicitly declared. In the case of multiple acceptance, presentation
at ICML'96 and inclusion in the proceedings is only granted upon
withdrawal from the other conference(s).
Workshop Proposals
==================
Workshop proposals are invited in all areas of Machine
Learning. Please send a two (2) page description of the proposed
workshop, its objectives, organizer(s), and expected number of
attendees. The proposal must be received by the Workshop Chair by
December 15th, 1995. Descriptions of accepted workshops will be made
available via World-Wide Web. Notification of acceptance or rejection
will be mailed to the organizer by January 31st, 1996. Calls for
Papers for accepted workshops will be responsibility of the
organizer(s).
Program Chair
=============
Lorenza Saitta, University of Torino saitta@di.unito.it
Dipartimento di Informatica Phone: (+39) 11 - 7429.214
Corso Svizzera 185, 10149 Torino (Italy) Fax: (+39) 11 - 751.603
Local Chair
===========
Floriana Esposito, University of Bari esposito@vm.csata.it
Dipartimento di Informatica Phone: (+39) 80 - 5443.264
Via Orabona 4, 70125 Bari (Italy) Fax: (+39) 80 - 5443.196
Workshop Chair
==============
Stefan Wrobel (wrobel@gmdzi.gmd.de)
GMD, FIT.KI
Schlo Birlinghoven
53754 Sankt Augustin (Germany)
Publicity Chair
===============
Jeff Schlimmer (schlimme@eecs.wsu.edu)
School of Electrical Engineering and Computer Science
Washington State University
Pullman, WA 99164-2752 (USA)
Advisory Committee
==================
Jaime Carbonell (USA) William Cohen (USA) Kenneth De Jong (USA)
Tom Dietterich (USA) Tom Mitchell (USA) Stuart Russell (USA)
Derek Sleeman (UK) Paul Utgoff (USA)
Organizing Committee
====================
Donato Malerba and Giovanni Semeraro (Italy)
{malerbad, semeraro}@vm.csata.it
Marco Botta and Filippo Neri (Italy)
{botta, neri}@di.unito.it
General Inquiries
=================
Please address general inquiries to any of the members of the Organizing
Committee or to the address:
icml96@di.unito.it
ICML'96 has its own page on the World-Wide Web in the URL at:
http://www.di.unito.it/pub/WWW/ICML96/home.html
This announcement is also available in PostScript in the URL at:
ftp://ftp.di.unito.it/pub/ICML96/callforpapers.ps
In order to receive further information, please send a note to the
Publicity Chair.
- - - - - - - - - - - - - - - --
Important dates
===============
Workshop submission deadline: December 15, 1995
Paper submission deadline: January 21, 1996
Notification of workshop acceptance: January 31, 1996
Notification of paper acceptance: March 8, 1996
Camera-ready copy: April 6, 1996
- - - - - - - - - - - - - - - --
Jeffrey C. Schlimmer, Asst. Prof., School of EE & CS, Washington State
University, Pullman, WA 99164-2752, (509) 335-2399, (509) 335-3818 FAX
http://www.eecs.wsu.edu/~schlimme/
-----------------------------------------------------------------------
Date: Fri, 23 Jun 1995 16:06:44 +0200
To: (Those who are interested in the Amsterdam Colloquium)
From: AcTen@illc.uva.nl (Tenth Amsterdam Colloquium)
Subject: CFP: ACten 10th Amsterdam Colloq. on Semantics, Dec 95, Amsterdam
SECOND CALL FOR PAPERS
THE TENTH AMSTERDAM COLLOQUIUM
December 18---21, 1995
The Tenth Amsterdam Colloquium will be held from Monday 18 until
Thursday 21, December 1995, at the University of Amsterdam. The
Amsterdam Colloquia aim at bringing together logicians,
philosophers, linguists and computer scientists who share an
interest in semantics. The spectrum of topics covered ranges from
descriptive (semantic analyses of all kinds of expressions), to
theoretical (logical and computational properties of semantic
theories, philosophical foundations).
The following people have in principle accepted our invitation to
give a lecture:
Bob Carpenter * Gennaro Chierchia * Joe Halpern
Hans Kamp * Angelika Kratzer * Fred Landman
Barbara Partee * Krister Segerberg * Anna Szabolcsi
To give this tenth installment a special touch, an evening session
will be devoted to the past and the future of the field of semantics.
*Submission of abstracts*
The Colloquium has room for 40 contributed talks of approximately
40 minutes. People who want to contribute a paper are requested to
send in SIX copies of an ANONYMOUS ABSTRACT of two pages (at most
1000 words). The abstract must include a short, 10 line, SUMMARY
clearly indicating subject matter and conclusions. A SEPARATE
leaflet should specify the author's name, affiliation, postal
address, e-mail address plus the title of the contribution.
Submission by e-mail is possible, provided that the abstract,
summary and personal details are in ASCII and don't need
typesetting.
The DEADLINE for submission of abstracts is September 1, 1995. The
abstracts will be refereed by the program committee consisting of
Renate Bartsch, Johan van Benthem, Peter van Emde Boas, Frank
Veltman and the invited speakers. Authors will be notified of
acceptance by October 15. The 10 line summaries of the accepted
papers will be included in the program.
*Important Dates*
-> 01-09-95 Deadline for submissions
-> 15-10-95 Notification of acceptance
-> 15-11-95 Distribution of program
-> 18--21 December 1995 Amsterdam Colloquium
-> 01-02-96 Final papers due
-> 15-03-96 Proceedings due
*Organization*
The organizing committee of the Ninth Amsterdam Colloquium consists
of Paul Dekker, Jeroen Groenendijk, Erik-Jan van der Linden and
Martin Stokhof. Financial support is provided by the ILLC, the
Department of Philosophy, the Department of Mathematics and Computer
Science, the Royal Netherlands Academy of Arts and Sciences (KNAW),
the Dutch Graduate School in Logic (OzsL), and the Foundation for
Language Speech and Logic (TSL) of the Netherlands Organization for
Scientific Research.
The European Association for Logic, Language and Information
(FoLLI) has made some funds available to support visits to AcTen by
colleagues from countries with currencies that are hard to exchange.
Those colleagues who are interested, are requested to send a short
application to the local organizers containing information about
their research interests and a budget, before September 1, 1995
For further information, contact:
Organizing Committee Tenth Amsterdam Colloquium
ILLC/Department of Philosophy, University of Amsterdam
Nieuwe Doelenstraat 15, 1012 CP Amsterdam, The Netherlands
tel: +31 20 5254541
fax: +31 20 5254503
email: AcTen@illc.uva.nl
http://www.fwi.uva.nl/fwi/research/vg2/illc/acten.html
ILLC/Department of Philosophy University of Amsterdam
THE TENTH AMSTERDAM COLLOQUIUM
18 -- 21 December 1995
AcTen - Nieuwe Doelenstraat 15 - 1012 CP Amsterdam - The Netherlands
tel: +31 20 5254541 - fax: +31 20 5254503 - email: AcTen@illc.uva.nl
-----------------------------------------------------------------------
To: becky@cs.columbia.edu, alik@aisb.ed.ac.uk, kjetil.strand@ilf.uio.no,
Subject: CFP: Special Issue of Comp. Ling. on Discourse Studies
Date: Fri, 23 Jun 95 10:40:57 -0400
From: walker <walker@merl.com>
Call for Submissions
Special Issue of Computational Linguistics
on Empirical Studies in Discourse Interpretation and Generation
Guest Editors: Johanna D. Moore and Marilyn A. Walker
Computational theories of discourse interpretation and generation are an
important basis for the design and implementation of many natural language
applications. However, much work in computational theories of discourse to
date has focused on specifying the mechanisms underlying a particular
discourse phenomenon. It is often difficult to tell how prevalent that
phenomenon is, whether it is related to other observed and studied phenomena,
and what percentage of the cases a particular theory covers. Developing
robust, broad coverage, theories of discourse requires an empirical basis,
but there has been little effort to develop shared methods, tools or
resources for the discourse community. However, recently there has been a
groundswell of interest in developing both manual and automatic methods for
analyzing discourse in order to inform computational models, e.g the AAAI
Spring Symposium in March 1995 on Empirical Methods in Discourse
Interpretation and Generation.
The goal of the special issue of Computational Linguistics on Empirical
Studies in Discourse Interpretation and Generation is to bring together a
collection of papers representing recent work illustrating different
techniques in this area such as: discourse coding schemes and methods for
assessing their reliability; automatic analysis techniques, their accuracy,
and use for discourse processing; learning of discourse processing strategies
from coded corpora; schemes for evaluation of discourse processing systems;
and use of simulated discourse agents for discourse modeling. We seek papers
that go beyond purely methodological issues; papers should exhibit different
techniques with major emphasis on the results obtained.
The deadline for submission of manuscripts is November 1st, 1995. For hard
copy submission: Six double-spaced hard copies should be submitted, clearly
marked as submissions to the Special Issue on Empirical Studies in Discourse
Interpretation and Generation, to arrive on or before the deadline, to the
following address:
Julia Hirschberg, Editor
Computational Linguistics
2C-409
AT&T Bell Laboratories
600 Mountain Avenue
Murray Hill NJ 07974
USA
email: acl@research.att.com
tel: 908-582-7496
fax: 908-582-7550
Manuscripts may be submitted electronically; instructions are currently
available by anonymous ftp from ftp.research.att.com:/dist/cl/elec.sub.
-----------------------------------------------------------------------
From: njm@cupido.inesc.pt (Nuno Joao Mamede)
Subject: Program: EPIA'95 - List of Accepted Papers, Oct 95, Funchal
Reply-To: epia95@inesc.pt
Date: Mon, 26 Jun 1995 12:57:52 GMT
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
End of NL-KR Digest
*******************
