Image de couverture de livre

Learning Brave Assumption-Based Argumentation Frameworks via ASP

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	De Angelis, Emanuele, Proietti, Maurizio, Toni, Francesca
Format:	Preprint
Publié:	2024
Sujets:	Artificial Intelligence Machine Learning Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Constrained Assumption-Based Argumentation Frameworks
par: De Angelis, Emanuele, et autres
Publié: (2026)

Object-Centric Neuro-Argumentative Learning
par: Jacob, Abdul Rahman, et autres
Publié: (2025)

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
par: Dasgupta, Sopam, et autres
Publié: (2024)

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP
par: Dasgupta, Sopam, et autres
Publié: (2024)

An ASP-Based Framework for MUSes
par: Kabir, Mohimenul, et autres
Publié: (2025)

Comparative Expressivity for Structured Argumentation Frameworks with Uncertain Rules and Premises
par: Proietti, Carlo, et autres
Publié: (2025)

Strength Change Explanations in Quantitative Argumentation
par: Kampik, Timotheus, et autres
Publié: (2026)

Dialectical Reconciliation via Structured Argumentative Dialogues
par: Vasileiou, Stylianos Loukas, et autres
Publié: (2023)

Compact Rule-Based Classifier Learning via Gradient Descent
par: Fumanal-Idocin, Javier, et autres
Publié: (2025)

Catamorphic Abstractions for Constrained Horn Clause Satisfiability
par: De Angelis, Emanuele, et autres
Publié: (2024)

SATformer: Transformer-Based UNSAT Core Learning
par: Shi, Zhengyuan, et autres
Publié: (2022)

Robust Shielding for Safe Reinforcement Learning
par: Court, Edwin Hamel-De le, et autres
Publié: (2026)

Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
par: Kasaura, Kazumi, et autres
Publié: (2025)

Direct Encoding of Declare Constraints in ASP
par: Chiariello, Francesco, et autres
Publié: (2024)

Towards Mass Spectrum Analysis with ASP
par: Küchenmeister, Nils, et autres
Publié: (2025)

Improving ASP-based ORS Schedules through Machine Learning Predictions
par: Bruno, Pierangela, et autres
Publié: (2025)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
par: Chevallier, Mark, et autres
Publié: (2025)

Diminution: On Reducing the Size of Grounding ASP Programs
par: Yang, HuanYu, et autres
Publié: (2025)

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
par: Zhang, Xiyue, et autres
Publié: (2024)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
par: Fandinno, Jorge, et autres
Publié: (2026)

An ASP-based Solution to the Medical Appointment Scheduling Problem
par: Vozna, Alina, et autres
Publié: (2026)

On Trustworthy Rule-Based Models and Explanations
par: Siala, Mohamed, et autres
Publié: (2025)

Splitting Argumentation Frameworks with Collective Attacks and Supports
par: Berthold, Matti, et autres
Publié: (2026)

On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
par: Andrews, Uri, et autres
Publié: (2025)

Magnushammer: A Transformer-Based Approach to Premise Selection
par: Mikuła, Maciej, et autres
Publié: (2023)

Learning to Solve and Optimize by Evolving Code
par: Semmelrock, Veronika, et autres
Publié: (2026)

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
par: DeLong, Lauren Nicole, et autres
Publié: (2023)

Generating $SROI^-$ Ontologies via Knowledge Graph Query Embedding Learning
par: He, Yunjie, et autres
Publié: (2024)

Machine Learning for Quantifier Selection in cvc5
par: Jakubův, Jan, et autres
Publié: (2024)

Inductive Generalization in Reinforcement Learning from Specifications
par: Subramanian, Vignesh, et autres
Publié: (2024)

Neurosymbolic Decision Trees
par: Möller, Matthias, et autres
Publié: (2025)

Rule-Based Error Detection and Correction to Operationalize Movement Trajectory Classification
par: Xi, Bowen, et autres
Publié: (2023)

Geospatial Trajectory Generation via Efficient Abduction: Deployment for Independent Testing
par: Bavikadi, Divyagna, et autres
Publié: (2024)

Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus
par: Morishita, Terufumi, et autres
Publié: (2024)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
par: Sälzer, Marco, et autres
Publié: (2025)

Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
par: Gilda, Sankalp, et autres
Publié: (2026)

Learning big logical rules by joining small rules
par: Hocquette, Céline, et autres
Publié: (2024)

Learning Explainable and Better Performing Representations of POMDP Strategies
par: Bork, Alexander, et autres
Publié: (2024)

Inference of Abstraction for a Unified Account of Reasoning and Learning
par: Kido, Hiroyuki
Publié: (2024)

Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
par: Brorholt, Asger Horn, et autres
Publié: (2024)