Premières Journées / 1st Workshop on

Tabulation en Analyse Syntaxique et Déduction

Tabulation in Parsing and Deduction


Paris, France
2-3 Avril 1998 / April 2-3, 1998

Organisées par / Organized by INRIA
en collaboration avec / in collaboration with CEDRIC du / of CNAM
et le soutien de / and the support of Compulog and Xerox Research Center Europe.

Programme / Program

Jeudi 2 Avril / Thursday, April 2nd

08h30-9h15 Inscription / Registration

09h15-09h30 Bienvenue / Welcome

09h30-10h30 Conférence invitée / Invited Talk

Memoization in Constraint Logic Programming
Mark Johnson, Brown University, USA

11h00-12h30 Session ``Parsing TAGs''

Linear Indexed Automata and Tabulation of TAG Parsing
M.-J. Nederhof, Univ. of Groningen, NL

Elementary Tree Representation
V. Diaz, V. Carrillo, and M. Toro, Univ. of Sevilla, Spain

Grammar Compaction and Computation Sharing in Automata-based Parsing
J. Carroll, N. Nicolov, M. Smets, O. Shaumyan, and D. Weir, Univ. of Sussex, UK

14h00-16h00 Session ``Generation & Systems''

Parsing and Generation with Tabulation and Compilation
K. Hasida, Electronical Laboratory, Japan
T. Miyata, NIST, Japan

A Method for Preserving Ambiguities in Chart Generation
H. Shemtov, Xerox Park, USA

GALENA: Tabular DCG Parsing for Natural Languages
M. Vilares Ferro, M.A. Alonso Pardo, J. Grana Gil, and D. Cabrero Souto, Univ. of Coruna, Spain

Partial Parsing, Deduction and Tabling
V. Rocio, and J. G. Lopes, Univ. Nova de Lisboa, Portugal

16h15-18h00 Poster/System Session

20h00 Banquet

Vendredi 3 Avril / Friday, April 3rd

09h00-10h00 Conférence invitée / Invited Talk

Programming with Tabling in XSB
David S. Warren, University of New York at Stony Brook, USA

10h30-12h30 Session ``Deduction''

Scheduling in SLG Revisited
J. Freire, Bell Labs, USA
T. Swift, and D. S. Warren, SUNY at Stony Brook, USA

A General Tabulation Procedure for Extended Constraint Logic Programs
C. Viegas Damasio, Univ. Aberta, Lisbon, Portugal
L. Moniz Pereira, Univ. Nova de Lisboa, Portugal

Tabling Abduction
J. J. Alferes, and L. Moniz Pereira, Univ. Nova de Lisboa, Portugal

Tabulation-based Induction Proofs with Application to Automated Verification
A. Roychoudhury, C.R. Ramakrishnan, I.V. Ramakrishnan, and S.A. Smolka, SUNY at Stony Brook, USA

12h30-13h00 Panel Discussion

14h30-16h00 Session ``New frontiers in Parsing''

A Chart-like Parser for Context Sensitive Grammars
A.G. Manousopoulou, G. Papakonstantinou, and P.Tsanakas, Technical Univ. of Athens, Greece

Bounded Fixed-Point Definability and Tabular Recognition of Languages
H. Leiss, Univ. of Munich, Germany

Linear Categorial Deduction via First-order Compilation
M. Hepple, Univ. of Sheffield, UK

16h15-17h45 Session ``Abstract Interpretation & Probabilities''

On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems
G. Janssens, and K. Sagonas, Katholieke Univ. Leuven, Belgium

A Tabular Method of Finding the Optimal Word String together with its Dependency Structure
K. Ozeki, Univ. of Electro-Communications, Tokyo, Japan

A Generalized CYK Algorithm for Parsing Stochastic CFG
J.-C. Chappelier, and M. Rajman, EPFL, Lausanne, Switzerland