WASP

swMATH9565MaRDI QIDQ21546FDOQ21546

Author name not available (Why is that?)

Described by source

• Advances in WASP

Cited In (60)

• Incremental maintenance of overgrounded logic programs with tailored simplifications
• Managing caching strategies for stream reasoning with reinforcement learning
• Coalition formation in social environments with logic-based agents1
• Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms
• Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)
• Disjunctive answer set solvers via templates
• A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders
• Boosting Answer Set Optimization with Weighted Comparator Networks
• Hybrid ASP-based Approach to Pattern Mining
• The Hexlite solver. Lightweight and efficient evaluation of HEX programs
• Enhancing DLV for large-scale reasoning
• The ASP system DLV2
• Lpopt: a rule optimization tool for answer set programming
• Rewriting optimization statements in answer-set programs
• Incremental Answer Set Programming with Overgrounding
• Efficiently Coupling the I-DLV Grounder with ASP Solvers
• Optimizing Answer Set Computation via Heuristic-Based Decomposition
• Partial Compilation of ASP Programs
• Debugging Non-ground ASP Programs: Technique and Graphical Tools
• Beyond NP: Quantifying over Answer Sets
• Inconsistency Proofs for ASP: The ASP - DRUPE Format
• Title not available (Why is that?)
• Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs
• Answering the “why” in answer set programming – A survey of explanation approaches
• Paracoherent answer set computation
• Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search
• The Complexity of Escaping Labyrinths and Enchanted Forests.
• Abstract Solvers for Computing Cautious Consequences of ASP programs
• Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity
• The Seventh Answer Set Programming Competition: Design and Results
• Fuzzy answer set computation via satisfiability modulo theories
• Anytime answer set optimization via unsatisfiable core shrinking
• Enhancing Magic Sets with an Application to Ontological Reasoning
• Improving the Normalization of Weight Rules in Answer Set Programs
• Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming
• Cautious reasoning in ASP via minimal models and unsatisfiable cores
• selp: A Single-Shot Epistemic Logic Program Solver
• Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
• Title not available (Why is that?)
• Vicious circle principle, aggregates, and formation of sets in ASP based languages
• Multi-shot ASP solving with clingo
• Design and results of the Fifth Answer Set Programming Competition
• Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all?
• DualGrounder: lazy instantiation via clingo multi-shot framework
• New models for generating hard random Boolean formulas and disjunctive logic programs
• Evaluation of disjunctive programs in WASP
• Optimizing phylogenetic supertrees using answer set programming
• The External Interface for Extending WASP
• Chain answer sets for logic programs with generalized atoms
• Better Paracoherent Answer Sets with Less Resources
• Enumeration of minimal models and MUSes in WASP
• Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring
• Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination
• QMaxSATpb: a certified MaxSAT solver
• Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy
• Solving problems in the polynomial hierarchy with ASP(Q)
• What is answer set programming to propositional satisfiability
• Shared aggregate sets in answer set programming
• Complexity and compilation of GZ-aggregates in answer set programming
• ASPeRiX, a first-order forward chaining approach for answer set computing

This page was built for software: WASP