Skip to main content

Search results for "automated reasoning"

Viewing 1 - 20 of 52 results by relevance
Proceedings

Artificial Intelligence to Assist Mathematical Reasoning: Proceedings of a Workshop  (2023)

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

Consensus Study Report

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

Proceedings

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

Consensus Study Report

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

Consensus Study Report

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

Consensus Study Report

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

Consensus Study Report

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

Consensus Study Report

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

Proceedings

Developing Human Capital to Support U.S. Innovation Capacity: Proceedings of a Workshop—in Brief  (2023)

Consensus Study Report

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

Consensus Study Report

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

Proceedings

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

Proceedings

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

Proceedings

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

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

Consensus Study Report

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

Proceedings

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

Consensus Study Report

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