Mostra el registre d'ítem simple
Parsing logical grammar: CatLog3
dc.contributor.author | Morrill, Glyn |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2018-02-09T10:11:49Z |
dc.date.available | 2018-02-09T10:11:49Z |
dc.date.issued | 2017 |
dc.identifier.citation | Morrill, G. Parsing logical grammar: CatLog3. A: Workshop on Logic and Algorithms in Computational Linguistics. "Proceedings of the Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017): Stockholm, August 16-19, 2017". Stockholm: Stockholm University, 2017, p. 107-131. |
dc.identifier.uri | http://hdl.handle.net/2117/113964 |
dc.description.abstract | CatLog3 is a Prolog parser/theorem-prover for (type) logical (categorial) grammar. In such logical grammar, grammar is reduced to logic: a string of words is grammatical if and only if an associated logical statement is a theorem. CalLog3 implements a logic extending displacement calculus, a sublinear fragment including as primitive connectives the continuous (Lambek) and discontinuous wrapping connectives of the displacement calculus, additives, 1st order quantifiers, normal modalities, bracket modalities and subexponentials. In this paper we survey how CatLog3 is implemented on the principles of Andreoli’s focusing and a generalisation of van Benthem’s count-invariance. |
dc.format.extent | 25 p. |
dc.language.iso | eng |
dc.publisher | Stockholm University |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial::Llenguatge natural |
dc.subject.lcsh | Categorial grammar |
dc.subject.lcsh | Computational linguistics |
dc.title | Parsing logical grammar: CatLog3 |
dc.type | Conference report |
dc.subject.lemac | Gramàtica categorial |
dc.subject.lemac | Lingüística computacional |
dc.contributor.group | Universitat Politècnica de Catalunya. LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge |
dc.description.peerreviewed | Peer Reviewed |
dc.rights.access | Open Access |
local.identifier.drac | 21890563 |
dc.description.version | Postprint (published version) |
local.citation.author | Morrill, G. |
local.citation.contributor | Workshop on Logic and Algorithms in Computational Linguistics |
local.citation.pubplace | Stockholm |
local.citation.publicationName | Proceedings of the Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017): Stockholm, August 16-19, 2017 |
local.citation.startingPage | 107 |
local.citation.endingPage | 131 |