Buchumschlag

ASP-driven User-interaction with Clinguin

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Beiser, Alexander, Hahn, Susana, Schaub, Torsten
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Human-Computer Interaction Logic in Computer Science Software Engineering D.1.6
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Smart Expansion Techniques for ASP-based Interactive Configuration
von: Balážová, Lucia, et al.
Veröffentlicht: (2025)

Viverra: Text-to-Code with Guarantees
von: Wu, Haoze, et al.
Veröffentlicht: (2026)

Implementing the First-Order Logic of Here and There
von: Otten, Jens, et al.
Veröffentlicht: (2026)

Usable-by-Construction: a formal framework
von: Reeves, Steve
Veröffentlicht: (2024)

An XAI View on Explainable ASP: Methods, Systems, and Perspectives
von: Eiter, Thomas, et al.
Veröffentlicht: (2026)

Visual Graph Question Answering with ASP and LLMs for Language Parsing
von: Bauer, Jakob Johannes, et al.
Veröffentlicht: (2025)

Towards Industrial-scale Product Configuration
von: Baumeister, Joachim, et al.
Veröffentlicht: (2025)

Architecture for Simulating Behavior Mode Changes in Norm-Aware Autonomous Agents
von: Glaze, Sean, et al.
Veröffentlicht: (2025)

Comparative Analysis of Large Language Models for the Machine-Assisted Resolution of User Intentions
von: Flerlage, Justus, et al.
Veröffentlicht: (2025)

"My productivity is boosted, but ..." Demystifying Users' Perception on AI Coding Assistants
von: Lyu, Yunbo, et al.
Veröffentlicht: (2025)

LikeThis! Empowering App Users to Submit UI Improvement Suggestions Instead of Complaints
von: Wei, Jialiang, et al.
Veröffentlicht: (2026)

plingo: A system for probabilistic reasoning in clingo based on lpmln
von: Hahn, Susana, et al.
Veröffentlicht: (2022)

Reading Between the Lines: Scalable User Feedback via Implicit Sentiment in Developer Prompts
von: Nam, Daye, et al.
Veröffentlicht: (2025)

FeedAIde: Guiding App Users to Submit Rich Feedback Reports by Asking Context-Aware Follow-Up Questions
von: Pourasad, Ali Ebrahimi, et al.
Veröffentlicht: (2026)

How Coding Agents Fail Their Users: A Large-Scale Analysis of Developer-Agent Misalignment in 20,574 Real-World Sessions
von: Tang, Ningzhi, et al.
Veröffentlicht: (2026)

(R)evolution of Programming: Vibe Coding as a Post-Coding Paradigm
von: Krings, Kevin, et al.
Veröffentlicht: (2025)

Mise en Place for Agentic Coding: Deliberate Preparation as Context Engineering Methodology
von: Zigler, Andrew
Veröffentlicht: (2026)

Can Developers Prompt? A Controlled Experiment for Code Documentation Generation
von: Kruse, Hans-Alexander, et al.
Veröffentlicht: (2024)

How Do Hackathons Foster Creativity? Towards AI Collaborative Evaluation of Creativity at Scale
von: Falk, Jeanette, et al.
Veröffentlicht: (2025)

Investigating Multimodal Large Language Models to Support Usability Evaluation
von: Lubos, Sebastian, et al.
Veröffentlicht: (2025)

A Phenomenological Approach to Analyzing User Queries in IT Systems Using Heidegger's Fundamental Ontology
von: Vishnevskiy, Maksim
Veröffentlicht: (2025)

From Metrics to Meaning: Time to Rethink Evaluation in Human-AI Collaborative Design
von: Walton, Sean P., et al.
Veröffentlicht: (2024)

Applying SHAPR in AI-Assisted Research Software Development: Lessons Learnt from Building a Share Trading System
von: Chan, Ka Ching
Veröffentlicht: (2026)

Understanding and supporting how developers prompt for LLM-powered code editing in practice
von: Nam, Daye, et al.
Veröffentlicht: (2025)

Human-Machine Collaboration and Ethical Considerations in Adaptive Cyber-Physical Systems
von: Pfister, Zoe
Veröffentlicht: (2025)

A Human Centric Requirements Engineering Framework for Assessing Github Copilot Output
von: Heydari, Soroush
Veröffentlicht: (2025)

HM-Req: A Framework for Embedding Values within CPS Human Monitoring Requirements
von: Pfister, Zoe, et al.
Veröffentlicht: (2026)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
von: Fandinno, Jorge, et al.
Veröffentlicht: (2026)

Are Users More Willing to Use Formally Verified Password Managers?
von: Carreira, Carolina, et al.
Veröffentlicht: (2025)

HAIF: A Human-AI Integration Framework for Hybrid Team Operations
von: Bara, Marc
Veröffentlicht: (2026)

Beyond the Prompt: An Empirical Study of Cursor Rules
von: Jiang, Shaokang, et al.
Veröffentlicht: (2025)

Accodemy: AI Powered Code Learning Platform to Assist Novice Programmers in Overcoming the Fear of Coding
von: Aamina, M. A. F., et al.
Veröffentlicht: (2025)

VisDocSketcher: Towards Scalable Visual Documentation with Agentic Systems
von: Gomes, Luís F., et al.
Veröffentlicht: (2025)

ChatGPT on the Road: Leveraging Large Language Model-Powered In-vehicle Conversational Agents for Safer and More Enjoyable Driving Experience
von: Bond, Yeana Lee, et al.
Veröffentlicht: (2025)

Pre-Filtering Code Suggestions using Developer Behavioral Telemetry to Optimize LLM-Assisted Programming
von: Awad, Mohammad Nour Al, et al.
Veröffentlicht: (2025)

Vibe Coding as a Reconfiguration of Intent Mediation in Software Development: Definition, Implications, and Research Agenda
von: Meske, Christian, et al.
Veröffentlicht: (2025)

Catching UX Flaws in Code: Leveraging LLMs to Identify Usability Flaws at the Development Stage
von: Platt, Nolan, et al.
Veröffentlicht: (2025)

Towards A Cultural Intelligence and Values Inferences Quality Benchmark for Community Values and Common Knowledge
von: Johnson, Brittany, et al.
Veröffentlicht: (2025)

EyeMulator: Improving Code Language Models by Mimicking Human Visual Attention
von: Zhang, Yifan, et al.
Veröffentlicht: (2025)

Context Branching for LLM Conversations: A Version Control Approach to Exploratory Programming
von: Nanjundappa, Bhargav Chickmagalur, et al.
Veröffentlicht: (2025)