The following pages link to ASP-Core-2 Input Language Format (Q4957196):
Displaying 43 items.
- Solving a multi-resource partial-ordering flexible variant of the job-shop scheduling problem with hybrid ASP (Q2055805) (← links)
- Testing in ASP: revisited language and programming environment (Q2055810) (← links)
- An abstract view on optimizations in SAT and ASP (Q2055811) (← links)
- Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons (Q2071318) (← links)
- Lifting symmetry breaking constraints with inductive logic programming (Q2163186) (← links)
- Detect, understand, act: a neuro-symbolic hierarchical reinforcement learning framework (Q2163206) (← links)
- Making sense of sensory input (Q2238610) (← links)
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all? (Q2667835) (← links)
- Solving problems in the polynomial hierarchy with ASP(Q) (Q2694590) (← links)
- DeduDeep: an extensible framework for combining deep learning and ASP-based models (Q2694622) (← links)
- Multi-level Algorithm Selection for ASP (Q3449227) (← links)
- Omission-Based Abstraction for Answer Set Programs (Q4957218) (← links)
- Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming (Q4957224) (← links)
- (Q5020552) (← links)
- (Q5020961) (← links)
- (Q5020969) (← links)
- (Q5020979) (← links)
- (Q5020995) (← links)
- Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling (Q5038465) (← links)
- Precomputing Datalog Evaluation Plans in Large-Scale Scenarios (Q5108523) (← links)
- Domain-Independent Cost-Optimal Planning in ASP (Q5108526) (← links)
- A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming (Q5140008) (← links)
- Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints (Q5140015) (← links)
- Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming (Q5140026) (← links)
- Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming (Q5140029) (← links)
- Rewriting optimization statements in answer-set programs (Q5240209) (← links)
- Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs (Q5240230) (← links)
- Induction and Exploitation of Subgoal Automata for Reinforcement Learning (Q5856492) (← links)
- Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)
- Solution Enumeration by Optimality in Answer Set Programming (Q6063865) (← links)
- FOLASP<i>: FO(·) as Input Language for Answer Set Solvers</i> (Q6063868) (← links)
- Reactive Answer Set Programming (Q6063885) (← links)
- Lifted inference for statistical statements in probabilistic answer set programming (Q6064257) (← links)
- A general framework for preferences in answer set programming (Q6067052) (← links)
- Answer set programming made easy (Q6175107) (← links)
- Qualitative reasoning about 2D cardinal directions using answer set programming (Q6488805) (← links)
- An abstract view on optimizations in propositional frameworks (Q6496423) (← links)
- Scalable neural-probabilistic answer set programming (Q6535415) (← links)
- Comparing planning domain models using answer set programming (Q6545534) (← links)
- Complexity and scalability of defeasible reasoning with typicality in many-valued weighted knowledge bases (Q6545558) (← links)
- Plan selection framework for policy-aware autonomous agents (Q6545571) (← links)
- Model-based diagnosis with ASP for non-groundable domains (Q6630210) (← links)
- Adaptive large-neighbourhood search for optimisation in answer-set programming (Q6665706) (← links)
