clasp
From MaRDI portal
Clasp
Cited in
(only showing first 100 items - show all)- Modeling biological networks by action languages via answer set programming
- Generating explanations for biomedical queries
- A Translation-based Approach to the Verification of Modular Equivalence
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
- Boosting Answer Set Optimization with Weighted Comparator Networks
- Extending the metabolic network of Ectocarpus siliculosus using answer set programming
- Look-back techniques for ASP programs with aggregates
- \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming
- Model enumeration in propositional circumscription via unsatisfiable core analysis
- Answer set programming modulo acyclicity
- Logic programs with abstract constraint atoms: the role of computations
- Automata and Answer Set Programming
- Progress in clasp series 3
- To Vladimir Lifschitz on His 65th Birthday
- Toward Question Answering in Travel Domains
- Multi-threaded ASP solving with clasp
- Effectively reasoning about infinite sets in answer set programming
- Encoding the Revision of Partially Preordered Information in Answer Set Programming
- Boolean lexicographic optimization: algorithms \& applications
- Knowledge-based multi-criteria optimization to support indoor positioning
- Scheduling reach mahjong tournaments using pseudoboolean constraints
- Combinatorial optimization solutions for the maximum quartet consistency problem
- Stable-unstable semantics: Beyond NP with normal logic programs
- claspfolio2: Advances in Algorithm Selection for Answer Set Programming
- Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs
- ASlib: a benchmark library for algorithm selection
- Better paracoherent answer sets with less resources
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming
- Rough set reasoning using answer set programs
- Optimal scheduling for exposed datapath architectures with buffered processing units by ASP
- Multivalued action languages with constraints in \(CLP(FD)\)
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments
- Constraint answer set programming systems
- Paracoherent answer set computation
- Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs
- Hybrid metabolic network completion
- Detecting inconsistencies in large biological networks with answer set programming
- Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity
- The Seventh Answer Set Programming Competition: Design and Results
- A translational approach to constraint answer set solving
- Answer set programming modulo acyclicity
- Anytime answer set optimization via unsatisfiable core shrinking
- Checking termination of bottom-up evaluation of logic programs with function symbols
- Iteratively-supported formulas and strongly supported models for Kleene answer set programs (extended abstract)
- Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
- Coalition formation in social environments with logic-based agents1
- ASPeRiX
- GNT
- OptSAT
- Pueblo
- PLATYPUS
- TopLog
- ASSAT
- Cmodels
- DLV
- Gringo
- Lparse
- Smodels
- SATzilla
- Potassco
- GASP
- CCGbank
- OPIUM
- Asparagus
- Terminyzer
- oClingo
- Galliwasp
- AspCcgTk
- MSUnCore
- Clingcon
- Clingo
- Celldesigner
- Azucar
- URBiVA
- CSP2SAT4J
- GlueMiniSat
- WASP
- Lua
- Sugar
- iClingo
- claspfolio 2
- SIMPLY
- pfolioUZK
- ASPMT2SMT
- fzn2smt
- OOASP
- URSA
- COBRApy
- sharpSAT
- BEE
- GRAPPA
- ManyOpt
- MiningZinc
- Datalog
- htd
- nomore++
- GrappaVis
- Lpopt
- IDP3
- GidL
This page was built for software: clasp
