CLNLP 95
Computational Logic for Natural Language Processing
CLNLP-95
Monday, 3rd April
09: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:
09: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:
09: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, 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
|