Pages that link to "Item:Q2909524"
From MaRDI portal
The following pages link to Team-building with answer set programming in the Gioia-Tauro seaport (Q2909524):
Displaying 20 items.
- Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study (Q518622) (← links)
- An approach from answer set programming to decision making in a railway interlocking system (Q740741) (← links)
- Design and results of the Fifth Answer Set Programming Competition (Q899444) (← links)
- What is answer set programming to propositional satisfiability (Q1699519) (← links)
- Magic sets for disjunctive Datalog programs (Q1761296) (← links)
- Solving a multi-resource partial-ordering flexible variant of the job-shop scheduling problem with hybrid ASP (Q2055805) (← links)
- Backdoors to tractable answer set programming (Q2341833) (← links)
- Shift Design with Answer Set Programming (Q3449188) (← links)
- Advances in WASP (Q3449189) (← links)
- Generating explanations for biomedical queries (Q4592972) (← links)
- Dual-normal logic programs – the forgotten class (Q4592993) (← links)
- Disjunctive answer set solvers via templates (Q4593037) (← links)
- Efficiently Coupling the I-DLV Grounder with ASP Solvers (Q4957193) (← links)
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
- (Q5020542) (← links)
- (Q5020580) (← links)
- Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling (Q5038465) (← links)
- Inconsistency Proofs for ASP: The ASP - DRUPE Format (Q5108508) (← links)
- Answering the “why” in answer set programming – A survey of explanation approaches (Q5197747) (← links)
- Complexity of super-coherence problems in ASP (Q5418947) (← links)
