Pages that link to "Item:Q5197744"
From MaRDI portal
The following pages link to Multi-shot ASP solving with clingo (Q5197744):
Displayed 50 items.
- Clingo (Q21872) (← links)
- Learning programs by learning from failures (Q2051282) (← links)
- 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)
- DualGrounder: lazy instantiation via clingo multi-shot framework (Q2055820) (← links)
- A multi-shot ASP encoding for the aircraft routing and maintenance planning problem (Q2055823) (← links)
- Graph-based construction of minimal models (Q2093381) (← links)
- Learning Boolean controls in regulated metabolic networks: a case-study (Q2142113) (← links)
- Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention (Q2188772) (← links)
- Design and results of the second international competition on computational models of argumentation (Q2287197) (← links)
- A parallel memory-efficient epistemic logic program solver: harder, better, faster (Q2317970) (← links)
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all? (Q2667835) (← links)
- Solving projected model counting by utilizing treewidth and its limits (Q2680775) (← links)
- Statistical statements in probabilistic logic programming (Q2694548) (← links)
- Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy (Q2694555) (← links)
- ASP for flexible payroll management (Q2694607) (← links)
- Optimising business process discovery using answer set programming (Q2694620) (← links)
- Integrating ASP into ROS for Reasoning in Robots (Q3449192) (← links)
- ASP Solving for Expanding Universes (Q3449219) (← links)
- Progress in clasp Series 3 (Q3449220) (← links)
- An Implementation of Consistency-Based Multi-agent Belief Change Using ASP (Q3449231) (← links)
- ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories (Q3449232) (← links)
- Optimizing Answer Set Computation via Heuristic-Based Decomposition (Q4957190) (← links)
- The External Interface for Extending WASP (Q4957194) (← links)
- selp: <i>A Single-Shot Epistemic Logic Program Solver</i> (Q4957201) (← links)
- A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (Q4957216) (← links)
- Train Scheduling with Hybrid Answer Set Programming (Q4957222) (← links)
- (Q5020584) (← links)
- (Q5020591) (← links)
- (Q5020969) (← links)
- (Q5020987) (← links)
- Efficient Knowledge Compilation Beyond Weighted Model Counting (Q5038457) (← links)
- Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling (Q5038465) (← links)
- Flexible FOND Planning with Explicit Fairness Assumptions (Q5094037) (← links)
- Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming (Q5097632) (← links)
- Better Paracoherent Answer Sets with Less Resources (Q5108500) (← links)
- Incremental Answer Set Programming with Overgrounding (Q5108513) (← links)
- A Distributed Approach to LARS Stream Reasoning (System paper) (Q5108515) (← links)
- Modelling Multi-Agent Epistemic Planning in ASP (Q5140002) (← links)
- Managing caching strategies for stream reasoning with reinforcement learning (Q5140004) (← links)
- Incremental maintenance of overgrounded logic programs with tailored simplifications (Q5140010) (← links)
- Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints (Q5140015) (← links)
- eclingo : A Solver for Epistemic Logic Programs (Q5140019) (← links)
- Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms (Q5197746) (← links)
- Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)
- Using answer set programming to deal with Boolean networks and attractor computation: application to gene regulatory networks of cells (Q6059225) (← 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)