Dialectical Reconciliation via Structured Argumentative Dialogues
Fuente:
arXiv
Saved in:
| Main Authors: | Vasileiou, Stylianos Loukas, Kumar, Ashwin, Yeoh, William, Son, Tran Cao, Toni, Francesca |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Approximating Human Models During Argumentation-based Dialogues
by: Tang, Yinxu, et al.
Published: (2024)
by: Tang, Yinxu, et al.
Published: (2024)
Does Your AI Agent Get You? A Personalizable Framework for Approximating Human Models from Argumentation-based Dialogue Traces
by: Tang, Yinxu, et al.
Published: (2025)
by: Tang, Yinxu, et al.
Published: (2025)
Dialogue-based Explanations for Logical Reasoning using Structured Argumentation
by: Ho, Loan, et al.
Published: (2025)
by: Ho, Loan, et al.
Published: (2025)
A Methodology for Incompleteness-Tolerant and Modular Gradual Semantics for Argumentative Statement Graphs
by: Rago, Antonio, et al.
Published: (2024)
by: Rago, Antonio, et al.
Published: (2024)
LeanTutor: Towards a Verified AI Mathematical Proof Tutor
by: Patel, Manooshree, et al.
Published: (2025)
by: Patel, Manooshree, et al.
Published: (2025)
Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization
by: Yanahama, Banri, et al.
Published: (2026)
by: Yanahama, Banri, et al.
Published: (2026)
An XAI View on Explainable ASP: Methods, Systems, and Perspectives
by: Eiter, Thomas, et al.
Published: (2026)
by: Eiter, Thomas, et al.
Published: (2026)
Argumentative Human-AI Decision-Making: Toward AI Agents That Reason With Us, Not For Us
by: Vasileiou, Stylianos Loukas, et al.
Published: (2026)
by: Vasileiou, Stylianos Loukas, et al.
Published: (2026)
Viverra: Text-to-Code with Guarantees
by: Wu, Haoze, et al.
Published: (2026)
by: Wu, Haoze, et al.
Published: (2026)
Proof Assistants for Teaching: a Survey
by: Minh, Frédéric Tran, et al.
Published: (2025)
by: Minh, Frédéric Tran, et al.
Published: (2025)
Learning Brave Assumption-Based Argumentation Frameworks via ASP
by: De Angelis, Emanuele, et al.
Published: (2024)
by: De Angelis, Emanuele, et al.
Published: (2024)
Constrained Assumption-Based Argumentation Frameworks
by: De Angelis, Emanuele, et al.
Published: (2026)
by: De Angelis, Emanuele, et al.
Published: (2026)
Strength Change Explanations in Quantitative Argumentation
by: Kampik, Timotheus, et al.
Published: (2026)
by: Kampik, Timotheus, et al.
Published: (2026)
A Logical Formalisation of a Hypothesis in Weighted Abduction: towards User-Feedback Dialogues
by: Motoura, Shota, et al.
Published: (2025)
by: Motoura, Shota, et al.
Published: (2025)
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout
by: Li, Bohan, et al.
Published: (2024)
by: Li, Bohan, et al.
Published: (2024)
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
by: Huang, Ruanqianqian, et al.
Published: (2025)
by: Huang, Ruanqianqian, et al.
Published: (2025)
Investigating the Impact and Student Perceptions of Guided Parsons Problems for Learning Logic with Subgoals
by: Tithi, Sutapa Dey, et al.
Published: (2025)
by: Tithi, Sutapa Dey, et al.
Published: (2025)
TRACE-CS: A Hybrid Logic-LLM System for Explainable Course Scheduling
by: Vasileiou, Stylianos Loukas, et al.
Published: (2024)
by: Vasileiou, Stylianos Loukas, et al.
Published: (2024)
Human-Aware Belief Revision: A Cognitively Inspired Framework for Explanation-Guided Revision of Human Models
by: Vasileiou, Stylianos Loukas, et al.
Published: (2024)
by: Vasileiou, Stylianos Loukas, et al.
Published: (2024)
ASP-driven User-interaction with Clinguin
by: Beiser, Alexander, et al.
Published: (2025)
by: Beiser, Alexander, et al.
Published: (2025)
On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios
by: Vasileiou, Stylianos Loukas, et al.
Published: (2024)
by: Vasileiou, Stylianos Loukas, et al.
Published: (2024)
Predicting Customer Goals in Financial Institution Services: A Data-Driven LSTM Approach
by: Estornell, Andrew, et al.
Published: (2024)
by: Estornell, Andrew, et al.
Published: (2024)
On The Reasonable Effectiveness of Relational Diagrams: Explaining Relational Query Patterns and the Pattern Expressiveness of Relational Languages
by: Gatterbauer, Wolfgang, et al.
Published: (2024)
by: Gatterbauer, Wolfgang, et al.
Published: (2024)
From Divergence to Consensus: Evaluating the Role of Large Language Models in Facilitating Agreement through Adaptive Strategies
by: Triantafyllopoulos, Loukas, et al.
Published: (2025)
by: Triantafyllopoulos, Loukas, et al.
Published: (2025)
User Review Writing via Interview with Dialogue Systems
by: Tanaka, Yoshiki, et al.
Published: (2026)
by: Tanaka, Yoshiki, et al.
Published: (2026)
An Axiomatic Study of the Evaluation of Enthymeme Decoding in Weighted Structured Argumentation
by: Ben-Naim, Jonathan, et al.
Published: (2024)
by: Ben-Naim, Jonathan, et al.
Published: (2024)
Usable-by-Construction: a formal framework
by: Reeves, Steve
Published: (2024)
by: Reeves, Steve
Published: (2024)
Transparent AI: Developing an Explainable Interface for Predicting Postoperative Complications
by: Ren, Yuanfang, et al.
Published: (2024)
by: Ren, Yuanfang, et al.
Published: (2024)
Visualizing Extensions of Argumentation Frameworks as Layered Graphs
by: Nöllenburg, Martin, et al.
Published: (2024)
by: Nöllenburg, Martin, et al.
Published: (2024)
Deontic Argumentation
by: Governatori, Guido, et al.
Published: (2025)
by: Governatori, Guido, et al.
Published: (2025)
On the Utility of Accounting for Human Beliefs about AI Intention in Human-AI Collaboration
by: Yu, Guanghui, et al.
Published: (2024)
by: Yu, Guanghui, et al.
Published: (2024)
Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
by: Joyce, Johnny
Published: (2025)
by: Joyce, Johnny
Published: (2025)
Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report
by: Cramer, Marcos, et al.
Published: (2026)
by: Cramer, Marcos, et al.
Published: (2026)
Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
by: Kaminski, Roland, et al.
Published: (2024)
by: Kaminski, Roland, et al.
Published: (2024)
A Hybrid Intelligence Method for Argument Mining
by: van der Meer, Michiel, et al.
Published: (2024)
by: van der Meer, Michiel, et al.
Published: (2024)
Reasoning in Neurosymbolic AI
by: Tran, Son, et al.
Published: (2025)
by: Tran, Son, et al.
Published: (2025)
Deflating Deflationism: A Critical Perspective on Debunking Arguments Against LLM Mentality
by: Grzankowski, Alex, et al.
Published: (2025)
by: Grzankowski, Alex, et al.
Published: (2025)
ArguAgent: AI-Supported Real-Time Grouping for Productive Argumentation in STEM Classrooms
by: Kleiman, Jennifer, et al.
Published: (2026)
by: Kleiman, Jennifer, et al.
Published: (2026)
Explanation through Reward Model Reconciliation using POMDP Tree Search
by: Kraske, Benjamin D., et al.
Published: (2023)
by: Kraske, Benjamin D., et al.
Published: (2023)
Justified Evidence Collection for Argument-based AI Fairness Assurance
by: Sabuncuoglu, Alpay, et al.
Published: (2025)
by: Sabuncuoglu, Alpay, et al.
Published: (2025)
Similar Items
-
Approximating Human Models During Argumentation-based Dialogues
by: Tang, Yinxu, et al.
Published: (2024) -
Does Your AI Agent Get You? A Personalizable Framework for Approximating Human Models from Argumentation-based Dialogue Traces
by: Tang, Yinxu, et al.
Published: (2025) -
Dialogue-based Explanations for Logical Reasoning using Structured Argumentation
by: Ho, Loan, et al.
Published: (2025) -
A Methodology for Incompleteness-Tolerant and Modular Gradual Semantics for Argumentative Statement Graphs
by: Rago, Antonio, et al.
Published: (2024) -
LeanTutor: Towards a Verified AI Mathematical Proof Tutor
by: Patel, Manooshree, et al.
Published: (2025)