• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • Backofen, Rolf (17)
    • Hoehndorf, Robert (7)
    • Lewin, Ian (7)
    • Rebholz-Schuhmann, Dietrich (7)
    • Dixit, Abhishek (5)
    • Friteyre, Caroline (5)
    • Kim, Jee-Hyub (5)
    • Yan, Ying (5)
    • Rogers, James (3)
    • Smolka, Gert (3)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access:
    • free (17)
    • subject to license (0)

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 17 of 17 1 Evaluation and Cross-Comparison of Lexical Entities of Biological Interest (LexEBI) ... Rebholz-Schuhmann, Dietrich; Kim, Jee-Hyub; Yan, Ying. - : Public Library of Science (PLoS), 2013 BASE Show details 2 Evaluation and Cross-Comparison of Lexical Entities of Biological Interest (LexEBI) Rebholz-Schuhmann, Dietrich; Kim, Jee-Hyub; Yan, Ying. - : Public Library of Science, 2013 BASE Show details 3 Evaluation and Cross-Comparison of Lexical Entities of Biological Interest (LexEBI) Rebholz-Schuhmann, Dietrich; Kim, Jee-Hyub; Yan, Ying... In: PLoS ONE. - 8, 10 (2013) , e75185, ISSN: 1932-6203 (2013) BASE Show details 4 Evaluation and cross-comparison of lexical entities of biological interest (LexEBI) Rebholz-Schuhmann, Dietrich; Kim, Jee-Hyub; Yan, Ying. - 2013 BASE Show details 5 Evaluating gold standard corpora against gene/protein tagging solutions and lexical resources Rebholz-Schuhmann, Dietrich; Kafkas, Senay; Kim, Jee-Hyub. - 2013 BASE Show details 6 Evaluating gold standard corpora against gene/protein tagging solutions and lexical resources Rebholz-Schuhmann, Dietrich; Kafkas, Senay; Kim, Jee-hyub... In: Rebholz-Schuhmann, Dietrich; Kafkas, Senay; Kim, Jee-hyub; Li, Chen; Yepes, Antonio Jimeno; Hoehndorf, Robert; Backofen, Rolf; Lewin, Ian (2013). Evaluating gold standard corpora against gene/protein tagging solutions and lexical resources. Journal of Biomedical Semantics, 4:28. (2013) BASE Show details 7 Evaluation and Cross-Comparison of Lexical Entities of Biological Interest (LexEBI) Rebholz-Schuhmann, Dietrich; Kim, Jee-hyub; Yan, Ying... In: Rebholz-Schuhmann, Dietrich; Kim, Jee-hyub; Yan, Ying; Dixit, Abhishek; Friteyre, Caroline; Hoehndorf, Robert; Backofen, Rolf; Lewin, Ian (2013). Evaluation and Cross-Comparison of Lexical Entities of Biological Interest (LexEBI). PLoS ONE, 8(10):e75185. (2013) BASE Show details 8 A First-Order Axiomatization of the Theory of Finite Trees Backofen, Rolf; Rogers, James; Vijay-Shanker, K In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 4 (1995) 1, 5-40 OLC Linguistik Show details 9 A first-order axiomatization of the theory of finite trees Backofen, Rolf; Rogers, James; Vijay-Shanker, K.. - 1995 BASE Show details 10 A First-Order Axiomatization of the Theory of Finite Trees Backofen, Rolf; Rogers, James; Vijay-Shanker, K. In: IRCS Technical Reports Series (1995) BASE Show details 11 A Complete and Recursive Feature Theory ... Backofen, Rolf; Smolka, Gert. - : arXiv, 1994 BASE Show details 12 DISCO---An HPSG-based NLP System and its Application for Appointment Scheduling (Project Note) ... Uszkoreit, Hans; Backofen, Rolf; Busemann, Stephan. - : arXiv, 1994 BASE Show details 13 DISCO - an HPSG-based NLP system and its application for appointment scheduling Netter, Klaus; Krieger, Hans-Ulrich; Oepen, Stephan. - 1994 BASE Show details 14 A complete and recursive feature theory ... Backofen, Rolf; Smolka, Gert. - : Universität des Saarlandes, 1992 BASE Show details 15 A complete and recursive feature theory Backofen, Rolf; Smolka, Gert. - 1992 Abstract: Various feature descriptions are being employed in logic programming languages and constrained-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called features. The descriptions considered in this paper are the possibly quantified first-order formulae obtained from a signature of binary and unary predicates called features and sorts, respectively. We establish a first-order theory FT by means of three axiom schemes, show its completeness, and construct three elementarily equivalent models. One of the models consists of so-called feature graphs, a data structure common in computational linguistics. The other two models consist of so-called feature trees, a record-like data structure generalizing the trees corresponding to first-order terms. Our completeness proof exhibits a terminating simplification system deciding validity and satisfiability of possibly quantified feature descriptions. Keyword: Axiom; Computerlinguistik; ddc:004; Künstliche Intelligenz URL: http://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-36475 https://doi.org/10.22028/D291-24890 BASE Hide details 16 Towards the integration of functions, relations and types in an AI programming language ... Backofen, Rolf; Euler, Lutz; Görz, Günther. - : Universität des Saarlandes, 1991 BASE Show details 17 Towards the integration of functions, relations and types in an AI programming language Backofen, Rolf; Euler, Lutz; Görz, Günther. - 1991 BASE Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 1 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 16 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0