Copertina

Dialogue-based Explanations for Logical Reasoning using Structured Argumentation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ho, Loan, Schlobach, Stefan
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence Databases Human-Computer Interaction Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Dialectical Reconciliation via Structured Argumentative Dialogues
di: Vasileiou, Stylianos Loukas, et al.
Pubblicazione: (2023)

Approximating Human Models During Argumentation-based Dialogues
di: Tang, Yinxu, et al.
Pubblicazione: (2024)

Does Your AI Agent Get You? A Personalizable Framework for Approximating Human Models from Argumentation-based Dialogue Traces
di: Tang, Yinxu, et al.
Pubblicazione: (2025)

On The Reasonable Effectiveness of Relational Diagrams: Explaining Relational Query Patterns and the Pattern Expressiveness of Relational Languages
di: Gatterbauer, Wolfgang, et al.
Pubblicazione: (2024)

LeanTutor: Towards a Verified AI Mathematical Proof Tutor
di: Patel, Manooshree, et al.
Pubblicazione: (2025)

Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization
di: Yanahama, Banri, et al.
Pubblicazione: (2026)

An XAI View on Explainable ASP: Methods, Systems, and Perspectives
di: Eiter, Thomas, et al.
Pubblicazione: (2026)

Queries With Exact Truth Values in Paraconsistent Description Logics
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2020)

Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations
di: Bertossi, Leopoldo
Pubblicazione: (2026)

Semiring Provenance for Lightweight Description Logics
di: Bourgaux, Camille, et al.
Pubblicazione: (2023)

A Logical Formalisation of a Hypothesis in Weighted Abduction: towards User-Feedback Dialogues
di: Motoura, Shota, et al.
Pubblicazione: (2025)

Investigating the Impact and Student Perceptions of Guided Parsons Problems for Learning Logic with Subgoals
di: Tithi, Sutapa Dey, et al.
Pubblicazione: (2025)

Viverra: Text-to-Code with Guarantees
di: Wu, Haoze, et al.
Pubblicazione: (2026)

Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
di: Huang, Ruanqianqian, et al.
Pubblicazione: (2025)

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout
di: Li, Bohan, et al.
Pubblicazione: (2024)

Graphy'our Data: Towards End-to-End Modeling, Exploring and Generating Report from Raw Data
di: Lai, Longbin, et al.
Pubblicazione: (2025)

Text-to-SQL Domain Adaptation via Human-LLM Collaborative Data Annotation
di: Tian, Yuan, et al.
Pubblicazione: (2025)

AffectAI-Capture: A Reproducible Multimodal Protocol for Small-Group Meeting Research
di: Seikavandi, Meisam Jamshidi, et al.
Pubblicazione: (2026)

A Protocol for KG Construction Tasks Involving Users
di: Junior, Ademar Crotti, et al.
Pubblicazione: (2024)

Towards the Human Digital Twin: Definition and Design -- A survey
di: Lauer-Schmaltz, Martin Wolfgang, et al.
Pubblicazione: (2024)

Advancing Spatial Reasoning in Large Language Models: An In-Depth Evaluation and Enhancement Using the StepGame Benchmark
di: Li, Fangjun, et al.
Pubblicazione: (2024)

Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation
di: Arisaka, Ryuta
Pubblicazione: (2024)

Utilizing Description Logics for Global Explanations of Heterogeneous Graph Neural Networks
di: Köhler, Dominik, et al.
Pubblicazione: (2024)

Sufficient Explanations in Databases and their Connections to Database Repairs
di: Bertossi, Leopoldo, et al.
Pubblicazione: (2025)

Text-to-OverpassQL: A Natural Language Interface for Complex Geodata Querying of OpenStreetMap
di: Staniek, Michael, et al.
Pubblicazione: (2023)

Proof Assistants for Teaching: a Survey
di: Minh, Frédéric Tran, et al.
Pubblicazione: (2025)

Are We Asking the Right Questions? On Ambiguity in Natural Language Queries for Tabular Data Analysis
di: Gomm, Daniel, et al.
Pubblicazione: (2025)

Text-to-SQL for Enterprise Data Analytics
di: Chen, Albert, et al.
Pubblicazione: (2025)

eC-Tab2Text: Aspect-Based Text Generation from e-Commerce Product Tables
di: Guanilo, Luis Antonio Gutiérrez, et al.
Pubblicazione: (2025)

BenchPress: A Human-in-the-Loop Annotation System for Rapid Text-to-SQL Benchmark Curation
di: Wenz, Fabian, et al.
Pubblicazione: (2025)

Who is Responsible When AI Fails? Mapping Causes, Entities, and Consequences of AI Privacy and Ethical Incidents
di: Hadan, Hilda, et al.
Pubblicazione: (2025)

Understanding Help-Seeking Behavior of Students Using LLMs vs. Web Search for Writing SQL Queries
di: Kumar, Harsh, et al.
Pubblicazione: (2024)

Prompt4Vis: Prompting Large Language Models with Example Mining and Schema Filtering for Tabular Data Visualization
di: Li, Shuaimin, et al.
Pubblicazione: (2024)

MAGIC: Generating Self-Correction Guideline for In-Context Text-to-SQL
di: Askari, Arian, et al.
Pubblicazione: (2024)

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2025)

Inconsistency Handling in DatalogMTL
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2025)

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)
di: Seifer, Philipp, et al.
Pubblicazione: (2024)

Database Querying under Missing Values Governed by Missingness Mechanisms
di: Bertossi, Leopoldo, et al.
Pubblicazione: (2026)