| 42 |
An Approach for Semantic Query Processing with UDDI
|
|
|
|
In: DTIC (2005)
|
|
BASE
|
|
Show details
|
|
|
| 43 |
Plan Critiquing and Look-Ahead Constraint Reasoning for Active Templates
|
|
|
|
In: DTIC AND NTIS (2004)
|
|
Abstract:
The primary objective of this program was to develop knowledge-based Active Templates technology to help Special Operations Forces (SOF) planning staff quickly build robust and agile plans, and then monitor their execution. To this end, we conducted research and development in four major areas. First, we developed a SOF knowledge representation language and example scenario for representing mission plans and constraints on those plans. Second, we developed a template-based natural language user interface to allow mission planners to input mission plan details in a format that is understandable to both the machine and human operator. Third, we designed a branch plan specification environment with a plan critiquer and look-ahead constraint reasoner, and demonstrated the feasibility of these designs by developing a temporal constraint reasoner. Finally, we developed and transitioned to operational use adaptive planning software that supports collaborative mission planning and orders production. We conclude that although successful, many areas for further research and development still exist in all four areas including further research in plan representations to support reasoning over branch plans, implementing the branch plan environment designs, and enhancing the adaptive planning software to interface with additional support tools including a knowledge base for reasoning over the plan. ; Sponsored in part by Defense Advanced Research Projects Agency (DARPA). The original document contains color images.
|
|
Keyword:
*CONSTRAINT REASONING; *KNOWLEDGE BASED SYSTEMS; *MILITARY PLANNING; *NATURAL LANGUAGE; *SPECIAL OPERATIONS FORCES; *TEMPLATES; ACTIVE TEMPLATES; ADAPTIVE PLANNING SOFTWARE; ADAPTIVE SYSTEMS; COLLABORATIVE TECHNIQUES; Computer Programming and Software; COMPUTER PROGRAMS; Computer Systems Management and Standards; CRITIQUES; GRAPHICAL USER INTERFACE; KNOWLEDGE REPRESENTATIONS; Linguistics; Military Operations; MISSION PROFILES; PE63760E; REASONING; SPECIFICATIONS; Strategy and Tactics; WUAFRLATEMP005
|
|
URL: http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA428146
http://www.dtic.mil/docs/citations/ADA428146
|
|
BASE
|
|
Hide details
|
|
|
| 44 |
Information Engineering in Support of Multilateral Joint Operational Interoperability
|
|
|
|
In: DTIC (2004)
|
|
BASE
|
|
Show details
|
|
|
| 45 |
Entwurf und Erprobung eines software-gestützten Verfahrens zur Anwendung software-ergonomischer Methoden in den frühen Phasen der Anwendungsentwicklung
|
|
|
|
In: ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-1985/DIP-1985.pdf (2002)
|
|
BASE
|
|
Show details
|
|
|
| 46 |
TAME: Using PVS Strategies for Special-Purpose Theorem Proving
|
|
|
|
In: DTIC (2001)
|
|
BASE
|
|
Show details
|
|
|
| 47 |
The data given are from two dialects of Fukuoka city: • Hakata (Hayata 1985)
|
|
|
|
In: http://www.unc.edu/~jlsmith/home/pdf/um-wksp.pdf (1999)
|
|
BASE
|
|
Show details
|
|
|
| 48 |
Information Extraction Supported Question Answering
|
|
|
|
In: DTIC (1999)
|
|
BASE
|
|
Show details
|
|
|
| 49 |
A Graphical Environment for the Design of Concurrent Real-Time Systems
|
|
|
|
In: http://lsi.ugr.es/~mcapel/docencia/doctorado/seguro/TL_artl/moserRamaKuttyMelliarDillon97.pdf (1997)
|
|
BASE
|
|
Show details
|
|
|
| 50 |
Information systems engineering : a multi-modeling and a meta-modeling approach ; Ingénierie de systèmes d'information : une approche de multi-modélisation et de méta-modélisation
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00004944 ; Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1997. Français (1997)
|
|
BASE
|
|
Show details
|
|
|
| 51 |
Applying the SCR Requirements Specification Method to Practical Systems: A Case Study
|
|
|
|
In: DTIC (1996)
|
|
BASE
|
|
Show details
|
|
|
| 52 |
Information Requirements Analysis: A Qualitative Characterization of the Flightline Expediter for the Integrated Maintenance Information System
|
|
|
|
In: DTIC (1996)
|
|
BASE
|
|
Show details
|
|
|
| 54 |
Composite Event Specification and Detection for Supporting Active Capability in an OODBMS: Semantics Architecture and Implementation.
|
|
|
|
In: DTIC AND NTIS (1995)
|
|
BASE
|
|
Show details
|
|
|
| 55 |
Design and Specification of an Object-Oriented Data Manipulation Language.
|
|
|
|
In: DTIC AND NTIS (1995)
|
|
BASE
|
|
Show details
|
|
|
| 57 |
TMSS Parsing Test, MIL-M-9977J, Appendix I, NATO Stage B Cross-Servicing Checklist (CL1), Document Type Definition.
|
|
In: DTIC AND NTIS (1994)
|
|
BASE
|
|
Show details
|
|
|
| 58 |
Origin Tracking in Primitive Recursive Schemes
|
|
|
|
In: http://www.cwi.nl/ftp/CWIreports/AP/CS-R9401.ps.Z (1993)
|
|
BASE
|
|
Show details
|
|
|
| 59 |
Modelling and Specifying Name Visibility and Binding Semantics
|
|
|
|
In: DTIC AND NTIS (1993)
|
|
BASE
|
|
Show details
|
|
|
| 60 |
A New Definition of the Subtype Relation
|
|
|
|
In: DTIC AND NTIS (1993)
|
|
BASE
|
|
Show details
|
|
|
|
|
