English
Related papers

Related papers: Towards Auditability Requirements Specification Us…

200 papers

Accountability is widely understood as a goal for well governed computer systems, and is a sought-after value in many governance contexts. But how can it be achieved? Recent work on standards for governable artificial intelligence systems…

Computers and Society · Computer Science 2021-08-23 Joshua A. Kroll

We argue that the phenomena of distributed responsibility, induced acceptance, and acceptance through ignorance constitute instances of imperfect delegation when tasks are delegated to computationally-driven systems. Imperfect delegation…

Artificial Intelligence · Computer Science 2021-05-05 Michele Loi , Matthias Spielkamp

Explainability is important for the transparency of autonomous and intelligent systems and for helping to support the development of appropriate levels of trust. There has been considerable work on developing approaches for explaining…

Artificial Intelligence · Computer Science 2025-02-17 Michael Winikoff , John Thangarajah , Sebastian Rodriguez

LLM agents call tools, query databases, delegate tasks, and trigger external side effects. Once an agent system can act in the world, the question is no longer only whether harmful actions can be prevented--it is whether those actions…

Artificial Intelligence · Computer Science 2026-04-08 Yi Nian , Aojie Yuan , Haiyue Zhang , Jiate Li , Yue Zhao

Despite the growing capabilities of autonomous agents powered by large language models (LLMs), their adoption in high-stakes domains remains limited. A key barrier is security: the inherently nondeterministic behavior of LLM agents defies…

Software Engineering · Computer Science 2026-02-12 Adam AlSayyad , Kelvin Yuxiang Huang , Richik Pal

Government transparency, widely recognized as a cornerstone of open government, depends on robust information management practices. Yet effective assessment of information management remains challenging, as existing methods fail to consider…

Computers and Society · Computer Science 2025-05-23 Jos Zuijderwijk , Iris Beerepoot , Thomas Martens , Eva Knies , Tanja van der Lippe , Hajo A. Reijers

This paper presents a taxonomy of explainability in Human-Agent Systems. We consider fundamental questions about the Why, Who, What, When and How of explainability. First, we define explainability, and its relationship to the related terms…

Artificial Intelligence · Computer Science 2019-04-18 Avi Rosenfeld , Ariella Richardson

This article presents a modular, component-based architecture for developing and evaluating AI agents that bridge the gap between natural language interfaces and complex enterprise data warehouses. The system directly addresses core…

Artificial Intelligence · Computer Science 2025-09-30 Nooshin Bahador

The notion that algorithmic systems should be "transparent" and "explainable" is common in the many statements of consensus principles developed by governments, companies, and advocacy organizations. But what exactly do policy and legal…

Machine Learning · Computer Science 2023-09-18 Matthew O'Shaughnessy

Explainable systems expose information about why certain observed effects are happening to the agents interacting with them. We argue that this constitutes a positive flow of information that needs to be specified, verified, and balanced…

Logic in Computer Science · Computer Science 2025-09-24 Bernd Finkbeiner , Hadar Frenkel , Julian Siber

Responsible disclosure limitation is an iterative exercise in risk assessment and mitigation. From time to time, as disclosure risks grow and evolve and as data users' needs change, agencies must consider redesigning the disclosure…

Transparency regarding the processing of personal data in online services is a necessary precondition for informed decisions on whether or not to share personal data. In this paper, we argue that privacy interfaces shall incorporate the…

Software Engineering · Computer Science 2023-04-18 Elias Grünewald , Johannes M. Halkenhäußer , Nicola Leschke , Johanna Washington , Cristina Paupini , Frank Pallas

Auditability is defined as the capacity of AI systems to be independently assessed for compliance with ethical, legal, and technical standards throughout their lifecycle. The chapter explores how auditability is being formalized through…

Computers and Society · Computer Science 2025-09-16 Himanshu Verma , Kirtan Padh , Eva Thelisson

Many real-world scenarios require the random selection of one or more individuals from a pool of eligible candidates. One example of especial social relevance refers to the legal system, in which the jurors and judges are commonly picked…

This article proposes a fundamental methodological shift in the modelling of policy interventions for sustainability transitions in order to account for complexity (e.g. self-reinforcing mechanism arising from multi-agent interactions) and…

Physics and Society · Physics 2016-03-23 J. -F. Mercure , H. Pollitt , A. M. Bassi , J. E Viñuales , N. R. Edwards

This study discusses the interplay between metrics used to measure the explainability of the AI systems and the proposed EU Artificial Intelligence Act. A standardisation process is ongoing: several entities (e.g. ISO) and scholars are…

Artificial Intelligence · Computer Science 2022-01-20 Francesco Sovrano , Salvatore Sapienza , Monica Palmirani , Fabio Vitali

AI systems are becoming increasingly complex, ubiquitous and autonomous, leading to increasing concerns about their impacts on individuals and society. In response, researchers have begun investigating how to ensure that the methods…

Multiagent Systems · Computer Science 2026-04-09 Stephen Cranefield , Nir Oren

There has been considerable work on reasoning about the strategic ability of agents under imperfect information. However, existing logics such as Probabilistic Strategy Logic are unable to express properties relating to information…

Artificial Intelligence · Computer Science 2025-01-07 Chunyan Mu , Nima Motamed , Natasha Alechina , Brian Logan

We describe and implement a policy language. In our system, agents can distribute data along with usage policies in a decentralized architecture. Our language supports the specification of conditions and obligations, and also the…

Cryptography and Security · Computer Science 2016-11-17 J. G. Cederquist , R. Corin , M. A. C. Dekker , S. Etalle , J. I. den Hartog

Applications of multilevel models usually result in binary classification within groups or hierarchies based on a set of input features. For transparent and ethical applications of such models, sound audit frameworks need to be developed.…

Computers and Society · Computer Science 2022-07-18 Debarati Bhaumik , Diptish Dey , Subhradeep Kayal
‹ Prev 1 2 3 10 Next ›