• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Book (6)
    • Miscellaneous (5)
    • Article (4)
    • Website (1)
  • 
    BLLDB-Access:
    • free (16)
    • 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 – 16 of 16 1 A Goal-Directed Decision Procedure for Hybrid PDL Kaminski, Mark; Smolka, Gert In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 52 (2014) 4, 407-450 OLC Linguistik Show details 2 Terminating tableau systems for hybrid logic with difference and converse Kaminski, Mark; Smolka, Gert In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 18 (2009) 4, 437-464 BLLDB OLC Linguistik Show details 3 Dependency structures and lexicalized grammars Kuhlmann, Marco. - 2008 BASE Show details 4 Extensible Dependency Grammar: a modular grammar formalism based on multigraph description Debusmann, Ralph. - 2007 BASE Show details 5 Multi-dimensional dependency grammar as multigraph description Smolka, Gert; Debusmann, Ralph. - 2007 BASE Show details 6 Design and implementation of a programmable middleware Kornstädt, Leif Tobias. - 2006 BASE Show details 7 A Complete and Recursive Feature Theory ... Backofen, Rolf; Smolka, Gert. - : arXiv, 1994 BASE Show details 8 A complete and recursive feature theory ... Backofen, Rolf; Smolka, Gert. - : Universität des Saarlandes, 1992 BASE Show details 9 A complete and recursive feature theory Backofen, Rolf; Smolka, Gert. - 1992 BASE Show details 10 Attributive concept descriptions with complements Schmidt-Schauss, Manfred; Smolka, Gert In: Artificial intelligence. - Amsterdam : Elsevier 48 (1991) 1, 1-26 BLLDB Show details 11 On the expressivity of feature logics with negation, functional uncertainty, and sort equations Bürckert, Hans-Jürgen; Baader, Franz; Nutt, Werner. - 1991 BASE Show details 12 Attributive description formalisms and the rest of the world Smolka, Gert; Nebel, Bernhard. - 1991 BASE Show details 13 Logic programming with Polymorphically order-sorted types Smolka, Gert. - Stuttgart : IBM, 1988 MPI für Psycholinguistik Show details 14 Order sorted unification Smolka, Gert; Meseguer, José; Goguen, Joseph. - Stanford, Calif. : Center for the Study of Language and Information, 1987 BLLDB UB Frankfurt Linguistik Show details 15 6th German Workshop on Artificial Intelligence : Bad Honnef, Sept. 27 - Oct.1, 1982 Novak, Hans-Joachim (Mitarb.); Schwind, Camilla B. (Mitarb.); Vollmann, F. (Mitarb.). - Berlin [u.a.] : Springer, 1982 BLLDB UB Frankfurt Linguistik Show details 16 Integrated Linguistic Processing with Constraints and Preferences (CHORUS Project) https://www.coli.uni-saarland.de/projects/chorus/ Topic: Computational linguistics; Semantics Forschungstyp: Research projects Access: free access Show details

Mobile view All Catalogues UB Frankfurt Linguistik 2 IDS Mannheim 0 OLC Linguistik 2 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 4 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 1 Linked Open Data catalogues Annohub 0 Online resources Link directory 1 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 9 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0