Buchumschlag

Answer-Set-Programming-based Abstractions for Reinforcement Learning

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bankosegger, Rafael, Eiter, Thomas, Oetsch, Johannes
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Counting Answer Sets of Disjunctive Answer Set Programs
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

Defeasible Conditionals using Answer Set Programming
von: Dennison, Racquel, et al.
Veröffentlicht: (2026)

Epistemic Logic Programs: Non-Ground and Counting Complexity
von: Eiter, Thomas, et al.
Veröffentlicht: (2025)

Streamliners for Answer Set Programming
von: Voboril, Florentina, et al.
Veröffentlicht: (2026)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
von: Azzolini, Damiano, et al.
Veröffentlicht: (2024)

Symbolic Parameter Learning in Probabilistic Answer Set Programming
von: Azzolini, Damiano, et al.
Veröffentlicht: (2024)

Hybrid Answer Set Programming: Foundations and Applications
von: Rühling, Nicolas
Veröffentlicht: (2025)

Towards Constraint Temporal Answer Set Programming
von: Cabalar, Pedro, et al.
Veröffentlicht: (2025)

Answer Set Programming for Flexible Payroll Management
von: Callewaert, Benjamin, et al.
Veröffentlicht: (2024)

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
von: Hecher, Markus, et al.
Veröffentlicht: (2024)

A framework for Conditional Reasoning in Answer Set Programming
von: Alviano, Mario, et al.
Veröffentlicht: (2025)

Fast Inference for Probabilistic Answer Set Programs via the Residual Program
von: Azzolini, Damiano, et al.
Veröffentlicht: (2024)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
von: Cabalar, Pedro, et al.
Veröffentlicht: (2026)

Formally Explaining Decision Tree Models with Answer Set Programming
von: Takemura, Akihiro, et al.
Veröffentlicht: (2026)

Long-term Power Grid Planning via Answer Set Programming
von: Ielo, Antonio, et al.
Veröffentlicht: (2026)

Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)
von: Fandinno, Jorge, et al.
Veröffentlicht: (2025)

Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
von: Cardellini, Matteo, et al.
Veröffentlicht: (2024)

Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
von: Bertagnon, Alessandro, et al.
Veröffentlicht: (2025)

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
von: Fandinno, Jorge, et al.
Veröffentlicht: (2024)

ASP-FZN: A Translation-based Constraint Answer Set Solver
von: Eiter, Thomas, et al.
Veröffentlicht: (2025)

Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
von: Rizwan, Momina, et al.
Veröffentlicht: (2020)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
von: Gupta, Gopal, et al.
Veröffentlicht: (2025)

Human Conditional Reasoning in Answer Set Programming
von: Sakama, Chiaki
Veröffentlicht: (2023)

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
von: Eiter, Thomas, et al.
Veröffentlicht: (2022)

Question Answering with LLMs and Learning from Answer Sets
von: Borroto, Manuel, et al.
Veröffentlicht: (2025)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
von: Hansen, Zachary
Veröffentlicht: (2025)

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

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
von: Kaminski, Roland, et al.
Veröffentlicht: (2024)

SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic
von: Hansen, Zachary, et al.
Veröffentlicht: (2025)

Implementing Metric Temporal Answer Set Programming
von: Becker, Arvid, et al.
Veröffentlicht: (2026)

Strong Equivalence in Answer Set Programming with Constraints
von: Cabalar, Pedro, et al.
Veröffentlicht: (2025)

Compiling Metric Temporal Answer Set Programming
von: Becker, Arvid, et al.
Veröffentlicht: (2025)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
von: Elboher, Yizhak Yisrael, et al.
Veröffentlicht: (2025)

Inference of Abstraction for a Unified Account of Reasoning and Learning
von: Kido, Hiroyuki
Veröffentlicht: (2024)

Enhancing Analogical Reasoning in the Abstraction and Reasoning Corpus via Model-Based RL
von: Lee, Jihwan, et al.
Veröffentlicht: (2024)

A Foundational Theory of Quantitative Abstraction: Adjunctions, Duality, and Logic for Probabilistic Systems
von: Anwer, Nivar, et al.
Veröffentlicht: (2025)

Declarative Knowledge Distillation from Large Language Models for Visual Question Answering Datasets
von: Eiter, Thomas, et al.
Veröffentlicht: (2024)

Twitch: Learning Abstractions for Equational Theorem Proving
von: Axelrod, Guy, et al.
Veröffentlicht: (2026)

Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming
von: Jacobs, Bart, et al.
Veröffentlicht: (2023)