clasp
From MaRDI portal
Clasp
Cited in
(only showing first 100 items - show all)- ASPeRiX
- GNT
- OptSAT
- Pueblo
- sCASP
- Dsharp
- PLATYPUS
- TopLog
- ASSAT
- Cmodels
- Gringo
- Smodels
- Lparse
- DLV
- What is answer set programming to propositional satisfiability
- Constraint-directed search for all-interval series
- \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments
- Conflict-driven answer set solving: from theory to practice
- SATzilla
- Potassco
- GASP
- OPIUM
- CCGbank
- Terminyzer
- Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons
- Asparagus
- Theorem proving as constraint solving with coherent logic
- Scheduling reach mahjong tournaments using pseudoboolean constraints
- oClingo
- URBiVA
- WASP
- Galliwasp
- MSUnCore
- Sugar
- Clingcon
- Clingo
- AspCcgTk
- Celldesigner
- GlueMiniSat
- CSP2SAT4J
- Azucar
- Lua
- Rough set reasoning using answer set programs
- Paracoherent answer set computation
- A framework for step-wise explaining how to solve constraint satisfaction problems
- Meta-interpretive learning: application to grammatical inference
- New models for generating hard random Boolean formulas and disjunctive logic programs
- iClingo
- Backdoors to tractable answer set programming
- Iterative and core-guided maxsat solving: a survey and assessment
- claspfolio 2
- SIMPLY
- Automatic synthesis of optimal-size concentrators by answer set programming
- pfolioUZK
- ASPMT2SMT
- OOASP
- fzn2smt
- Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination
- Semantics for conditional literals via the SM operator
- Solving problems in the polynomial hierarchy with ASP(Q)
- URSA
- Iteratively-supported formulas and strongly supported models for Kleene answer set programs (extended abstract)
- Symbolic system synthesis using answer set programming
- Accurate computation of sensitizable paths using answer set programming
- Extending the metabolic network of Ectocarpus siliculosus using answer set programming
- Flexible combinatory categorial grammar parsing using the CYK algorithm and answer set programming
- COBRApy
- sharpSAT
- ASlib: a benchmark library for algorithm selection
- Dynamic and static symmetry breaking in answer set programming
- Constraint answer set programming systems
- BEE
- Look-back techniques for ASP programs with aggregates
- To Vladimir Lifschitz on His 65th Birthday
- Toward Question Answering in Travel Domains
- Applying visible strong equivalence in answer-set program transformations
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming
- claspfolio2: Advances in Algorithm Selection for Answer Set Programming
- The D-FLAT system for dynamic programming on tree decompositions
- Effectively reasoning about infinite sets in answer set programming
- Symmetry breaking for distributed multi-context systems
- Combinatorial optimization solutions for the maximum quartet consistency problem
- A general framework for equivalences in answer-set programming by countermodels in the logic of here-and-there
- Detecting inconsistencies in large biological networks with answer set programming
- scientific article; zbMATH DE number 5914356 (Why is no real title available?)
- Learning and using domain-specific heuristics in ASP solvers
- ManyOpt
- MiningZinc
- URSA: a system for uniform reduction to SAT
- Datalog
- GRAPPA
- htd
- nomore++
- Lpopt
- GrappaVis
- A Translation-based Approach to the Verification of Modular Equivalence
- GASP: Answer set programming with lazy grounding
- Answer set programming modulo acyclicity
- Diagnostic reasoning for robotics using action languages
This page was built for software: clasp
