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

DOI10.1017/S147106841100007XzbMath1250.90050WikidataQ62041929 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)

zbMATH Keywords

artificial intelligence; knowledge management; answer set programming; workforce management; declarative problem solving

Mathematics Subject Classification ID

90B90: Case-oriented studies in operations research

90B70: Theory of organizations, manpower planning in operations research

Related Items

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

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