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 |
VerfasserIn: | Kuhlmann, Marco |
Sprache: | Englisch |
Erscheinungsjahr: | 2002 |
Kontrollierte Schlagwörter: | Constraint-Programmierung |
Freie Schlagwörter: | Constraints |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Sonstiges |
Abstract: | 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 |
Datum des Eintrags: | 29-Jun-2004 |
Fakultät: | MI - Fakultät für Mathematik und Informatik |
Fachrichtung: | MI - Informatik |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
kmmaster.pdf | 573,9 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.