Team-building with answer set programming in the Gioia-Tauro seaport
From MaRDI portal
Recommendations
Cites work
- A class of manpower scheduling problems
- A genetic algorithm for public transport driver scheduling
- A tabu search heuristic procedure for the fixed charge transportation problem
- Census data repair: a challenging application of disjunctive logic programming
- Exploiting problem structure in a genetic algorithm approach to a nurse rostering problem
- Integer programming to schedule a hierarchical workforce with variable demands
- Logic programming and knowledge representation---The A-Prolog perspective
- Mixed-integer programming models for an employee scheduling problem with multiple shifts and work locations
- Multi-skilled workforce optimisation
- On Manpower Scheduling Algorithms
- On Reductive Semantics of Aggregates in Answer Set Programming
- On the complexity of manpower shift scheduling
- OntoDLV: An ASP-based System for Enterprise Ontologies
- Optimum workforce scheduling under the (14, 21) days-off timetable
- Staff scheduling and rostering: a review of applications, methods and models.
- The DLV system for knowledge representation and reasoning
- The teacher assignment problem: A special case of the fixed charge transportation problem
Cited in
(26)- 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
- Generating explanations for biomedical queries
- Dual-normal logic programs -- the forgotten class
- Disjunctive answer set solvers via templates
- Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
- Unsatisfiable core analysis and aggregates for optimum stable model search
- scientific article; zbMATH DE number 7453100 (Why is no real title available?)
- scientific article; zbMATH DE number 7453131 (Why is no real title available?)
- Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
- Inconsistency proofs for ASP: the ASP-DRUPE format
- Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study
- Answering the ``why in answer set programming -- a survey of explanation approaches
- Complexity of super-coherence problems in ASP
- Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes
- ASP-based approaches for solving the nuclear medicine scheduling problem
- Decomposition strategies and multi-shot ASP solving for job-shop scheduling
- Scheduling pre-operative assessment clinic with answer set programming
- System predictor: grounding size estimator for logic programs under answer set semantics
- Constraint answer set programming: integrational and translational (or SMT-based) approaches
- An approach from answer set programming to decision making in a railway interlocking system
- Design and results of the Fifth Answer Set Programming Competition
This page was built for publication: Team-building with answer set programming in the Gioia-Tauro seaport
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2909524)
