Cover Image

ASP-FZN: A Translation-based Constraint Answer Set Solver

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Eiter, Thomas, Geibinger, Tobias, Kaminski, Tobias, Musliu, Nysret, Oetsch, Johannes
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
by: Eiter, Thomas, et al.
Published: (2022)

Investigating Constraint Programming and Hybrid Methods for Real World Industrial Test Laboratory Scheduling
by: Geibinger, Tobias, et al.
Published: (2019)

Answer-Set-Programming-based Abstractions for Reinforcement Learning
by: Bankosegger, Rafael, et al.
Published: (2026)

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

Visual Graph Question Answering with ASP and LLMs for Language Parsing
by: Bauer, Jakob Johannes, et al.
Published: (2025)

Declarative Knowledge Distillation from Large Language Models for Visual Question Answering Datasets
by: Eiter, Thomas, et al.
Published: (2024)

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning
by: Beiser, Alexander, et al.
Published: (2025)

Neural Decision-Propagation for Answer Set Programming
by: Eiter, Thomas, et al.
Published: (2026)

A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving
by: Schrader, Timo Pierre, et al.
Published: (2025)

Intermediate Languages Matter: Formal Choice Drives Neurosymbolic LLM Reasoning
by: Beiser, Alexander, et al.
Published: (2025)

Refining Gelfond Rationality Principle: Towards More Comprehensive Foundational Principles for Answer Set Semantics
by: Shen, Yi-Dong, et al.
Published: (2025)

Integrating Column Generation and Large Neighborhood Search for Bus Driver Scheduling with Complex Break Constraints
by: Kletzander, Lucas, et al.
Published: (2025)

Key Principles in Cross-Domain Hyper-Heuristic Performance
by: Sobotka, Václav, et al.
Published: (2025)

An Enhanced Large Neighborhood Search Approach for the Capacitated Facility Location Problem with Incompatible Customers
by: Gjergji, Ida, et al.
Published: (2026)

Theoretical Lower Bounds for the Oven Scheduling Problem
by: Da Ros, Francesca, et al.
Published: (2024)

Solving Parallel Machine Scheduling With Precedences and Cumulative Resource Constraints With Calendars
by: Einspieler, Christoph, et al.
Published: (2025)

Cplus2ASP: Computing Action Language C+ in Answer Set Programming
by: Babb, Joseph, et al.
Published: (2026)

xDNN(ASP): Explanation Generation System for Deep Neural Networks powered by Answer Set Programming
by: Trieu, Ly Ly, et al.
Published: (2026)

Why this and not that? A Logic-based Framework for Contrastive Explanations
by: Geibinger, Tobias, et al.
Published: (2025)

Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
by: Amendola, Giovanni, et al.
Published: (2024)

Towards Constraint Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2025)

Direct Encoding of Declare Constraints in ASP
by: Chiariello, Francesco, et al.
Published: (2024)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
by: Fandinno, Jorge, et al.
Published: (2026)

Counting Answer Sets of Disjunctive Answer Set Programs
by: Kabir, Mohimenul, et al.
Published: (2025)

Dominating Set Reconfiguration with Answer Set Programming
by: Kato, Masato, et al.
Published: (2024)

Epistemic Logic Programs: Non-Ground and Counting Complexity
by: Eiter, Thomas, et al.
Published: (2025)

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

Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement
by: Kuhlmann, Isabelle, et al.
Published: (2023)

Strong Equivalence in Answer Set Programming with Constraints
by: Cabalar, Pedro, et al.
Published: (2025)

Counterfactual Generation with Answer Set Programming
by: Dasgupta, Sopam, et al.
Published: (2024)

Defeasible Conditionals using Answer Set Programming
by: Dennison, Racquel, et al.
Published: (2026)

Hyperparameter Optimization of Constraint Programming Solvers
by: Haddad, Hedieh, et al.
Published: (2026)

The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital
by: Nabeshima, Hidetomo, et al.
Published: (2025)

Visual Perceptual to Conceptual First-Order Rule Learning Networks
by: Gao, Kun, et al.
Published: (2026)

Towards LLM-based Autograding for Short Textual Answers
by: Schneider, Johannes, et al.
Published: (2023)

Streamliners for Answer Set Programming
by: Voboril, Florentina, et al.
Published: (2026)

Reasoning about Study Regulations in Answer Set Programming
by: Hahn, Susana, et al.
Published: (2024)

Conformalized Answer Set Prediction for Knowledge Graph Embedding
by: Zhu, Yuqicheng, et al.
Published: (2024)

An ASP-based Solution to the Medical Appointment Scheduling Problem
by: Vozna, Alina, et al.
Published: (2026)

EZASP -- Facilitating the usage of ASP
by: Martins, Rafael, et al.
Published: (2026)