• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (27)
  • 
    BLLDB-Access

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 Page: 1 2 Hits 1 – 20 of 27 1 Program Composition Chandy, K. M. In: DTIC AND NTIS (1994) BASE Show details 2 Research in Knowledge Delivery Hovy, Eduard H.; Mann, William C. In: DTIC AND NTIS (1989) BASE Show details 3 Knowledge Delivery Research. Mann, William C. In: DTIC AND NTIS (1986) BASE Show details 4 Prerequisites for Deriving Formal Specifications from Natural Language Requirements. Weischedel,Ralph M In: DTIC AND NTIS (1983) BASE Show details 5 Design of a System That Understands Informal Specifications. Weischedel,Ralph M; Chester,Daniel L In: DTIC AND NTIS (1983) BASE Show details 6 Knowledge Representation and Natural-Language Semantics. Moore,R C In: DTIC AND NTIS (1983) Abstract: This report summarizes the first year of research on a project to produce formalisms, suitable for manipulation by computer, for the representation of specific concepts that are important for natural-language semantics, and to give an independent account of the meaning of such representations using the tools of formal logic. The major technical achievement of this effort has been the development of a logic which characterizes systems which represent and reason with information about their own beliefs. Other problems worked on include the development of semantic representations for comparative constructions in English and the analysis of deductive methods for commonsense reasoning. (Author) Keyword: *Artificial intelligence; *Computer logic; *Knowledge representation; *Nonmonotonic logic; Bionics; Decision making; Information processing; Logic; LPN-SRI-4488; Natural language; Pattern recognition; PE61102F; Problem solving; Reasoning; Semantics; WUAFOSR2304A2 URL: http://www.dtic.mil/docs/citations/ADA135476 http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA135476 BASE Hide details 7 Mapping between Semantic Representations Using Horn Clauses. Weischedel,Ralph M In: DTIC AND NTIS (1983) BASE Show details 8 File Searching Problems in Logic Programming Systems. Eastman,C M In: DTIC AND NTIS (1983) BASE Show details 9 Two Discourse Generators. A Grammar and a Lexicon for a Text-Production System. Mann,William C; Matthiessen,Christian M I M In: DTIC AND NTIS (1982) BASE Show details 10 Functional Semantics. Hamlet,Richard; Mills,Harlan In: DTIC AND NTIS (1982) BASE Show details 11 The Anatomy of a Systemic Choice. Mann,William C In: DTIC AND NTIS (1982) BASE Show details 12 Flexible Parsing Hayes, Philip J.; Reddy, Raj In: DTIC AND NTIS (1981) BASE Show details 13 Prerequisites to Deriving Formal Specifications from Natural Language Requirements. Weischedel,Ralph M In: DTIC AND NTIS (1981) BASE Show details 14 Maximal Objects and the Semantics of Universal Relation Databases. Maier, David; Ullman, Jeffrey D In: DTIC AND NTIS (1981) BASE Show details 15 An Algebraic Structure Theory of Rule Sets. I. A Formalization of Both Production Systems and Decision Tables. Moriya,Shinji In: DTIC AND NTIS (1981) BASE Show details 16 Prerequisites to Deriving Formal Specifications from Natural Language Requirements. Weischedel,Ralph M In: DTIC AND NTIS (1980) BASE Show details 17 Computer as Author -- Results and Prospects. Mann,William C; Moore,James A In: DTIC AND NTIS (1980) BASE Show details 18 Translation of Phrase Structured Programming Languages. Buttelmann,William In: DTIC AND NTIS (1979) BASE Show details 19 Acoustic/Linguistic Aspects of Automatic Speech Recognition. Broad,David J In: DTIC AND NTIS (1979) BASE Show details 20 Acoustic/Linguistic Aspects of Automatic Speech Recognition. Broad,David J; Pfeifer,Larry L In: DTIC AND NTIS (1978) BASE Show details Page: 1 2

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 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 27 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0