Welcome to the Abstract Categorial Grammar Homepage

This page presents the current state of the art of Abstract Categorial Grammars (ACGs). We intend to keep it up-to-date and present items of related nature. As of now here is a list of publications on ACGs.

Week 1:	Introduction to Abstract Categorial Grammars: Foundations and main properties. Slides: day 1, day 2, day 3, day 4, day 5
Week 2:	Advances in Abstract Categorial Grammars: Language theory and linguistic modeling. The lecture notes (part 1 and part 2) are available (note that they are currently moving and might differ from the ESSLLI CD version). Slides: day 1, days 2 and 4, day3, day 5 Handouts: day 1, days 2 and 4, day 3, day 5 Examples: example files for day 2, day 4, and lecture notes.

Bibliography Software Workshops Contact

Bibliography:

Formal Properties of the ACGs and Modeling:

(2012) Chris Blom, Philippe de Groote, Yoad Winter and Joost Zwarts: Implicit Arguments: Event Modification or Option Type Categories?. In Maria Aloni, Vadim Kimmelman , Floris Roelofsen , Galit W. Sassoon , Katrin Schulz and Matthijs Westera, editors, Logic, Language and Meaning 18th Amsterdam Colloquium 2011, Lecture Notes in Computer Science, LNCS 7218, pp. 240–250, Springer.
(2011) Yoad Winter and Joost Zwarts: Event semantics and Abstract Categorial Grammar. In Makoto Kanazawa, András Kornai, Marcus Kracht and Hiroyuki Seki, editors, Proceedings of Mathematics of Language, MOL12, Lecture Notes in Computer Science, LNCS-FoLLI 6878, pp. 174–191, Springer.
(2010) Sylvain Pogodalla and Florent Pompigne: Controlling extraction in Abstract Categorial Grammars. Proceedings of FG 2010, Copenhagen, Denmark. To appear in LNCS.
(2009) Philippe de Groote, Sylvain Pogodalla and Carl Pollard: On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar. In Makoto Kanazawa, Hiroakira Ono, and Ruy de Queiroz, editors, proceedings of the 16th Workshop on Logic, Language, Information and Computation (WoLLIC 09), Tokyo, Japan. LNAI/FoLLI 5514.
(2007) Philippe de Groote and Sarah Maarek: Type-theoretic Extensions of Abstract Categorial Grammars, in: Proceedings of Workshop on New Directions in Type-theoretic Grammars, R. Muskens (editor), 2007, p. 19–30.
(2007) Philippe de Groote, Ryo Yoshinaka and Sarah Maarek: On two Extensions of Abstract Categorial Grammars, in: Proceedings of International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR). LNCS 4790, pp 273–287, 2007.(bibtex)
(2007) Makoto Kanazawa: Second-Order ACGs as Hyperedge Replacement Grammars, Workshop on New Directions in Type-Theoretic Grammars, ESSLLI 2007, Dublin, August 9, 2007. (Slides)
(2007) Makoto Kanazawa and Sylvain Salvati: Generating Control Languages with Abstract Categorial Grammars, FG 2007, Dublin, August 4, 2007. (Slides)
(2007) Makoto Kanazawa: Parsing and Generation as Datalog Queries, ACL 2007, Prague, June 25, 2007. (Slides)
(2007) Sylvain Pogodalla: Ambiguïté de portée et approche fonctionnelle des Grammaires d'Arbres Adjoints. In proceedings of TALN 07, Toulouse, France.
(2007) Sylvain Pogodalla: Generalizing a Proof-Theoretic Account of Scope Ambiguity. In proceedings of IWCS-7, Tilburg, The Netherlands.
(2007) Christian Retoré ans Sylvain Salvati: Non-associative Categorial Grammars and Abstract Categorial Grammars, in: Proceedings of the Workshop on New Directions in Type-theoretic Grammars (NDTTG 2007), Dublin, Ireland, R. Muskens (editor), Foundation of Logic, Language and Information (FoLLI), August 2007, p. 51–58.
(2007) Sylvain Salvati: On the complexity of Abstract Categorial Grammars, in: 10th conference on Mathematics of Language (MOL 10), Los Angeles, CA, M. Kracht, G. Penn, E. Stabler (editors), July 2007.
(2007) Sylvain Salvati: On the membership problem for Non-linear Abstract Categorial Grammars, in: Proceedings of the Workshop on New Directions in Type-theoretic Grammars (NDTTG 2007), Dublin, Ireland, R. Muskens (editor), Foundation of Logic, Language and Information (FoLLI), August 2007, p. 43–50.
(2006) Makoto Kanazawa: Abstract families of abstract categorial languages. In proceedings of WoLLIC 2006, CSLI, Stanford University.
(2006) Sylvain Salvati: Encoding second order string ACGs with Deterministic Tree Walking Transducers, in: proceedings of Formal Grammar (FG) 2006, Malaga, Spain.
(2006) Ryo Yoshinaka: Linearization of Affine Abstract Categorial Grammars, in: proceedings of Formal Grammar (FG) 2006, Malaga, Spain.
(2005) Philippe de Groote and Sylvain Pogodalla: Reader for the ACG course at ESSLLI 2005.
(2005) Makoto Kanazawa and Ryo Yoshinaka: Lexicalization of second-order ACGs. NII Technical Report. NII-2005-012E. National Institute of Informatics, Tokyo. This corrects an error in the LACL 2005 paper below.
(2005) Ryo Yoshinaka and Makoto Kanazawa: The Complexity and Generative Capacity of Lexicalized Abstract Categorial Grammars. In proceedings of Logical Aspects of Computational Linguistics: 5th International Conference, LACL 2005, Bordeaux, France. LNCS, vol. 3492.
(2004) Philippe de Groote and Sylvain Pogodalla: On the expressive power of Abstract Categorial Grammars: Representing context-free formalisms. In Journal of Logic and Information, volume 13, number 4. (bibtex enntry.) (At Kluwer's.)
(2004) Sylvain Pogodalla: Using and Extending the ACG technology: Endowing Categorial Grammars with an Underspecified Semantic Representation. In proceedings of Categorial Grammars 2004, Montpellier, France. (bibtex entry.)
(2004) Sylvain Pogodalla: Computing Semantic Representation: Towards ACG Abstract Terms as Derivation Trees. In proceedings of TAG+7, Vancouver, Canada. (bibtex entry.)
(2003) Philippe de Groote and Sylvain Pogodalla: m-Linear Context-Free Rewriting Systems as Abstract Categorial Grammars. In R. T. Oehrle et J. Rogers, editors, proceedings of Mathematics of Language - MOL 8. (bibtex entry.)
(2002) Philippe de Groote: Tree-Adjoining Grammars as Abstract Categorial Grammars. In proceedings of TAG+6, Venezia, Italy. (bibtex entry.)
(2001) Philippe de Groote: Towards Abstract Categorial Grammars. In proceedings ofACL 2001, Toulouse, France. (bibtex entry.)

On the Core Mechanisms of ACGs:

(2004) Philippe de Groote and Sylvain Salvati: Higher-order Matching in the Linear lambda-calculus with Pairing. In proceedings ofCSL 2004, Karpacz, Poland. Available as volume 3210 of LNCS. (bibtex entry.)
(2003) Sylvain Salvati and Philippe de Groote: On the complexity of higher-order matching in the linear lambda-calculus. In proceedings ofRTA 2003, Valencia, Spain. Available as volume 2706 of LNCS. (bibtex entry.)

Related Works:

Carl Pollard: Convergent Grammar (CVG).
Carl Pollard: Higher-Order Grammar (HOG).
(2008) Makoto Kanazawa: A Prefix-Correct Earley Recognizer for Multiple Context-Free Grammars, TAG+9 2008, the Ninth International Workshop on Tree Adjoining Grammars and Related Formalisms, Tübingen, Germany, June 7-8, 2008. (Slides)
(2003) Reinhard Muskens: Language, Lambdas, and Logic. In Geert-Jan Kruijff and Richard Oehrle, editors, Resource Sensitivity in Binding and Anaphora, Studies in Linguistics and Philosophy, pages 23-54. Kluwer.
(2001) Reinhard Muskens. Lambda Grammars and the Syntax-Semantics Interface. In R. van Rooy and M. Stokhof, editors, proceedings of the Thirteenth Amsterdam Colloquium, pages 150-155, Amsterdam.
(2001) Reinhard Muskens. Categorial Grammar and Lexical-Functional Grammar. In Miriam Butt and Tracy Holloway King, editors, proceedings of the LFG01 Conference, University of Hong Kong, pages 259-279,Stanford CA, 2001. CSLI Publications..

Software

A toolkit for developing ACG signatures and lexicon is now available (with a CeCILL license): sources tarball (INSTALL) (README) (example of a signature and lexicon declaration file)
It comes with two executables:

acgc: a typechecker for ACG signature and lexicon definitions
acg: an interpreter to manipulate ACG signatures, lexicons, and terms (for instance to load signatures and lexicons, and to check the type of a term wrt to a given abstract signature, and to compute its corresponding object term). It is not yet able to parse a term according to an ACG.

Related workshops: the Lambda Calculus and Formal Grammar workshop series:

Feb 2005: 1st LCFG workshop
Feb 2006: 2nd LCFG workshop
Jan 2007: 3rd LCFG workshop
Sep 2007: 4th LCFG workshop
Mar 2008: 5th LCFG workshop
Oct 2008: 6th LCFG workshop

How to contact us:

Sylvain Pogodalla maintains this page. Or you can contact any of the authors in the list above.