Dominating Set Reconfiguration with Answer Set Programming
Fuente:
arXiv
Saved in:
| Main Authors: | Kato, Masato, Schaub, Torsten, Soh, Takehide, Tamura, Naoyuki, Banbara, Mutsunori |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming
by: Sugimori, Irumi, et al.
Published: (2024)
by: Sugimori, Irumi, et al.
Published: (2024)
The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital
by: Nabeshima, Hidetomo, et al.
Published: (2025)
by: Nabeshima, Hidetomo, et al.
Published: (2025)
Meta-Programming for Linear-time Temporal Answer Set Programming
by: Hahn, Susana, et al.
Published: (2026)
by: Hahn, Susana, et al.
Published: (2026)
Towards Constraint Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2025)
by: Cabalar, Pedro, et al.
Published: (2025)
Strong Equivalence in Answer Set Programming with Constraints
by: Cabalar, Pedro, et al.
Published: (2025)
by: Cabalar, Pedro, et al.
Published: (2025)
Reasoning about Study Regulations in Answer Set Programming
by: Hahn, Susana, et al.
Published: (2024)
by: Hahn, Susana, et al.
Published: (2024)
Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2026)
by: Cabalar, Pedro, et al.
Published: (2026)
Compiling Metric Temporal Answer Set Programming
by: Becker, Arvid, et al.
Published: (2025)
by: Becker, Arvid, et al.
Published: (2025)
Implementing Metric Temporal Answer Set Programming
by: Becker, Arvid, et al.
Published: (2026)
by: Becker, Arvid, et al.
Published: (2026)
Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
by: Kaminski, Roland, et al.
Published: (2024)
by: Kaminski, Roland, et al.
Published: (2024)
Counting Answer Sets of Disjunctive Answer Set Programs
by: Kabir, Mohimenul, et al.
Published: (2025)
by: Kabir, Mohimenul, et al.
Published: (2025)
Counterfactual Generation with Answer Set Programming
by: Dasgupta, Sopam, et al.
Published: (2024)
by: Dasgupta, Sopam, et al.
Published: (2024)
Streamliners for Answer Set Programming
by: Voboril, Florentina, et al.
Published: (2026)
by: Voboril, Florentina, et al.
Published: (2026)
Neural Decision-Propagation for Answer Set Programming
by: Eiter, Thomas, et al.
Published: (2026)
by: Eiter, Thomas, et al.
Published: (2026)
Answer Set Programming for Flexible Payroll Management
by: Callewaert, Benjamin, et al.
Published: (2024)
by: Callewaert, Benjamin, et al.
Published: (2024)
Hybrid Answer Set Programming: Foundations and Applications
by: Rühling, Nicolas
Published: (2025)
by: Rühling, Nicolas
Published: (2025)
Defeasible Conditionals using Answer Set Programming
by: Dennison, Racquel, et al.
Published: (2026)
by: Dennison, Racquel, et al.
Published: (2026)
Probabilistic Answer Set Programming with Discrete and Continuous Random Variables
by: Azzolini, Damiano, et al.
Published: (2024)
by: Azzolini, Damiano, et al.
Published: (2024)
Comparing Non-minimal Semantics for Disjunction in Answer Set Programming
by: Aguado, Felicidad, et al.
Published: (2025)
by: Aguado, Felicidad, et al.
Published: (2025)
Symbolic Parameter Learning in Probabilistic Answer Set Programming
by: Azzolini, Damiano, et al.
Published: (2024)
by: Azzolini, Damiano, et al.
Published: (2024)
A framework for Conditional Reasoning in Answer Set Programming
by: Alviano, Mario, et al.
Published: (2025)
by: Alviano, Mario, et al.
Published: (2025)
Answer-Set-Programming-based Abstractions for Reinforcement Learning
by: Bankosegger, Rafael, et al.
Published: (2026)
by: Bankosegger, Rafael, et al.
Published: (2026)
Answer Set Programming Modulo Theories and Reasoning about Continuous Changes
by: Lee, Joohyung, et al.
Published: (2025)
by: Lee, Joohyung, et al.
Published: (2025)
Human Emotion Verification by Action Languages via Answer Set Programming
by: Brännström, Andreas, et al.
Published: (2026)
by: Brännström, Andreas, et al.
Published: (2026)
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
by: Eiter, Thomas, et al.
Published: (2022)
by: Eiter, Thomas, et al.
Published: (2022)
Functional Stable Model Semantics and Answer Set Programming Modulo Theories
by: Bartholomew, Michael, et al.
Published: (2026)
by: Bartholomew, Michael, et al.
Published: (2026)
Neuro-Symbolic Learning of Answer Set Programs from Raw Data
by: Cunnington, Daniel, et al.
Published: (2022)
by: Cunnington, Daniel, et al.
Published: (2022)
Human Conditional Reasoning in Answer Set Programming
by: Sakama, Chiaki
Published: (2023)
by: Sakama, Chiaki
Published: (2023)
Fast Inference for Probabilistic Answer Set Programs via the Residual Program
by: Azzolini, Damiano, et al.
Published: (2024)
by: Azzolini, Damiano, et al.
Published: (2024)
Answer Set Networks: Casting Answer Set Programming into Deep Learning
by: Skryagin, Arseny, et al.
Published: (2024)
by: Skryagin, Arseny, et al.
Published: (2024)
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
by: Baryannis, George, et al.
Published: (2020)
by: Baryannis, George, et al.
Published: (2020)
Cplus2ASP: Computing Action Language C+ in Answer Set Programming
by: Babb, Joseph, et al.
Published: (2026)
by: Babb, Joseph, et al.
Published: (2026)
Reliable Collaborative Conversational Agent System Based on LLMs and Answer Set Programming
by: Zeng, Yankai, et al.
Published: (2025)
by: Zeng, Yankai, et al.
Published: (2025)
Solving Decision Theory Problems with Probabilistic Answer Set Programming
by: Azzolini, Damiano, et al.
Published: (2024)
by: Azzolini, Damiano, et al.
Published: (2024)
Formally Explaining Decision Tree Models with Answer Set Programming
by: Takemura, Akihiro, et al.
Published: (2026)
by: Takemura, Akihiro, et al.
Published: (2026)
Causal Graph Recovery in Neuroimaging through Answer Set Programming
by: Abavisani, Mohammadsajad, et al.
Published: (2025)
by: Abavisani, Mohammadsajad, et al.
Published: (2025)
CLMASP: Coupling Large Language Models with Answer Set Programming for Robotic Task Planning
by: Lin, Xinrui, et al.
Published: (2024)
by: Lin, Xinrui, et al.
Published: (2024)
Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming
by: Takemura, Akihiro, et al.
Published: (2024)
by: Takemura, Akihiro, et al.
Published: (2024)
Interpretable Hybrid Machine Learning Models Using FOLD-R++ and Answer Set Programming
by: Wielinga, Sanne, et al.
Published: (2025)
by: Wielinga, Sanne, et al.
Published: (2025)
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
by: Cardellini, Matteo, et al.
Published: (2024)
by: Cardellini, Matteo, et al.
Published: (2024)
Similar Items
-
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming
by: Sugimori, Irumi, et al.
Published: (2024) -
The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital
by: Nabeshima, Hidetomo, et al.
Published: (2025) -
Meta-Programming for Linear-time Temporal Answer Set Programming
by: Hahn, Susana, et al.
Published: (2026) -
Towards Constraint Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2025) -
Strong Equivalence in Answer Set Programming with Constraints
by: Cabalar, Pedro, et al.
Published: (2025)