Buchumschlag

LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kolyakov, Kevin, Marsso, Lina, Feng, Nick, Quan, Junwei, Chechik, Marsha
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Computers and Society
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects
von: Feng, Nick, et al.
Veröffentlicht: (2024)

Analyzing and Debugging Normative Requirements via Satisfiability Checking
von: Feng, Nick, et al.
Veröffentlicht: (2024)

Normative Requirements Operationalization with Large Language Models
von: Feng, Nick, et al.
Veröffentlicht: (2024)

Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance
von: Shen, Huakun, et al.
Veröffentlicht: (2024)

Operationalizing Human Values in the Requirements Engineering Process of Ethics-Aware Autonomous Systems
von: Júnior, Everaldo Silva, et al.
Veröffentlicht: (2026)

Social, Legal, Ethical, Empathetic and Cultural Norm Operationalisation for AI Agents
von: Calinescu, Radu, et al.
Veröffentlicht: (2026)

Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins
von: Chechik, Marsha, et al.
Veröffentlicht: (2025)

Normativity and Productivism: Ableist Intelligence? A Degrowth Analysis of AI Sign Language Translation Tools for Deaf People
von: Seron-Abouelfadil, Nina, et al.
Veröffentlicht: (2026)

Solving Set Constraints with Comprehensions and Bounded Quantifiers
von: Mohamed, Mudathir, et al.
Veröffentlicht: (2025)

Pluralism in AI Governance: Toward Sociotechnical Alignment and Normative Coherence
von: Nkongolo, Mike Wa
Veröffentlicht: (2026)

Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains
von: Queloz, Matthieu
Veröffentlicht: (2025)

The Illusory Normativity of Rights-Based AI Regulation
von: Mei, Yiyang, et al.
Veröffentlicht: (2025)

Breaking Up with Normatively Monolithic Agency with GRACE: A Reason-Based Neuro-Symbolic Architecture for Safe and Ethical AI Alignment
von: Jahn, Felix, et al.
Veröffentlicht: (2026)

Epistemic Control and the Normativity of Machine Learning-Based Science
von: Ratti, Emanuele
Veröffentlicht: (2026)

Dynamic Normativity: Necessary and Sufficient Conditions for Value Alignment
von: Corrêa, Nicholas Kluge
Veröffentlicht: (2024)

How Do AI Companies "Fine-Tune" Policy? Examining Regulatory Capture in AI Governance
von: Wei, Kevin, et al.
Veröffentlicht: (2024)

Normative Evaluation of Large Language Models with Everyday Moral Dilemmas
von: Sachdeva, Pratik S., et al.
Veröffentlicht: (2025)

Technological Excellence Requires Human and Social Context
von: Palmås, Karl, et al.
Veröffentlicht: (2026)

Artificial Intelligence Can Emulate Human Normative Judgments on Emotional Visual Scenes
von: Romeo, Zaira, et al.
Veröffentlicht: (2025)

Normative Moral Pluralism for AI: A Framework for Deliberation in Complex Moral Contexts
von: Yaacov, David-Doron
Veröffentlicht: (2025)

Prompt Engineer: Analyzing Hard and Soft Skill Requirements in the AI Job Market
von: Vu, An, et al.
Veröffentlicht: (2025)

Normative active inference: A numerical proof of principle for a computational and economic legal analytic approach to AI governance
von: Constant, Axel, et al.
Veröffentlicht: (2025)

Bringing Social Computing to Secondary School Classrooms
von: Bolante, Kianna, et al.
Veröffentlicht: (2024)

Analyzing Security and Privacy Challenges in Generative AI Usage Guidelines for Higher Education
von: Ng, Bei Yi, et al.
Veröffentlicht: (2025)

A Survey for What Developers Require in AI-powered Tools that Aid in Component Selection in CBSD
von: Ansari, Mahdi Jaberzadeh, et al.
Veröffentlicht: (2025)

DeliberationBench: A Normative Benchmark for the Influence of Large Language Models on Users' Views
von: Hewitt, Luke, et al.
Veröffentlicht: (2026)

Shortchanged: Uncovering and Analyzing Intimate Partner Financial Abuse in Consumer Complaints
von: Bhattacharya, Arkaprabha, et al.
Veröffentlicht: (2024)

Catalog of General Ethical Requirements for AI Certification
von: Corrêa, Nicholas Kluge, et al.
Veröffentlicht: (2024)

Why do we Trust Chatbots? From Normative Principles to Behavioral Drivers
von: Gulati, Aditya, et al.
Veröffentlicht: (2026)

Semantic Alignment Between Normative Theories of Ethics and the European Union Artificial Intelligence Act: A Transformer-Based Semantic Textual Similarity Analysis
von: Albayrakoglu, Mehmet Murat, et al.
Veröffentlicht: (2026)

Explainability as a Requirement for Hardware: Introducing Explainable Hardware (XHW)
von: Speith, Timo, et al.
Veröffentlicht: (2023)

Requirements for a Career in Information Security: A Comprehensive Review
von: Nkongolo, Mike, et al.
Veröffentlicht: (2024)

Pedagogical Safety in Educational Reinforcement Learning: Formalizing and Detecting Reward Hacking in AI Tutoring Systems
von: Olukola, Oluseyi, et al.
Veröffentlicht: (2026)

Mining Legal Arguments to Study Judicial Formalism
von: Koref, Tomáš, et al.
Veröffentlicht: (2025)

(A)I Am Not a Lawyer, But...: Engaging Legal Experts towards Responsible LLM Policies for Legal Advice
von: Cheong, Inyoung, et al.
Veröffentlicht: (2024)

A Graph Theoretic Approach to Analyze the Developing Metaverse
von: Dash, Anirudh
Veröffentlicht: (2024)

New Tools are Needed for Tracking Adherence to AI Model Behavioral Use Clauses
von: McDuff, Daniel, et al.
Veröffentlicht: (2025)

AI Meets Natural Hazard Risk: A Nationwide Vulnerability Assessment of Data Centers to Natural Hazards and Power Outages
von: Esparza, Miguel, et al.
Veröffentlicht: (2024)

Analyzing the Performance of ChatGPT in Cardiology and Vascular Pathologies
von: Hariri, Walid
Veröffentlicht: (2023)

Analyzing Computing Undergraduate Majors from Job Market Perspective
von: Alabdulkarim, Yazeed, et al.
Veröffentlicht: (2024)