Pages that link to "Item:Q5197744"
From MaRDI portal
The following pages link to Multi-shot ASP solving with clingo (Q5197744):
Displaying 10 items.
- Towards a qualitative theory of the interruption of eating behavior change (Q6130716) (← links)
- Inverse reinforcement learning through logic constraint inference (Q6134331) (← links)
- Theoretical analysis and implementation of abstract argumentation frameworks with domain assignments (Q6178732) (← links)
- On acceptance conditions in abstract argumentation frameworks (Q6494661) (← links)
- Generative Datalog and answer set programming (extended abstract) (Q6545514) (← links)
- Reasoning in assumption-based argumentation using tree-decompositions (Q6545531) (← links)
- Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes (Q6545536) (← links)
- \textsc{delphic}: practical DEL planning via possibilities (Q6545564) (← links)
- Combinatorial reconfiguration with answer set programming: algorithms, encodings, and empirical analysis (Q6575399) (← links)
- Adaptive large-neighbourhood search for optimisation in answer-set programming (Q6665706) (← links)
