Premières Journées / 1st Workshop on

Tabulation en Analyse Syntaxique et Déduction

Tabulation in Parsing and Deduction

TAPD'98

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

Jeudi 2 Avril / Thursday, April 2nd

Conférence invitée / Invited Talk

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

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

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. Cabreno Souto, Univ. of Coruna, Spain

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

Vendredi 3 Avril / Friday, April 3rd

Conférence invitée / Invited Talk

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

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

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

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