Show simple item record

hal.structure.identifierLaboratoire Bordelais de Recherche en Informatique [LaBRI]
hal.structure.identifierLinguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
dc.contributor.authorMOOT, Richard
dc.date.accessioned2024-04-15T09:50:28Z
dc.date.available2024-04-15T09:50:28Z
dc.date.issued2004
dc.date.conference2004-06
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/198344
dc.description.abstractEnProof nets are a graph theoretical representation of proofs in various fragments of type-logical grammar. In spite of this basis in graph theory, there has been relatively little attention to the use of graph theoretic algorithms for type-logical proof search. In this paper we will look at several ways in which standard graph theoretic algorithms can be used to restrict the search space. In particular, we will provide an O(n4 ) algorithm for selecting an optimal axiom link at any stage in the proof search as well as a O(kn3 ) algorithm for selecting the k best proof candidates.
dc.language.isoen
dc.subject.enAutomated Deduction
dc.subject.enFloyd-Warshall Algorithm
dc.subject.enLambek Calculus
dc.subject.enProof Net
dc.subject.enRanked Assignments
dc.title.enGraph Algorithms for Improving Type-Logical Proof Search
dc.typeCommunication dans un congrès
dc.subject.halInformatique [cs]/Informatique et langage [cs.CL]
dc.identifier.arxiv0805.2303
bordeaux.page13-28
bordeaux.hal.laboratoriesLaboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800*
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
bordeaux.conference.titleCategorial grammars - an efficient tool for natural language processing
bordeaux.countryFR
bordeaux.conference.cityMontpellier
bordeaux.peerReviewedoui
hal.identifierhal-00012408
hal.version1
hal.invitednon
hal.proceedingsoui
hal.popularnon
hal.audienceInternationale
hal.origin.linkhttps://hal.archives-ouvertes.fr//hal-00012408v1
bordeaux.COinSctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.date=2004&rft.spage=13-28&rft.epage=13-28&rft.au=MOOT,%20Richard&rft.genre=unknown


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record