Skip to main content

Search results for "automated reasoning"

Viewing1 -20 of47 results by relevance

Ontologies in the Behavioral Sciences: Accelerating Research and the Spread of Knowledge: Digest Version (2022)

Ontologies in the Behavioral Sciences: Accelerating Research and the Spread of Knowledge (2022)

Intelligent Human-Machine Collaboration: Summary of a Workshop (2012)

Basic Research in Information Science and Technology for Air Force Needs (2006)

Foundational Cybersecurity Research: Improving Science, Engineering, and Institutions (2017)

Complex Operational Decision Making in Networked Systems of Humans and Machines: A Multidisciplinary Approach (2014)

Information Technology for Counterterrorism: Immediate Actions and Future Possibilities (2003)

Statistical Methods for Testing and Evaluating Defense Systems: Interim Report (1995)

Catalyzing Inquiry at the Interface of Computing and Biology (2005)

Interacademy Programs Between the United States and Eastern Europe 1967-2009: The Changing Landscape (2009)

Leveraging Advances in Social Network Thinking for National Security: Proceedings of a Workshop (2018)

Report of a Workshop on the Scope and Nature of Computational Thinking (2010)

Summary of a Workshop on Information Technology Research for Crisis Management (1999)

Advanced Engineering Environments: Achieving the Vision, Phase 1 (1999)

Advancing Aeronautical Safety: A Review of NASA's Aviation Safety-Related Research Programs (2010)

A Review of the New Initiatives at the NASA Ames Research Center: Summary of a Workshop (2001)

Environmental Data Management at NOAA: Archiving, Stewardship, and Access (2007)

Evaluation of the Army's Draft Assessment Criteria to Aid in the Selection of Alternative Technologies for Chemical Demilitarization (1995)

Bulk Collection of Signals Intelligence: Technical Options (2015)