Skip to main content

Search results for "automated reasoning"

Viewing 1 - 52 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)

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

Consensus Study Report

Bulk Collection of Signals Intelligence: Technical Options  (2015)

Proceedings

The Mathematical Sciences' Role in Homeland Security: Proceedings of a Workshop  (2004)

Statistics, Testing, and Defense Acquisition: New Approaches and Methodological Improvements  (1998)

Consensus Study Report

Measuring Human Capabilities: An Agenda for Basic Research on the Assessment of Individual and Group Performance Potential for Military Accession  (2015)

Computing the Future: A Broader Agenda for Computer Science and Engineering  (1992)

Consensus Study Report

Human-AI Teaming: State-of-the-Art and Research Needs  (2022)

Assessing Evaluation Studies: The Case of Bilingual Education Strategies  (1992)

Proceedings

Report of a Workshop on the Pedagogical Aspects of Computational Thinking  (2011)

Review of Systemization of the Tooele Chemical Agent Disposal Facility  (1996)

The New Engineering Research Centers: Purposes, Goals, and Expectations  (1986)

Maintaining U.S. Leadership in Aeronautics: Breakthrough Technologies to Meet Future Air and Space Transportation Needs and Goals  (1998)

Consensus Study Report

Environmental Information for Naval Warfare  (2003)

Consensus Study Report

Review of NASA's Aerospace Technology Enterprise: An Assessment of NASA's Pioneering Revolutionary Technology Program  (2003)

Consensus Study Report

A Framework to Guide Selection of Chemical Alternatives  (2014)

Proceedings

Summary of a Workshop on Software-Intensive Systems and Uncertainty at Scale  (2007)

Proceedings

Survey Automation: Report and Workshop Proceedings  (2003)

Memorial Tributes: Volume 20  (2016)

Memorial Tributes: Volume 24  (2022)

Consensus Study Report

Behavioral Modeling and Simulation: From Individuals to Societies  (2008)

Consensus Study Report

The Polygraph and Lie Detection  (2003)

Consensus Study Report

Making the Nation Safer: The Role of Science and Technology in Countering Terrorism  (2002)

Consensus Study Report

Technology for the United States Navy and Marine Corps, 2000-2035: Becoming a 21st-Century Force: Volume 7: Undersea Warfare  (1997)

Implications of Connected and Automated Driving Systems, Vol. 3: Legal Modification Prioritization and Harmonization Analysis  (2018)

Consensus Study Report

Automated Research Workflows for Accelerated Discovery: Closing the Knowledge Discovery Loop  (2022)

Consensus Study Report

2017-2018 Assessment of the Army Research Laboratory: Interim Report  (2018)

Implementation of Life-Cycle Planning Analysis in a Transportation Asset Management Framework  (2023)

Consensus Study Report

2017-2018 Assessment of the Army Research Laboratory  (2019)

NAM Special Publication

Artificial Intelligence in Health Care: The Hope, the Hype, the Promise, the Peril  (2019)

Consensus Study Report

Lessons Learned from the Fukushima Nuclear Accident for Improving Safety of U.S. Nuclear Plants  (2014)

Consensus Study Report

Decadal Survey of Civil Aeronautics: Foundation for the Future  (2006)