Home
Catalogue search
Refine your search:
Keyword
Creator / Publisher:
Weischedel, Ralph M. (16)
Bates, Madeleine (7)
DELAWARE UNIV NEWARK DEPT OF COMPUTER AND INFORMATION SCIENCES (6)
Bobrow, Robert J. (5)
Weischedel,Ralph M (5)
Ayuso, Damaris (2)
BBN SYSTEMS AND TECHNOLOGIES CORP CAMBRIDGE MA (2)
Ramshaw, Lance (2)
Resnik, Philip (2)
BBN LABS INC CAMBRIDGE MA (1)
more
Year
Medium
Type
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 23
1
Challenges in Natural Language Processing
Hovy, Eduard
;
Bates, Madeleine
;
Weischedel, Ralph M
In:
Computational linguistics. - Cambridge, Mass. : MIT Press
21 (1995) 1, 120-123
OLC Linguistik
Show details
2
The future of computational linguistics
Bates, Madeleine
;
Weischedel, Ralph M.
In:
Challenges in natural language processing
(Cambridge [etc.], 1993), p. 283-288
MPI für Psycholinguistik
Show details
3
Critical challenges for natural language processing
Bates, Madeleine
;
Bobrow, Robert J.
;
Weischedel, Ralph M.
In:
Challenges in natural language processing
(Cambridge [etc.], 1993), p. 3-36
MPI für Psycholinguistik
Show details
4
Challenges in natural language processing
Bates, Madeleine
;
Weischedel, Ralph M.
. - Cambridge [etc.] : Cambridge University Press, 1993
MPI für Psycholinguistik
Show details
5
Challenges in natural language processing
Bates, Madeleine
(Hrsg.);
Weischedel, Ralph M.
(Hrsg.). - Cambridge [u.a.] : Cambridge Univ. Press, 1993
BLLDB
UB Frankfurt Linguistik
Show details
6
The future of computational linguistics
Bates, Madeleine
;
Weischedel, Ralph M.
In:
Challenges in natural language processing. - Cambridge [u.a.] : Cambridge Univ. Press
(1993), 283-288
BLLDB
Show details
7
Critical challenges for natural language processing
Bates, Madeleine
;
Bobrow, Robert J.
;
Weischedel, Ralph M.
In:
Challenges in natural language processing. - Cambridge [u.a.] : Cambridge Univ. Press
(1993), 3-34
BLLDB
Show details
8
Multiple underlying systems : translating user requests into programs to produce answers
Bobrow, Robert J.
;
Resnik, Philip
;
Weischedel, Ralph M.
In:
Association for Computational Linguistics. Proceedings of the conference. - Stroudsburg, Penn. : ACL
28 (1990), 227-234
BLLDB
Show details
9
Portability in the Janus Natural Language Interface
Weischedel, Ralph M.
;
Bobrow, Robert J.
;
Ayuso, Damaris
...
In: DTIC (1989)
BASE
Show details
10
Research and Development in Natural Language Understanding as Part of the Strategic Computing Program
Weischedel, Ralph M.
In: DTIC AND NTIS (1989)
BASE
Show details
11
A new semantic computation while parsing : presupposition and entailment
Weischedel, Ralph M.
In:
Readings in natural language processing. - Los Altos, Calif. : Morgan Kaufmann
(1986), 313-326
BLLDB
Show details
12
Out of the Laboratory: A Case Study with the IRUS Natural Language Interface
Weischedel, Ralph M.
;
Walker, Edward
;
Ayuso, Damaris
...
In: DTIC (1986)
BASE
Show details
13
Special issue on ill-formed input
Carbonell, Jaime G.
(Mitarb.);
Hayes, Philip J.
(Mitarb.);
Jensen, K.
(Mitarb.)...
In:
American journal of computational linguistics. - Menlo Park, Calif. : SRI International
9 (1983) 3-4, 123-198
BLLDB
Show details
14
Prerequisites for Deriving Formal Specifications from Natural Language Requirements.
Weischedel,Ralph M
In: DTIC AND NTIS (1983)
BASE
Show details
15
Handling Ill-Formed Input: Session Introduction
Weischedel,Ralph M.
In: DTIC AND NTIS (1983)
BASE
Show details
16
Design of a System That Understands Informal Specifications.
Weischedel,Ralph M
;
Chester,Daniel L
In: DTIC AND NTIS (1983)
BASE
Show details
17
Mapping between Semantic Representations Using Horn Clauses.
Weischedel,Ralph M
In: DTIC AND NTIS (1983)
BASE
Show details
18
Prerequisites to Deriving Formal Specifications from Natural Language Requirements.
Weischedel,Ralph M
In: DTIC AND NTIS (1981)
Abstract:
Since English specifications and formal specifications of modules are complementary and since formal specifications require so much effort to write, our work is investigating application of artificial intelligence techniques to aid in the software specification process. The first area studied is comparing English descriptions with formal specifications of the same software module. This work is now complete; however, some of the examples will continue to serve as a guide to the software tool being constructed. The second area is suggesting modifications to formal specification languages, which would make them more understandable. In particular, we have been suggesting alternatives to logical quantifiers. The third and fourth areas deal with the syntactic and semantic components of an experimental software tool. Its purpose is to test our solutions to a handful of problems in transforming English descriptions to formal specifications under significant user assistance. In dealing with syntactic ambiguity, one of the solutions that many have spectulated about is the use of a semantic component to reject anomolous parses; we intend to test its effectiveness using the RUS grammar. When ambiguity is not resolved, questions must be presented to the user for his/her selection of the intended interpretation. Partial heuristics for this are part of the results of this year's effort. In addition, modification of the RUS parser and dictionary for the domain of software specification will continue during the next year.
Keyword:
*COMPUTER PROGRAMMING
;
*INFORMATION PROCESSING
;
*SPECIFICATIONS
;
*TECHNICAL WRITING
;
Ambiguity
;
ARTIFICIAL INTELLIGENCE
;
Bionics
;
Computer Programming and Software
;
COMPUTER PROGRAMS
;
ENGLISH LANGUAGE
;
HEURISTIC METHODS
;
Information Science
;
Linguistics
;
MAN COMPUTER INTERFACE
;
MODULAR CONSTRUCTION
;
NATURAL LANGUAGE
;
PARSERS
;
PE61102F
;
PROGRAMMING LANGUAGES
;
SEMANTICS
;
Software specifications
;
Specification writing
;
SYNTAX
;
WUAFOSR2304A2
URL:
http://www.dtic.mil/docs/citations/ADA108612
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA108612
BASE
Hide details
19
Prerequisites to Deriving Formal Specifications from Natural Language Requirements.
Weischedel,Ralph M
In: DTIC AND NTIS (1980)
BASE
Show details
20
A new semantic computation while parsing : presupposition and entailment
Weischedel, Ralph M.
In:
Syntax and semantics. - Leiden : Brill
11 (1979), 155-182
BLLDB
Show details
Page:
1
2
Mobile view
All
Catalogues
UB Frankfurt Linguistik
1
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
7
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
3
Linked Open Data catalogues
Annohub
0
Online resources
Link directory
0
Journal directory
0
Database directory
0
Dictionary directory
0
Open access documents
BASE
12
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern