Team-building with answer set programming in the Gioia-Tauro seaport
From MaRDI portal
(Redirected from Publication:2909524)
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)- Generating explanations for biomedical queries
- Disjunctive answer set solvers via templates
- Shift Design with Answer Set Programming
- An approach from answer set programming to decision making in a railway interlocking system
- Advances in WASP
- 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
- Magic sets for disjunctive Datalog programs
- scientific article; zbMATH DE number 7453131 (Why is no real title available?)
- Design and results of the Fifth Answer Set Programming Competition
- ASP-based approaches for solving the nuclear medicine scheduling problem
- scientific article; zbMATH DE number 7453100 (Why is no real title available?)
- Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
- Solving a multi-resource partial-ordering flexible variant of the job-shop scheduling problem with hybrid ASP
- Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
- Answering the ``why in answer set programming -- a survey of explanation approaches
- Inconsistency proofs for ASP: the ASP-DRUPE format
- Unsatisfiable core analysis and aggregates for optimum stable model search
- Backdoors to tractable answer set programming
- What is answer set programming to propositional satisfiability
- Decomposition strategies and multi-shot ASP solving for job-shop scheduling
- Dual-normal logic programs -- the forgotten class
- Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study
- Complexity of super-coherence problems in ASP
- Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes
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)
