Miltiadis Kokkonidis

Computational Linguistics Group,
Centre for Linguistics and Philology,
Walton Street,
Oxford, OX1 2HG

Tel: +44-1865-280410
Fax: +44-1865-280412
E-mail:

I am interested in complexity theory and the applications of formal logic and type systems to the abstract mathematical modelling of cognitive processes related to natural language.

Kokkonidis, Miltiadis (2008a)

First-Order Glue. In Journal of Logic, Language and Information, 17, 43-68. Springer.
DOI: 10.1007/s10849-006-9031-0

Kokkonidis, Miltiadis (2005)

Why Glue a Donkey to an F-structure, When You Can Constrain and Bind it Instead? In Proceedings of the Tenth International Conference on Lexical Functional Grammar. Bergen, Norway. CSLI Publications.

Kokkonidis, Miltiadis (2006a)

A Glue/λ-DRT Treatment of Resumptive Pronouns. In J. Huitink and S. Katrenko (eds.) Proceedings of the Elevent ESSLLI Student Session. Malaga, Spain.

Kokkonidis, Miltiadis (2006b)

A Simple Linear First-Order System for Meaning Assembly. In Proceedings of the Second International Congress on Tools for Teaching Logic. Salamanca, Spain.

Kokkonidis, Miltiadis (2007a)

The Syntax-Semantics Interface of Type-Logical Linear Logical Grammar. In Proceedings of CamLing 2007. Cambridge, UK. (To appear)

Kokkonidis, Miltiadis (2007b)

Encoding LFG f-structures in the TL-LFG type system. In Proceedings of the Second International Workshop on Typed Feature Structure Grammars. Tartu, Estonia. CSLI Publications.

Kokkonidis, Miltiadis (2007c)

F-Structure: Derivation-based construction and constraints. In Proceedings of the EUROLAN 2007 Doctoral Consortium. University Al. I Cuza Publishing House. Iasi, Romania

Kokkonidis, Miltiadis (2007d)

Towards a Type-Logical Lexical Functional Grammar. In Proceedings of the Twelfth International Conference on Lexical Functional Grammar. Stanford, California. CSLI Publications.

Kokkonidis, Miltiadis (2007e)

Scoping and Recursive Modification in TL-LFG. In Gerald Penn (Ed.) Proceedings of the 12th Formal Grammar Conference. Dublin, Ireland. CSLI Publications. (To appear)

Kokkonidis, Miltiadis (2007f)

Fragments of a TL-LFG Grammar of Greek. In Proceedings of the 8th International Conference on Greek Linguistics. Ioannina, Greece. (To appear)

Kokkonidis, Miltiadis (2007g)

Towards a Type-Logical HPSG. In Proceedings of LingO 2007. Oxford, UK. (To appear)

Instant Glue

A Prolog implementation of first-order Glue.
(Available upon request.)