Cmodels
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Evaluating ASP and commercial solvers on the CSPLib
- On the relation among answer set solvers
- Integrating answer set programming and constraint logic programming
- Stable models and difference logic
- ASPeRiX
- GNT
- RelNN
- PLATYPUS
- ASSAT
- Gringo
- Smodels
- Lparse
- A progression semantics for first-order logic programs
- DLV
- DLV-EX
- What is answer set programming to propositional satisfiability
- Potassco
- NoMoRe
- clasp
- GASP
- Asparagus
- Graph-based construction of minimal models
- Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
- WASP
- Galliwasp
- dynASP
- Clingcon
- Clingo
- Rough set reasoning using answer set programs
- Vicious circle principle, aggregates, and formation of sets in ASP based languages
- iClingo
- Backdoors to tractable answer set programming
- Enhancing DLV instantiator by backjumping techniques
- ROSoClingo
- Iteratively-supported formulas and strongly supported models for Kleene answer set programs (extended abstract)
- BEE
- The intelligent grounder of DLV
- Compact translations of non-disjunctive answer set programs to propositional clauses
- aspcud
- Efficient parallel ASP instantiation via dynamic rewriting
- On demand indexing for the DLV instantiator
- Datalog
- GRAPPA
- nomore++
- The Significance of Memory Costs in Answer Set Solver Implementation
- GASP: Answer set programming with lazy grounding
- scientific article; zbMATH DE number 5079838 (Why is no real title available?)
- IDP3
- IDP
- GidL
- Experimenting with parallelism for the instantiation of ASP programs
- Answer Set Programming: A Declarative Approach to Solving Search Problems
- Finding Reductions Automatically
- Discovering classes of strongly equivalent logic programs
- An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
- lp2normal
- ezcsp
- asprilo
- Ordered completion for first-order logic programs on finite structures
- anthem
- TOAST
- OMiGA
- ASPTools
- fasp2smt
- maxino
- DLV2
- Shared aggregate sets in answer set programming
- Fuzzy answer set computation via satisfiability modulo theories
- Disjunctive answer set solvers via templates
- Anytime answer set optimization via unsatisfiable core shrinking
- CPCES
- Complexity-sensitive decision procedures for abstract argumentation
- Origins of answer-set programming -- some background and two personal accounts
- Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
- Unsatisfiable core analysis and aggregates for optimum stable model search
- scientific article; zbMATH DE number 7455719 (Why is no real title available?)
- scientific article; zbMATH DE number 7455735 (Why is no real title available?)
- ANTON
- Backdoors to normality for disjunctive logic programs
- Expressiveness of logic programs under the general stable model semantics
- Model checking abstract state machines with answer set programming
- Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
- Logic Programming
- Logic Programming
- The nomore + + Approach to Answer Set Solving
- Model Checking Abstract State Machines with Answer Set Programming
- The Relationship Between Reasoning About Privacy and Default Logics
- Constructing Camin-Sokal Phylogenies Via Answer Set Programming
- Logics in Artificial Intelligence
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- On the Complexity of Answer Set Programming with Aggregates
- Automated Verification of Weak Equivalence within the<scp>smodels</scp>System
- Approximation of action theories and its application to conformant planning
- Semantics and complexity of recursive aggregates in answer set programming
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming
- Logic Programming
- scientific article; zbMATH DE number 5043340 (Why is no real title available?)
This page was built for software: Cmodels
