Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-25767
Titel: Towards a constraint parser for categorial type logics
Verfasser: Kuhlmann, Marco
Sprache: Englisch
Erscheinungsjahr: 2002
SWD-Schlagwörter: Constraint-Programmierung
Freie Schlagwörter: Constraints
DDC-Sachgruppe: 004 Informatik
Dokumentart : Examensarbeiten (Diplom / Master / Staatsexamen etc.)
Kurzfassung: This thesis shows how constraint programming can be applied to the processing of Categorial Type Logics(CTL). It presents a novel formalisation of the parsing task for categorial grammars as a tree configuration problem, and demonstrates how a recent proposal for emph{structural constraints} on CTL parse trees can be integrated into this framework. The resulting processing model has been implemented using the Mozart programming environment. It appears to be a promising starting point for further research on the application of constraint parsing to CTL and the investigation of the practical processing complexity of CTL grammar fragments.},
Link zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-2911
hdl:20.500.11880/25823
http://dx.doi.org/10.22028/D291-25767
SciDok-Publikation: 29-Jun-2004
Fakultät: Fakultät 6 - Naturwissenschaftlich-Technische Fakultät I
Fachrichtung: MI - Informatik
Fakultät / Institution:MI - Fakultät für Mathematik und Informatik

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
kmmaster.pdf573,9 kBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.