Cover Image

Improving ASP-based ORS Schedules through Machine Learning Predictions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bruno, Pierangela, Dodaro, Carmine, Galatà, Giuseppe, Maratea, Marco, Mochi, Marco
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Logic in Computer Science
Online Access:	Acceder al recurso
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)

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

Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling
by: El-Kholany, Mohammed M. S., et al.
Published: (2022)

Long-term Power Grid Planning via Answer Set Programming
by: Ielo, Antonio, et al.
Published: (2026)

Finite Groundings for ASP with Functions: A Journey through Consistency
by: Gerlach, Lukas, et al.
Published: (2024)

Using ASP(Q) to Handle Inconsistent Prioritized Data
by: Bienvenu, Meghyn, et al.
Published: (2026)

BLAST: Benchmarking LLMs with ASP-based Structured Testing
by: Santana, Manuel Alejandro Borroto, et al.
Published: (2026)

An ASP-Based Framework for MUSes
by: Kabir, Mohimenul, et al.
Published: (2025)

A CASP-based Solution for Traffic Signal Optimisation
by: Tarzariol, Alice, et al.
Published: (2025)

Towards Mass Spectrum Analysis with ASP
by: Küchenmeister, Nils, et al.
Published: (2025)

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

Diminution: On Reducing the Size of Grounding ASP Programs
by: Yang, HuanYu, et al.
Published: (2025)

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

2-ASP(Q) programs with weak constraints: Complexity and efficient implementation
by: Cuteri, Andrea, et al.
Published: (2026)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
by: De Angelis, Emanuele, et al.
Published: (2024)

ASP-Bench: From Natural Language to Logic Programs
by: Szeider, Stefan
Published: (2026)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
by: Qureshi, Haya Majid, et al.
Published: (2025)

Multitask Kernel-based Learning with First-Order Logic Constraints
by: Diligenti, Michelangelo, et al.
Published: (2023)

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

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
by: Zeng, Yankai, et al.
Published: (2024)

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
by: Dasgupta, Sopam, et al.
Published: (2024)

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP
by: Dasgupta, Sopam, et al.
Published: (2024)

Object-Centric Conformance Alignments with Synchronization (Extended Version)
by: Gianola, Alessandro, et al.
Published: (2023)

Regularization in Spider-Style Strategy Discovery and Schedule Construction
by: Bártek, Filip, et al.
Published: (2024)

Enhancing Symbolic Machine Learning by Subsymbolic Representations
by: Roth, Stephen, et al.
Published: (2025)

Similarity-based analogical proportions
by: Antić, Christian
Published: (2024)

$O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof
by: Caminati, Marco B.
Published: (2024)

Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
by: Bertagnon, Alessandro, et al.
Published: (2025)

Navigating Taxonomic Expansions of Entity Sets Driven by Knowledge Bases
by: Amendola, Giovanni, et al.
Published: (2025)

Computing unsatisfiable cores for LTLf specifications
by: Roveri, Marco, et al.
Published: (2022)

Query Languages for Machine-Learning Models
by: Grohe, Martin
Published: (2026)

Information Science Principles of Machine Learning: A Causal Chain Meta-Framework Based on Formalized Information Mapping
by: Xu, Jianfeng
Published: (2025)

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

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
by: Farjami, Ali, et al.
Published: (2026)

ASP-driven User-interaction with Clinguin
by: Beiser, Alexander, et al.
Published: (2025)

On Formally Undecidable Traits of Intelligent Machines
by: Fox, Matthew
Published: (2024)

Canonical Decision Diagrams Modulo Theories
by: Michelutti, Massimo, et al.
Published: (2024)

LTLf Synthesis Under Unreliable Input
by: Hagemeier, Christian, et al.
Published: (2024)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas
by: Ielo, Antonio, et al.
Published: (2024)

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
by: D'Asaro, Fabio Aurelio, et al.
Published: (2022)