Image de couverture de livre

Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	El-Kholany, Mohammed M. S., Gebser, Martin, Schekotihin, Konstantin
Format:	Preprint
Publié:	2022
Sujets:	Artificial Intelligence 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

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

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

Streamliners for Answer Set Programming
par: Voboril, Florentina, et autres
Publié: (2026)

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

Proceedings 40th International Conference on Logic Programming
par: Cabalar, Pedro, et autres
Publié: (2025)

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

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

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

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

Regularization in Spider-Style Strategy Discovery and Schedule Construction
par: Bártek, Filip, et autres
Publié: (2024)

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

Finite Groundings for ASP with Functions: A Journey through Consistency
par: Gerlach, Lukas, et autres
Publié: (2024)

Using ASP(Q) to Handle Inconsistent Prioritized Data
par: Bienvenu, Meghyn, et autres
Publié: (2026)

ASP-Bench: From Natural Language to Logic Programs
par: Szeider, Stefan
Publié: (2026)

BLAST: Benchmarking LLMs with ASP-based Structured Testing
par: Santana, Manuel Alejandro Borroto, et autres
Publié: (2026)

An XAI View on Explainable ASP: Methods, Systems, and Perspectives
par: Eiter, Thomas, et autres
Publié: (2026)

Solving Formal Math Problems by Decomposition and Iterative Reflection
par: Zhou, Yichi, et autres
Publié: (2025)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
par: De Angelis, Emanuele, et autres
Publié: (2024)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
par: Qureshi, Haya Majid, et autres
Publié: (2025)

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
par: Zeng, Yankai, et autres
Publié: (2024)

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)

2-ASP(Q) programs with weak constraints: Complexity and efficient implementation
par: Cuteri, Andrea, et autres
Publié: (2026)

Orthologic for SAT Solving
par: de Haldat, Vladislas, et autres
Publié: (2026)

Solving reachability problems on data-aware workflows
par: De Masellis, Riccardo, et autres
Publié: (2019)

Can LLM Aid in Solving Constraints with Inductive Definitions?
par: Feng, Weizhi, et autres
Publié: (2026)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
par: Li, Jinzhao, et autres
Publié: (2025)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
par: Azzolini, Damiano, et autres
Publié: (2024)

Solving Epistemic Logic Programs using Generate-and-Test with Propagation
par: Fandinno, Jorge, et autres
Publié: (2024)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
par: Kaminski, Roland, et autres
Publié: (2024)

Solving Hard Mizar Problems with Instantiation and Strategy Invention
par: Jakubův, Jan, et autres
Publié: (2024)

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
par: Liang, Zhenwen, et autres
Publié: (2025)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
par: Kim, Curie, et autres
Publié: (2026)

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
par: Gonzalez, Salwa Tabet, et autres
Publié: (2024)

Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
par: Van Kieu, Tuyen, et autres
Publié: (2026)

Knowledge and Common Knowledge of Strategies
par: Miranda, Borja Sierra, et autres
Publié: (2025)

An ASP-based approach to Solving General Stochastic Two-Player Games
par: He, Yifan, et autres
Publié: (2026)

Probabilistic Strategy Logic with Degrees of Observability
par: Mu, Chunyan, et autres
Publié: (2024)

ASP-driven User-interaction with Clinguin
par: Beiser, Alexander, et autres
Publié: (2025)

A Theoretical Review on Solving Algebra Problems
par: Yu, Xinguo, et autres
Publié: (2024)