| 1 |
Linking Semantic and Knowledge Representations in a Multi-Domain Dialogue System
|
|
|
|
In: DTIC (2007)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
A Hybrid Approach for QA Track Definitional Questions
|
|
|
|
In: DTIC (2006)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Trust in Security-Policy Enforcement Mechanisms
|
|
|
|
In: DTIC (2005)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Breaking the Resource Bottleneck for Multilingual Parsing
|
|
|
|
In: DTIC AND NTIS (2005)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Quality of Service-Driven Requirements Analyses for Component Composition: A Two-Level Grammar++ Approach
|
|
|
|
In: DTIC (2005)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Ontology-Driven Translator Generator for Data Display Configurations
|
|
|
|
In: DTIC (2004)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Automatic Web Searching and Categorizing Using Query Expansion and Focusing
|
|
|
|
In: DTIC AND NTIS (2003)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Handling Translation Divergences: Combining Statistical and Symbolic Techniques in Generation-Heavy Machine Translation
|
|
|
|
In: DTIC (2002)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
Creating Parsing Lexicons from Semantic Lexicons Automatically and Its Applications
|
|
|
|
In: DTIC (2002)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Automatic Verification of Multiagent Conversations
|
|
|
|
In: DTIC (2000)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Compositional Approach to Statecharts Semantics
|
|
|
|
In: DTIC (2000)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Research Into the Use of Speech Recognition Enhanced Microworlds in an Authorable Language Tutor
|
|
|
|
In: DTIC AND NTIS (1999)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
Algorithms That Learn to Extract Information BBN: Description of the Sift System as Used for MUC-7
|
|
|
|
In: DTIC (1998)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
A Survey of Current Paradigms in Machine Translation
|
|
|
|
In: DTIC (1998)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Language Processing Research and Technology - New Directions
|
|
|
|
In: DTIC AND NTIS (1998)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
Creation of Efficient and Portable Parallel Programs.
|
|
|
|
In: DTIC AND NTIS (1997)
|
|
BASE
|
|
Show details
|
|
|
| 18 |
Primitive Recursion for Higher Order Abstract Syntax
|
|
|
|
In: DTIC AND NTIS (1996)
|
|
Abstract:
Higher order abstract syntax is a central representation technique in logical frameworks which maps variables of the object language into variables in the meta-language. It leads to concise encodings, but is incompatible with functions defined by primitive recursion or proofs by induction. In this paper we propose an extension of the simply-typed lambda-calculus with iteration and case constructs which preserves the adequacy of higher-order abstract syntax encodings. The well-known paradoxes are avoided through the use of a modal operator which obeys the laws of S4. In the resulting calculus many functions over higher-order representations can be expressed elegantly. Our central technical result, namely that our calculus is conservative over the simply-typed lambda-calculus, is proved by a rather complex argument using logical relations. We view our system as an important first step towards allowing the methodology of LF to be employed effectively in systems based on induction principles such as ALF, Coq, or Nuprl, leading to a synthesis of currently incompatible paradigms.
|
|
Keyword:
*COMPUTATIONAL LINGUISTICS; *OBJECT ORIENTED PROGRAMMING; Computer Programming and Software; LAMBDA CALCULUS; Linguistics; MAPPING; META LANGUAGES; RECURSIVE FUNCTIONS; SYNTAX
|
|
URL: http://www.dtic.mil/docs/citations/ADA317245
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA317245
|
|
BASE
|
|
Hide details
|
|
|
| 19 |
Microlanguage-Based Specialization.
|
|
|
|
In: DTIC AND NTIS (1996)
|
|
BASE
|
|
Show details
|
|
|
| 20 |
The Design and Implementation of a Compiler for the Object-Oriented Data Manipulation Language.
|
|
|
|
In: DTIC AND NTIS (1995)
|
|
BASE
|
|
Show details
|
|
|
|
|
