 |
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 Clauses11: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 Processing12: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 Presuppositions4: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 Formalism10: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 Theory4:15 - 4:45 Coffee break
NL SEMANTICS
4:45 - 5:30 Johan Bos, Paul Buitelaar and Anne-Marie Mineur, Bridging as Coercive Accommodation5: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 Grammars10:45 - 11:15 Coffee break
CONSTRAINT PROGRAMMING & GRAMMARS
11:15 - 12:00 Thilo Goetz, Compiling HPSG Constraint Grammars into Logic Programs12: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 Semantics3:30 - 4:00 Coffee break
BELIEF MODELLING
4:00 - 4:45 Jasper Taylor, Generating Efficient Belief Models for Task-Oriented Dialogues4:45 - 5:30 Ahmed Guessoum and Torulf Mollestad, A Knowledge-Based Approach to Goal Recognition