Mostra el registre d'ítem simple
Count-invariance including exponentials
dc.contributor.author | Kuznetsov, Stepan |
dc.contributor.author | Morrill, Glyn |
dc.contributor.author | Valentín Fernández Gallart, José Oriol |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2018-03-09T09:16:19Z |
dc.date.issued | 2017 |
dc.identifier.citation | Kuznetsov, S., Morrill, G., Valentín, O. Count-invariance including exponentials. A: Meeting on te Mathematics of Language. "MOL 2017: The 15th Meeting on the Mathematics of Language: proceedings of the Conference: July 13–14, 2017 London, UK". Stroudsburg, PA: Association for Computational Linguistics, 2017, p. 128-139. |
dc.identifier.isbn | 978-1-945626-72-2 |
dc.identifier.uri | http://hdl.handle.net/2117/114970 |
dc.description.abstract | We define infinitary count-invariance for categorial logic, extending countinvariance for multiplicatives (van Benthem, 1991) and additives and bracket modalities (Valentín et al., 2013) to include exponentials. This provides an effective tool for pruning proof search in categorial parsing/theorem-proving. |
dc.format.extent | 12 p. |
dc.language.iso | eng |
dc.publisher | Association for Computational Linguistics |
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 | Count-invariance including exponentials |
dc.type | Conference lecture |
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 | Restricted access - publisher's policy |
local.identifier.drac | 21890570 |
dc.description.version | Postprint (author's final draft) |
dc.date.lift | 10000-01-01 |
local.citation.author | Kuznetsov, S.; Morrill, G.; Valentín, O. |
local.citation.contributor | Meeting on te Mathematics of Language |
local.citation.pubplace | Stroudsburg, PA |
local.citation.publicationName | MOL 2017: The 15th Meeting on the Mathematics of Language: proceedings of the Conference: July 13–14, 2017 London, UK |
local.citation.startingPage | 128 |
local.citation.endingPage | 139 |