Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
Fuente:
arXiv
Salvato in:
| Autori principali: | Eiter, Thomas, Geibinger, Tobias, Musliu, Nysret, Oetsch, Johannes, Skocovsky, Peter, Stepanova, Daria |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2022
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
ASP-FZN: A Translation-based Constraint Answer Set Solver
di: Eiter, Thomas, et al.
Pubblicazione: (2025)
di: Eiter, Thomas, et al.
Pubblicazione: (2025)
Investigating Constraint Programming and Hybrid Methods for Real World Industrial Test Laboratory Scheduling
di: Geibinger, Tobias, et al.
Pubblicazione: (2019)
di: Geibinger, Tobias, et al.
Pubblicazione: (2019)
Answer-Set-Programming-based Abstractions for Reinforcement Learning
di: Bankosegger, Rafael, et al.
Pubblicazione: (2026)
di: Bankosegger, Rafael, et al.
Pubblicazione: (2026)
Neural Decision-Propagation for Answer Set Programming
di: Eiter, Thomas, et al.
Pubblicazione: (2026)
di: Eiter, Thomas, et al.
Pubblicazione: (2026)
An XAI View on Explainable ASP: Methods, Systems, and Perspectives
di: Eiter, Thomas, et al.
Pubblicazione: (2026)
di: Eiter, Thomas, et al.
Pubblicazione: (2026)
Declarative Knowledge Distillation from Large Language Models for Visual Question Answering Datasets
di: Eiter, Thomas, et al.
Pubblicazione: (2024)
di: Eiter, Thomas, et al.
Pubblicazione: (2024)
Solving Parallel Machine Scheduling With Precedences and Cumulative Resource Constraints With Calendars
di: Einspieler, Christoph, et al.
Pubblicazione: (2025)
di: Einspieler, Christoph, et al.
Pubblicazione: (2025)
Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning
di: Beiser, Alexander, et al.
Pubblicazione: (2025)
di: Beiser, Alexander, et al.
Pubblicazione: (2025)
Theoretical Lower Bounds for the Oven Scheduling Problem
di: Da Ros, Francesca, et al.
Pubblicazione: (2024)
di: Da Ros, Francesca, et al.
Pubblicazione: (2024)
Intermediate Languages Matter: Formal Choice Drives Neurosymbolic LLM Reasoning
di: Beiser, Alexander, et al.
Pubblicazione: (2025)
di: Beiser, Alexander, et al.
Pubblicazione: (2025)
Integrating Column Generation and Large Neighborhood Search for Bus Driver Scheduling with Complex Break Constraints
di: Kletzander, Lucas, et al.
Pubblicazione: (2025)
di: Kletzander, Lucas, et al.
Pubblicazione: (2025)
Refining Gelfond Rationality Principle: Towards More Comprehensive Foundational Principles for Answer Set Semantics
di: Shen, Yi-Dong, et al.
Pubblicazione: (2025)
di: Shen, Yi-Dong, et al.
Pubblicazione: (2025)
Key Principles in Cross-Domain Hyper-Heuristic Performance
di: Sobotka, Václav, et al.
Pubblicazione: (2025)
di: Sobotka, Václav, et al.
Pubblicazione: (2025)
An Enhanced Large Neighborhood Search Approach for the Capacitated Facility Location Problem with Incompatible Customers
di: Gjergji, Ida, et al.
Pubblicazione: (2026)
di: Gjergji, Ida, et al.
Pubblicazione: (2026)
Visual Graph Question Answering with ASP and LLMs for Language Parsing
di: Bauer, Jakob Johannes, et al.
Pubblicazione: (2025)
di: Bauer, Jakob Johannes, et al.
Pubblicazione: (2025)
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
di: Cardellini, Matteo, et al.
Pubblicazione: (2024)
di: Cardellini, Matteo, et al.
Pubblicazione: (2024)
Dominating Set Reconfiguration with Answer Set Programming
di: Kato, Masato, et al.
Pubblicazione: (2024)
di: Kato, Masato, et al.
Pubblicazione: (2024)
Counting Answer Sets of Disjunctive Answer Set Programs
di: Kabir, Mohimenul, et al.
Pubblicazione: (2025)
di: Kabir, Mohimenul, et al.
Pubblicazione: (2025)
Epistemic Logic Programs: Non-Ground and Counting Complexity
di: Eiter, Thomas, et al.
Pubblicazione: (2025)
di: Eiter, Thomas, et al.
Pubblicazione: (2025)
Counterfactual Generation with Answer Set Programming
di: Dasgupta, Sopam, et al.
Pubblicazione: (2024)
di: Dasgupta, Sopam, et al.
Pubblicazione: (2024)
Defeasible Conditionals using Answer Set Programming
di: Dennison, Racquel, et al.
Pubblicazione: (2026)
di: Dennison, Racquel, et al.
Pubblicazione: (2026)
Streamliners for Answer Set Programming
di: Voboril, Florentina, et al.
Pubblicazione: (2026)
di: Voboril, Florentina, et al.
Pubblicazione: (2026)
Interpretable Hybrid Machine Learning Models Using FOLD-R++ and Answer Set Programming
di: Wielinga, Sanne, et al.
Pubblicazione: (2025)
di: Wielinga, Sanne, et al.
Pubblicazione: (2025)
Prioritized Soft Q-Decomposition for Lexicographic Reinforcement Learning
di: Rietz, Finn, et al.
Pubblicazione: (2023)
di: Rietz, Finn, et al.
Pubblicazione: (2023)
Reasoning about Study Regulations in Answer Set Programming
di: Hahn, Susana, et al.
Pubblicazione: (2024)
di: Hahn, Susana, et al.
Pubblicazione: (2024)
Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
di: Kaminski, Roland, et al.
Pubblicazione: (2024)
di: Kaminski, Roland, et al.
Pubblicazione: (2024)
Comparing Non-minimal Semantics for Disjunction in Answer Set Programming
di: Aguado, Felicidad, et al.
Pubblicazione: (2025)
di: Aguado, Felicidad, et al.
Pubblicazione: (2025)
Probabilistic Answer Set Programming with Discrete and Continuous Random Variables
di: Azzolini, Damiano, et al.
Pubblicazione: (2024)
di: Azzolini, Damiano, et al.
Pubblicazione: (2024)
A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving
di: Schrader, Timo Pierre, et al.
Pubblicazione: (2025)
di: Schrader, Timo Pierre, et al.
Pubblicazione: (2025)
Hybrid Answer Set Programming: Foundations and Applications
di: Rühling, Nicolas
Pubblicazione: (2025)
di: Rühling, Nicolas
Pubblicazione: (2025)
Towards Constraint Temporal Answer Set Programming
di: Cabalar, Pedro, et al.
Pubblicazione: (2025)
di: Cabalar, Pedro, et al.
Pubblicazione: (2025)
Answer Set Programming for Flexible Payroll Management
di: Callewaert, Benjamin, et al.
Pubblicazione: (2024)
di: Callewaert, Benjamin, et al.
Pubblicazione: (2024)
Meta-Programming for Linear-time Temporal Answer Set Programming
di: Hahn, Susana, et al.
Pubblicazione: (2026)
di: Hahn, Susana, et al.
Pubblicazione: (2026)
Neuro-Symbolic Learning of Answer Set Programs from Raw Data
di: Cunnington, Daniel, et al.
Pubblicazione: (2022)
di: Cunnington, Daniel, et al.
Pubblicazione: (2022)
Answer Set Programming Modulo Theories and Reasoning about Continuous Changes
di: Lee, Joohyung, et al.
Pubblicazione: (2025)
di: Lee, Joohyung, et al.
Pubblicazione: (2025)
Human Emotion Verification by Action Languages via Answer Set Programming
di: Brännström, Andreas, et al.
Pubblicazione: (2026)
di: Brännström, Andreas, et al.
Pubblicazione: (2026)
Functional Stable Model Semantics and Answer Set Programming Modulo Theories
di: Bartholomew, Michael, et al.
Pubblicazione: (2026)
di: Bartholomew, Michael, et al.
Pubblicazione: (2026)
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming
di: Sugimori, Irumi, et al.
Pubblicazione: (2024)
di: Sugimori, Irumi, et al.
Pubblicazione: (2024)
A framework for Conditional Reasoning in Answer Set Programming
di: Alviano, Mario, et al.
Pubblicazione: (2025)
di: Alviano, Mario, et al.
Pubblicazione: (2025)
Symbolic Parameter Learning in Probabilistic Answer Set Programming
di: Azzolini, Damiano, et al.
Pubblicazione: (2024)
di: Azzolini, Damiano, et al.
Pubblicazione: (2024)
Documenti analoghi
-
ASP-FZN: A Translation-based Constraint Answer Set Solver
di: Eiter, Thomas, et al.
Pubblicazione: (2025) -
Investigating Constraint Programming and Hybrid Methods for Real World Industrial Test Laboratory Scheduling
di: Geibinger, Tobias, et al.
Pubblicazione: (2019) -
Answer-Set-Programming-based Abstractions for Reinforcement Learning
di: Bankosegger, Rafael, et al.
Pubblicazione: (2026) -
Neural Decision-Propagation for Answer Set Programming
di: Eiter, Thomas, et al.
Pubblicazione: (2026) -
An XAI View on Explainable ASP: Methods, Systems, and Perspectives
di: Eiter, Thomas, et al.
Pubblicazione: (2026)