Long-term Power Grid Planning via Answer Set Programming
Fuente:
arXiv
Saved in:
| Main Authors: | Ielo, Antonio, Doria, Francesco, Castellanos-Paez, Sandra, Maratea, Marco, Percassi, Francesco, Vallati, Mauro |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
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)
A CASP-based Solution for Traffic Signal Optimisation
by: Tarzariol, Alice, et al.
Published: (2025)
by: Tarzariol, Alice, et al.
Published: (2025)
Question Answering with LLMs and Learning from Answer Sets
by: Borroto, Manuel, et al.
Published: (2025)
by: Borroto, Manuel, et al.
Published: (2025)
Direct Encoding of Declare Constraints in ASP
by: Chiariello, Francesco, et al.
Published: (2024)
by: Chiariello, Francesco, et al.
Published: (2024)
Enumerating Minimal Unsatisfiable Cores of LTLf formulas
by: Ielo, Antonio, et al.
Published: (2024)
by: Ielo, Antonio, 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)
Streamliners for Answer Set Programming
by: Voboril, Florentina, et al.
Published: (2026)
by: Voboril, Florentina, et al.
Published: (2026)
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)
Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
by: Rizwan, Momina, et al.
Published: (2020)
by: Rizwan, Momina, et al.
Published: (2020)
Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
by: Bertagnon, Alessandro, et al.
Published: (2025)
by: Bertagnon, Alessandro, et al.
Published: (2025)
Hybrid Answer Set Programming: Foundations and Applications
by: Rühling, Nicolas
Published: (2025)
by: Rühling, Nicolas
Published: (2025)
Towards Constraint Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2025)
by: Cabalar, Pedro, et al.
Published: (2025)
Defeasible Conditionals using Answer Set Programming
by: Dennison, Racquel, et al.
Published: (2026)
by: Dennison, Racquel, 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)
Improving ASP-based ORS Schedules through Machine Learning Predictions
by: Bruno, Pierangela, et al.
Published: (2025)
by: Bruno, Pierangela, et al.
Published: (2025)
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)
Symbolic Parameter Learning in Probabilistic Answer Set Programming
by: Azzolini, Damiano, et al.
Published: (2024)
by: Azzolini, Damiano, et al.
Published: (2024)
Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
by: Hecher, Markus, et al.
Published: (2024)
by: Hecher, Markus, 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)
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)
Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)
by: Fandinno, Jorge, et al.
Published: (2025)
by: Fandinno, Jorge, et al.
Published: (2025)
Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
by: Fandinno, Jorge, et al.
Published: (2024)
by: Fandinno, Jorge, et al.
Published: (2024)
Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
by: Gupta, Gopal, et al.
Published: (2025)
by: Gupta, Gopal, et al.
Published: (2025)
Human Conditional Reasoning in Answer Set Programming
by: Sakama, Chiaki
Published: (2023)
by: Sakama, Chiaki
Published: (2023)
Relating Answer Set Programming and Many-sorted Logics for Formal Verification
by: Hansen, Zachary
Published: (2025)
by: Hansen, Zachary
Published: (2025)
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)
Continuous reasoning for adaptive container image distribution in the cloud-edge continuum
by: Azzolini, Damiano, et al.
Published: (2024)
by: Azzolini, Damiano, et al.
Published: (2024)
Decentralized Planning Using Probabilistic Hyperproperties
by: Pontiggia, Francesco, et al.
Published: (2025)
by: Pontiggia, Francesco, 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)
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)
Proceedings 40th International Conference on Logic Programming
by: Cabalar, Pedro, et al.
Published: (2025)
by: Cabalar, Pedro, et al.
Published: (2025)
LLASP: Fine-tuning Large Language Models for Answer Set Programming
by: Coppolillo, Erica, et al.
Published: (2024)
by: Coppolillo, Erica, et al.
Published: (2024)
SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic
by: Hansen, Zachary, et al.
Published: (2025)
by: Hansen, Zachary, et al.
Published: (2025)
Navigating Taxonomic Expansions of Entity Sets Driven by Knowledge Bases
by: Amendola, Giovanni, et al.
Published: (2025)
by: Amendola, Giovanni, et al.
Published: (2025)
Computational methods for Dynamic Answer Set Programming
by: Hahn, Susana
Published: (2025)
by: Hahn, Susana
Published: (2025)
Application Placement with Constraint Relaxation
by: Azzolini, Damiano, et al.
Published: (2025)
by: Azzolini, Damiano, et al.
Published: (2025)
Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
by: D'Asaro, Fabio Aurelio, et al.
Published: (2022)
by: D'Asaro, Fabio Aurelio, et al.
Published: (2022)
Similar Items
-
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
by: Cardellini, Matteo, et al.
Published: (2024) -
A CASP-based Solution for Traffic Signal Optimisation
by: Tarzariol, Alice, et al.
Published: (2025) -
Question Answering with LLMs and Learning from Answer Sets
by: Borroto, Manuel, et al.
Published: (2025) -
Direct Encoding of Declare Constraints in ASP
by: Chiariello, Francesco, et al.
Published: (2024) -
Enumerating Minimal Unsatisfiable Cores of LTLf formulas
by: Ielo, Antonio, et al.
Published: (2024)