Panelists respond to three questions, " How does your DoD initiative promise to increase readiness for the fighting forces?", "Where will the distributed simulation...
Phillip Barry, Philomena M. Zimmerman, Jim Metzger...
We are developing a parallel simulation framework for large-scale network simulation. An important component of this work is the development of a TCP/IP model library. TCP/IP expe...
The formal architecture of Lexical Functional Grammar offers a particular formal device, the structural correspondence, for modularizing the mapping between the surface forms of a...
Several formalizations of cognitive state that include intentions and beliefs based on normal modal logics (NMLs) have appeared in the recent literature. We argue that NMLs are no...
One method for reducing the time required for plan generation is to learn search control rules from experience. Most of the recent work in learning search control knowledge has co...