English
Related papers

Related papers: Decision Aids for Adversarial Planning in Military…

200 papers

Artificial intelligence (AI) is the name popularly given to a broad spectrum of computer tools designed to perform increasingly complex cognitive tasks, including many that used to solely be the province of humans. As these tools become…

History and Overview · Mathematics 2026-03-30 Tanya Klowden , Terence Tao

In a wide array of areas, algorithms are matching and surpassing the performance of human experts, leading to consideration of the roles of human judgment and algorithmic prediction in these domains. The discussion around these…

Computer Vision and Pattern Recognition · Computer Science 2019-04-01 Maithra Raghu , Katy Blumer , Greg Corrado , Jon Kleinberg , Ziad Obermeyer , Sendhil Mullainathan

Machine learning models are being increasingly deployed to take, or assist in taking, complicated and high-impact decisions, from quasi-autonomous vehicles to clinical decision support systems. This poses challenges, particularly when…

Machine Learning · Computer Science 2023-11-14 Alex J. Chan , Alihan Huyuk , Mihaela van der Schaar

Several approaches have been developed for answering users' specific questions about AI behavior and for assessing their core functionality in terms of primitive executable actions. However, the problem of summarizing an AI agent's broad…

Artificial Intelligence · Computer Science 2022-05-31 Pulkit Verma , Shashank Rao Marpally , Siddharth Srivastava

Artificial intelligence (AI) has revolutionized decision-making processes and systems throughout society and, in particular, has emerged as a significant technology in high-impact scenarios of national interest. Yet, despite AI's impressive…

Machine Learning · Statistics 2024-08-05 Gregory Canal , Vladimir Leung , Philip Sage , Eric Heim , I-Jeng Wang

In this paper, we propose a methodology designed to support decision-making during the execution phase of military ground combat operations, with a focus on one's actions. This methodology generates and evaluates recommendations for various…

Artificial Intelligence · Computer Science 2025-11-10 Johan Schubert , Patrik Hansen , Pontus Hörling , Ronnie Johansson

In order to solve complex, long-horizon tasks, intelligent robots need to carry out high-level, abstract planning and reasoning in conjunction with motion planning. However, abstract models are typically lossy and plans or policies computed…

Robotics · Computer Science 2022-05-27 Naman Shah , Siddharth Srivastava

Intelligent robots and machines are becoming pervasive in human populated environments. A desirable capability of these agents is to respond to goal-oriented commands by autonomously constructing task plans. However, such autonomy can add…

Artificial Intelligence · Computer Science 2016-04-14 Yu Zhang , Sarath Sreedharan , Anagha Kulkarni , Tathagata Chakraborti , Hankz Hankui Zhuo , Subbarao Kambhampati

Algorithmic decision support is increasingly used in a whole array of different contexts and structures in various areas of society, influencing many people's lives. Its use raises questions, among others, about accountability, transparency…

Computers and Society · Computer Science 2022-06-24 Angelika Adensamer , Rita Gsenger , Lukas Daniel Klausner

Today's AI deployments often require significant human involvement and skill in the operational stages of the model lifecycle, including pre-release testing, monitoring, problem diagnosis and model improvements. We present a set of enabling…

Bayesian optimization has been successfully applied throughout Chemical Engineering for the optimization of functions that are expensive-to-evaluate, or where gradients are not easily obtainable. However, domain experts often possess…

Human-Computer Interaction · Computer Science 2024-04-18 Tom Savage , Ehecatl Antonio del Rio Chanona

The integration of artificial intelligence (AI) and optimization hold substantial promise for improving the efficiency, reliability, and resilience of engineered systems. Due to the networked nature of many engineered systems, ethically…

Artificial Intelligence · Computer Science 2024-09-19 Rosemarie Santa Gonzalez , Ryan Piansky , Sue M Bae , Justin Biddle , Daniel Molzahn

Unmanned Aerial Vehicles (UAVs) are emerging as very important tools in search and rescue (SAR) missions at sea, enabling swift and efficient deployment for locating individuals or vessels in distress. The successful execution of these…

Robotics · Computer Science 2024-10-10 Martin Messmer , Andreas Zell

Due to the progress in artificial intelligence, it is important to understand how capable artificial agents should be used when interacting with humans, since high level authority and responsibility often remain with the human agent.…

Human-Computer Interaction · Computer Science 2025-12-02 Jonas D. Rockbach , Sven Fuchs , Maren Bennewitz

This paper aims to present the different aspects and characteristics of strategic and operational information and propose a categorization pattern allowing to consider an information as strategic or operational. This categorization is to be…

Computers and Society · Computer Science 2015-02-09 Omar Abahmane , Mohamed Binkkour

The integration of Artificial Intelligence (AI) necessitates determining whether systems function as tools or collaborative teammates. In this study, by synthesizing Human-AI Interaction (HAI) literature, we analyze this distinction across…

Human-Computer Interaction · Computer Science 2026-02-19 Most. Sharmin Sultana Samu , Nafisa Khan , Kazi Toufique Elahi , Tasnuva Binte Rahman , Md. Rakibul Islam , Farig Sadeque

Since Artificial Intelligence (AI) software uses techniques like deep lookahead search and stochastic optimization of huge neural networks to fit mammoth datasets, it often results in complex behavior that is difficult for people to…

Artificial Intelligence · Computer Science 2018-10-16 Daniel S. Weld , Gagan Bansal

Deep reinforcement learning enables algorithms to learn complex behavior, deal with continuous action spaces and find good strategies in environments with high dimensional state spaces. With deep reinforcement learning being an active area…

Machine Learning · Computer Science 2018-10-17 Winfried Lötzsch

Verifying software correctness has always been an important and complicated task. Recently, formal proofs of critical properties of algorithms and even implementations are becoming practical. Currently, the most powerful automated proof…

Logic in Computer Science · Computer Science 2019-04-10 Michael Raskin , Christoph Welzel

With the recent advances in machine learning, creating agents that behave realistically in simulated air combat has become a growing field of interest. This survey explores the application of machine learning techniques for modeling air…

Machine Learning · Computer Science 2025-10-08 Patrick Ribu Gorton , Andreas Strand , Karsten Brathen
‹ Prev 1 8 9 10 Next ›