Buchumschlag

An ASP-based Solution to the Medical Appointment Scheduling Problem

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Vozna, Alina, Monaldini, Andrea, Costantini, Stefania, Pitoni, Valentina, Pado, Dawid
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Improving ASP-based ORS Schedules through Machine Learning Predictions
von: Bruno, Pierangela, et al.
Veröffentlicht: (2025)

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

An ASP-Based Framework for MUSes
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

Ensuring trustworthy and ethical behaviour in intelligent logical agents
von: Costantini, Stefania
Veröffentlicht: (2024)

Towards Mass Spectrum Analysis with ASP
von: Küchenmeister, Nils, et al.
Veröffentlicht: (2025)

Direct Encoding of Declare Constraints in ASP
von: Chiariello, Francesco, et al.
Veröffentlicht: (2024)

Diminution: On Reducing the Size of Grounding ASP Programs
von: Yang, HuanYu, et al.
Veröffentlicht: (2025)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
von: Fandinno, Jorge, et al.
Veröffentlicht: (2026)

Finite Groundings for ASP with Functions: A Journey through Consistency
von: Gerlach, Lukas, et al.
Veröffentlicht: (2024)

BLAST: Benchmarking LLMs with ASP-based Structured Testing
von: Santana, Manuel Alejandro Borroto, et al.
Veröffentlicht: (2026)

Using ASP(Q) to Handle Inconsistent Prioritized Data
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2026)

ASP-Bench: From Natural Language to Logic Programs
von: Szeider, Stefan
Veröffentlicht: (2026)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
von: Qureshi, Haya Majid, et al.
Veröffentlicht: (2025)

2-ASP(Q) programs with weak constraints: Complexity and efficient implementation
von: Cuteri, Andrea, et al.
Veröffentlicht: (2026)

An XAI View on Explainable ASP: Methods, Systems, and Perspectives
von: Eiter, Thomas, et al.
Veröffentlicht: (2026)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2024)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
von: Wernhard, Christoph
Veröffentlicht: (2017)

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

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
von: Dasgupta, Sopam, et al.
Veröffentlicht: (2024)

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP
von: Dasgupta, Sopam, et al.
Veröffentlicht: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
von: Bloch, Isabelle, et al.
Veröffentlicht: (2025)

Asymptotically Smaller Encodings for Graph Problems and Scheduling
von: Subercaseaux, Bernardo
Veröffentlicht: (2025)

Regularization in Spider-Style Strategy Discovery and Schedule Construction
von: Bártek, Filip, et al.
Veröffentlicht: (2024)

Similarity-based analogical proportions
von: Antić, Christian
Veröffentlicht: (2024)

Finding Personalized Good-Enough Solutions to Unsatisfiable Stable Roommates Problems
von: Fidan, Müge, et al.
Veröffentlicht: (2025)

An Undecidability Proof for the Plan Existence Problem
von: Achilleos, Antonis
Veröffentlicht: (2026)

ASP-driven User-interaction with Clinguin
von: Beiser, Alexander, et al.
Veröffentlicht: (2025)

Formally Verified Certification of Unsolvability of Temporal Planning Problems
von: Wang, David, et al.
Veröffentlicht: (2025)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
von: Azzolini, Damiano, et al.
Veröffentlicht: (2024)

Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models
von: George, Anne-Marie, et al.
Veröffentlicht: (2024)

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
von: Liang, Zhenwen, et al.
Veröffentlicht: (2025)

Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
von: Van Kieu, Tuyen, et al.
Veröffentlicht: (2026)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
von: Kaminski, Roland, et al.
Veröffentlicht: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
von: Joyce, Johnny
Veröffentlicht: (2025)

Dynamic Logic of Trust-Based Beliefs
von: Jiang, Junli, et al.
Veröffentlicht: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
von: Xu, Yang, et al.
Veröffentlicht: (2025)

Fuzzy Lattice-based Description Logic
von: Ding, Yiwen, et al.
Veröffentlicht: (2025)

A Theoretical Review on Solving Algebra Problems
von: Yu, Xinguo, et al.
Veröffentlicht: (2024)