Team-building with answer set programming in the Gioia-Tauro seaport

DOI10.1017/S147106841100007XzbMath1250.90050OpenAlexW2101666345WikidataQ62041929 ScholiaQ62041929MaRDI QIDQ2909524

Salvatore Iiritano, Nicola Leone, Vincenzino Lio, Mario Alviano, Giovanni Grasso, Francesco Ricca, Marco Manna

Publication date: 30 August 2012

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s147106841100007x

zbMATH Keywords

artificial intelligenceknowledge managementanswer set programmingworkforce managementdeclarative problem solving

Mathematics Subject Classification ID

Case-oriented studies in operations research (90B90) Theory of organizations, manpower planning in operations research (90B70)

Related Items (20)

Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling ⋮ Shift Design with Answer Set Programming ⋮ Advances in WASP ⋮ Generating explanations for biomedical queries ⋮ Dual-normal logic programs – the forgotten class ⋮ Disjunctive answer set solvers via templates ⋮ Inconsistency Proofs for ASP: The ASP - DRUPE Format ⋮ Design and results of the Fifth Answer Set Programming Competition ⋮ What is answer set programming to propositional satisfiability ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study ⋮ Complexity of super-coherence problems in ASP ⋮ Magic sets for disjunctive Datalog programs ⋮ Answering the “why” in answer set programming – A survey of explanation approaches ⋮ Efficiently Coupling the I-DLV Grounder with ASP Solvers ⋮ An approach from answer set programming to decision making in a railway interlocking system ⋮ Solving a multi-resource partial-ordering flexible variant of the job-shop scheduling problem with hybrid ASP ⋮ Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search ⋮ Backdoors to tractable answer set programming

Uses Software

• DLV

Cites Work

• The teacher assignment problem: A special case of the fixed charge transportation problem
• Staff scheduling and rostering: a review of applications, methods and models.
• Optimum workforce scheduling under the (14, 21) days-off timetable
• Exploiting problem structure in a genetic algorithm approach to a nurse rostering problem
• Logic programming and knowledge representation---The A-Prolog perspective
• A tabu search heuristic procedure for the fixed charge transportation problem
• Integer programming to schedule a hierarchical workforce with variable demands
• Multi-skilled workforce optimisation
• On the complexity of manpower shift scheduling
• Mixed-integer programming models for an employee scheduling problem with multiple shifts and work locations
• Census Data Repair: A Challenging Application of Disjunctive Logic Programming
• OntoDLV: An ASP-based System for Enterprise Ontologies
• On Reductive Semantics of Aggregates in Answer Set Programming
• On Manpower Scheduling Algorithms
• A class of manpower scheduling problems
• The DLV system for knowledge representation and reasoning
• A genetic algorithm for public transport driver scheduling

This page was built for publication: Team-building with answer set programming in the Gioia-Tauro seaport