The following pages link to Answer Set Programming (Q5230475):
Displaying 32 items.
- Solving a multi-resource partial-ordering flexible variant of the job-shop scheduling problem with hybrid ASP (Q2055805) (← links)
- Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas (Q2075363) (← links)
- GK: implementing full first order default logic for commonsense reasoning (system description) (Q2104518) (← links)
- The possibilistic Horn non-clausal knowledge bases (Q2105624) (← links)
- A primal-dual approximation algorithm for \textsc{minsat} (Q2161258) (← links)
- Lifting symmetry breaking constraints with inductive logic programming (Q2163186) (← links)
- Copy complexity of Horn formulas with respect to unit read-once resolution (Q2235734) (← links)
- Modal logic S5 in answer set programming with lazy creation of worlds (Q2694545) (← links)
- State transition in multi-agent epistemic domains using answer set programming (Q2694576) (← links)
- \textit{Clingraph}: ASP-based visualization (Q2694596) (← links)
- (Q3007261) (← links)
- Shift Design with Answer Set Programming (Q3449188) (← links)
- (Q3549508) (← links)
- Answer Set Programming with Resources (Q3553920) (← links)
- Achievements in answer set programming (Q4592719) (← links)
- Modal Logic S5 Satisfiability in Answer Set Programming (Q5019595) (← links)
- Strong Equivalence of Logic Programs with Counting (Q5038462) (← links)
- Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems (Q5038464) (← links)
- Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling (Q5038465) (← links)
- Flexible FOND Planning with Explicit Fairness Assumptions (Q5094037) (← links)
- Answer Set Programming for Single-Player Games in General Game Playing (Q5325764) (← links)
- Reactive Answer Set Programming (Q6063885) (← links)
- Towards a qualitative theory of the interruption of eating behavior change (Q6130716) (← links)
- Answer set programming made easy (Q6175107) (← links)
- Qualitative reasoning about 2D cardinal directions using answer set programming (Q6488805) (← links)
- Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes (Q6545536) (← links)
- Hamiltonian cycle reconfiguration with answer set programming (Q6545539) (← links)
- Computing MUS-based inconsistency measures (Q6545579) (← links)
- Boolean proportions (Q6563049) (← links)
- Computationally hard problems for logic programs under answer set semantics (Q6636616) (← links)
- Clingraph: a system for ASP-based visualization (Q6656461) (← links)
- Adaptive large-neighbourhood search for optimisation in answer-set programming (Q6665706) (← links)
