Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!howland.reston.ans.net!pipex!uknet!festival!edcogsci!clnlp95
From: clnlp95@cogsci.ed.ac.uk (CLNLP Workshop)
Subject: Call for Participation
Message-ID: <D5utMH.IIq@cogsci.ed.ac.uk>
Organization: Centre for Cognitive Science, Edinburgh, UK
Date: Wed, 22 Mar 1995 18:20:23 GMT
Lines: 385



			 CALL FOR PARTICIPATION

                       
         COMPUTATIONAL LOGIC FOR NATURAL LANGUAGE PROCESSING

              A Joint COMPULOGNET/ELSNET/EAGLES Workshop     
                                                               
                           April 3-5, 1995
                              Edinburgh


Applications to Natural Language Processing have always been one of
the major driving forces for the development of computational
logics. Conversely, techniques devised for computational logics (and
Logic Programming in particular) have often given rise to elegant
solutions for representing and reasoning with linguistic knowledge.
However, there is a danger that questions of common interest to the
two areas are pursued independently and possibilities for cross-
fertilization are ignored.

In Europe, the Esprit Networks ELSNET and COMPULOGNET connect
researchers within the two areas of Natural Language Processing (NLP)
and Computational Logic (CL). The LRE Initiative EAGLES has one
Working Group especially concerned with linguistic formalisms.  The
joint workshop of the two networks and EAGLES is intended as a forum
where NLP researchers point out open problems that are likely to
benefit from CL techniques and CL researchers present achievements
that have potential impact on NLP.

The following questions are examples where we think such a
cross-fertilization is possible:

- Can one model phenomena like presupposition and negation in natural
  language in a computationally satisfactory way?

- Can non-monotonic systems of logic be adapted for applications of NLP
  in areas such as belief modelling, rhetorical relations and
  ellipsis?

- What kind of constraint languages are suitable for NL processing?

- Can attributive description logics developed in knowledge representation
  be used to enhance the expressivity of grammars?

The workshop will consist of invited talks and presentations of
selected papers on logical processing of NLP and on CL research having
potential NL applications.

Workshop Organisers
-------------------
Suresh Manandhar (Human Communication Research Centre, University of Edinburgh)
Werner Nutt (DFKI, Saarbruecken)
Ewan Klein (Cognitive Science and Human Communication Research Centre,
University of Edinburgh) 
Joerg Siekmann (DFKI and University of Saarbruecken)


Programme Committee
-------------------
Hassan Ait-Kaci (Simon Fraser University)
Patrick Blackburn (University of Saarbruecken)
Jochen Doerre (University of Stuttgart)
Ewan Klein  (University of Edinburgh)
Erik-Jan van der Linden (University of Amsterdam)
Gabriel Pereira Lopes (Universidade Nova de Lisboa))
Suresh Manandhar  (University of Edinburgh)
Werner Nutt (DFKI)
Luis Moniz Pereira (Universidade Nova de Lisboa)
Joerg Siekmann (DFKI and University of Saarbruecken)

Invited Speakers
----------------

  John Lamping (Xerox PARC, USA)

  Glyn Morrill (Universitat Polytecnica de Catalunya, Spain)

  Remo Pareschi (Rank Xerox Research Centre, France)

  Gert Smolka  (DFKI, Germany)

  Hans Uszkoreit (DFKI & University of Saarbruecken, Germany)

Venue
-----
The workshop will be held at the Forth Bridges Moat House Hotel located
at South Queensferry in the outskirts of Edinburgh. The Hotel overlooks
the scenic Forth Bridge and is a short drive from Edinburgh airport. The
hotel has good facilities and full board accommodation at special rates
for workshop participants has been arranged.


--------------------------
By FTP:

A LaTeX, postscript or plain ascii version of this call is available by
anonymous ftp from ftp.cogsci.ed.ac.uk in :

directory: pub/clnlp95
files: call.tex, call.ps, call.ascii

WWW:

 http://www.cogsci.ed.ac.uk/elsnet/CLNLP95.html


 -------------------------------------------------------------------



         COMPUTATIONAL LOGIC FOR NATURAL LANGUAGE PROCESSING

                               (CLNLP-95)  



Monday 3th April:
----------------

9:00 - 10:00    Registration 
 
Invited Talk:   

10:00 - 11:00   Glyn Morrill  
		Implementing Categorial Calculi in Linear Clauses   

11:00 - 11:30   Coffee break  

LOGIC PROGRAMMING   NLP   

11:30 - 12:15   Luc Dehaspe, Hendrik Blockeel and Luc De Raedt
		Induction, Logic, and Natural Language Processing
   
12:15 - 1:00    Norbert E. Fuchs and Rolf Schwitter  
		Specifying Logic Programs in Controlled Natural
		Language  


1:00 - 2:30     Lunch  


Invited Talk:   

2:30 - 3:30     William Rounds  
		Suggestions for a Non-monotonic Feature Logic   


PRESUPPOSITIONS-1   

3:30 - 4:15     Tim Fernando  
		Computational Foundations for Dynamic Accounts   
		of Presuppositions  

4:15 - 4:45     Coffee break  

4:45 - 5:30     Pablo Gervas  
		Compositionality for Presuppositions  

5:30 - 6:15     Michael Morreau  
		How to Derive Conveyed Meanings 


 

Tuesday 4th April:
------------------

Invited Talk:   

9:00 - 10:00     Hans Uszkoreit 
		 Grammar Formalisms: Supply and Demand  


GRAMMARS - 1  

10:00 - 10:45   Esther Koenig-Baumer  
		LexGram - a Practical Categorial Grammar Formalism  

10:45 - 11:15   Coffee break  

11:15 - 12:00   Tore Burheim   
		A Grammar Formalism and Cross-Serial Dependencies   

12:00 - 12:45   Renate Henschel  
		Traversing the Labyrinth of Feature Logics for a
		Declarative Implementation of Large Scale Systemic
		Grammars   


12:45 - 2:30     Lunch  


Invited Talk:   

2:30 - 3:30     Remo Pareschi  
		Linear Logic Programming as a Foundation for
		Declarative Multiobject Coordination   

PRESUPPOSITIONS-2  

3:30 - 4:15     Peter Krause  
		Presupposition and Abduction in Type Theory   

4:15 - 4:45     Coffee break  

NL SEMANTICS   

4:45 - 5:30     Johan Bos, Paul Buitelaar and Anne-Marie Mineur  
		Bridging as Coercive Accommodation  

5:30 - 6:15     Irene Pimenta Rodrigues and Jose  Gabriel Lopes  
		Representing Text Eventualities in a Logic Programming
		Framework 

 

Wednesday 5th April:
-------------------

Invited Talk:   

9:00 - 10:00    Gert Smolka  
		Concurrent Constraint Programming   

GRAMMARS - 2   

10:00 - 10:45   Veronica Dahl, Paul Tarau, Lidia Moreno and Manolo Palomar   
		Treating Coordination with Datalog Grammars   

10:45 - 11:15     Coffee break  


CONSTRAINT PROGRAMMING   GRAMMARS  

11:15 - 12:00   Thilo Goetz  
		Compiling HPSG Constraint Grammars into Logic Programs


12:00 - 12:45   Martin Mueller and Joachim Niehren  
		Weak Subsumption Constraints for Type Diagnosis:   
		An Incremental Algorithm  

12:45 - 2:30     Lunch  

Invited Talk:   

2:30 - 3:30     John Lamping  
		Linear Logic for Natural Language Semantics   

3:30 - 4:00    Coffee break  

BELIEF MODELLING   
4:00 - 4:45     Jasper Taylor  
		Generating Efficient Belief Models for Task-Oriented
		dialogues    

4:45 - 5:30     Ahmed Guessoum and Torulf Mollestad  
		A Knowledge-Based Approach to Goal Recognition  

 -------------------------------------------------------------------


			REGISTRATION FORM


The cost of accommodation and full board (breakfast, lunch and dinner)
will be: 
	GBP 95.00/day, Sunday - Thursday (single room)
	GBP 79.50/day, Sunday - Thursday (double/twin room)

Accommodation on Saturday night before start of the workshop and
Friday night after it ends, will be GBP 70, which includes bed
and breakfast on Sunday and Saturday mornings.

The registration fee for the workshop is GBP 50.00.
Daily rate for people not staying at the Hotel will be 10 pounds per day.

FORM OF PAYMENT:

1.  Cheques and money orders in British currency to be made payable to
    the ``University of Edinburgh.''

2.  Payment by bank transfer may be made to:

    Account name:  University of Edinburgh
    Bank name:  Bank of Scotland
    Bank address:  32A Chambers Street, Edinburgh EH1 1JB
    Account number:  00919680
    Ref:  265 GG00009  

    PLEASE NOTE: 
	1. It is very important to quote reference  265 GG00009,
	otherwise the payment will not be deposited correctly.  

	2. Bank charges should be paid by the participant.


3.  VISA/MasterCard

    This is the least preferred method of payment, from our point of
    view, because of the difficulty of handling these payments.  An
    additional GBP 8 handling charge will be added to all VISA/MC
    payments.


Please complete the following details for Registration at CLNLP-95:


--------------------------  Please cut here -----------------------

Name:______________________________________________________________

Address:___________________________________________________________

        ___________________________________________________________

        ___________________________________________________________

Post/Zip code:__________________________

Telephone:______________________________

FAX:____________________________________

Email:__________________________________


I will need accommodation for the nights of:

Please, specify single or double room

Saturday, 1/4:  _______ (yes/no)   (GBP 70) (bed & breakfast only)
Sunday, 2/4:    _______ (yes/no)   (GBP 95/79.50)
Monday, 3/4:    _______ (yes/no)   (GBP 95/79.50)
Tuesday, 4/4:   _______ (yes/no)   (GBP 95/79.50)
Wednesday, 5/4: _______ (yes/no)   (GBP 95/79.50)
Thursday, 6/4:  _______ (yes/no)   (GBP 95/79.50)
Friday, 7/4:    _______ (yes/no)   (GBP 70) (bed & breakfast only)

I am willing to share the room with another male/female.

Please find enclosed __________ to cover the cost of registration and
accommodation at CLNLP-95.  (Invited speakers are not required to pay
for registration and accommodation).

I have instructed my bank to transfer __________ to cover the cost of
registration and accommodation at CLNLP-95.

Please charge my VISA/MC card no. ___________________________________

Name on card: _______________________________  Exp. date ____________


I am an invited speaker. ________ (yes/no)







Signature: ________________________________________


Please send completed form and Registration Fee to:

CLNLP 95
CCS/HCRC
University of Edinburgh
2 Buccleuch Place
Edinburgh EH8 9LW
Scotland, UK.

Email:  clnlp95@cogsci.ed.ac.uk
Fax:   +44 131 650 4587

All Email registrations must be confirmed by post.

-- 

-----------------------------------------------------------------------
Suresh Manandhar                     *
Language Technology Group            *
