Application Domains
New Software and Platforms
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography
 PDF e-Pub

Section: New Results

Syntax-Semantics Interface

Participants : Philippe de Groote, Sylvain Pogodalla, William Babonnaud.

Abstract Categorial Grammars

We have worked on implementing parsing optimization to the Abstract Categorial Grammar tool kit. These optimizations are based on Datalog program rewriting techniques, in particular a general version of Magic Sets [27], [36]. Theses optimizations rely on the tree isomorphism between derivation trees resulting from parsing with a given abstract categorial grammar, and proofs of facts in a corresponding Datalog program. Because magic rewriting breaks the isomorphism, a transformation of proofs back to derivation trees has been proposed.