Cover Image

The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Nabeshima, Hidetomo, Banbara, Mutsunori, Schaub, Torsten, Soh, Takehide
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
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)

Dominating Set Reconfiguration with Answer Set Programming
by: Kato, Masato, et al.
Published: (2024)

On the generalization of learned constraints for ASP solving in temporal domains
by: Romero, Javier, et al.
Published: (2024)

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

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

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

Improving ASP-based ORS Schedules through Machine Learning Predictions
by: Bruno, Pierangela, et al.
Published: (2025)

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

Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement
by: Kuhlmann, Isabelle, et al.
Published: (2023)

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

Past-present temporal programs over finite traces
by: Cabalar, Pedro, et al.
Published: (2023)

ASP-FZN: A Translation-based Constraint Answer Set Solver
by: Eiter, Thomas, et al.
Published: (2025)

EZASP -- Facilitating the usage of ASP
by: Martins, Rafael, et al.
Published: (2026)

Metric Temporal Equilibrium Logic over Timed Traces
by: Becker, Arvid, et al.
Published: (2023)

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

Generating Causally Compliant Counterfactual Explanations using ASP
by: Dasgupta, Sopam
Published: (2025)

Winning Snake: Design Choices in Multi-Shot ASP
by: Böhl, Elisa, et al.
Published: (2024)

Meta-Programming for Linear-time Temporal Answer Set Programming
by: Hahn, Susana, et al.
Published: (2026)

plingo: A system for probabilistic reasoning in clingo based on lpmln
by: Hahn, Susana, et al.
Published: (2022)

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

Implementing the First-Order Logic of Here and There
by: Otten, Jens, et al.
Published: (2026)

xDNN(ASP): Explanation Generation System for Deep Neural Networks powered by Answer Set Programming
by: Trieu, Ly Ly, et al.
Published: (2026)

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

Towards end-to-end ASP computation
by: Sato, Taisuke, et al.
Published: (2023)

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

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

Towards Automatic Composition of ASP Programs from Natural Language Specifications
by: Borroto, Manuel, et al.
Published: (2024)

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

An LLM + ASP Workflow for Joint Entity-Relation Extraction
by: Tran, Trang, et al.
Published: (2025)

A General Framework for Dynamic MAPF using Multi-Shot ASP and Tunnels
by: Bogatarkan, Aysu, et al.
Published: (2025)

Cplus2ASP: Computing Action Language C+ in Answer Set Programming
by: Babb, Joseph, et al.
Published: (2026)

LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning
by: Ishay, Adam, et al.
Published: (2026)

Towards Constraint Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2025)

Smart Expansion Techniques for ASP-based Interactive Configuration
by: Balážová, Lucia, et al.
Published: (2025)

Learning Multi-Level Features with Matryoshka Sparse Autoencoders
by: Bussmann, Bart, et al.
Published: (2025)

Discovering Significant Topics from Legal Decisions with Selective Inference
by: Soh, Jerrold
Published: (2024)

Reasoning about Study Regulations in Answer Set Programming
by: Hahn, Susana, et al.
Published: (2024)

Bridging Natural Language and ASP: A Hybrid Approach Using LLMs and AMR Parsing
by: Hite, Connar, et al.
Published: (2025)

Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP
by: Chaudhri, Vinay K., et al.
Published: (2013)

Extract, Define, Canonicalize: An LLM-based Framework for Knowledge Graph Construction
by: Zhang, Bowen, et al.
Published: (2024)