swMATH4633MaRDI QIDQ16803FDOQ16803
Author name not available (Why is that?)
Official website: http://www.tcs.hut.fi/Software/smodels/
Cited In (86)
- Synthesizing concurrent programs using answer set programming
- The jobs puzzle: taking on the challenge via controlled natural language processing
- Title not available (Why is that?)
- Level mapping induced loop formulas for weight constraint and aggregate logic programs
- Modeling biological networks by action languages via answer set programming
- Information Security and Privacy
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
- Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
- Generic Tableaux for Answer Set Programming
- Knowledge-based multi-criteria optimization to support indoor positioning
- Loop formulas for description logic programs
- Title not available (Why is that?)
- Experimenting with parallelism for the instantiation of ASP programs
- Constraint answer set programming systems
- A multiparametric view on answer set programming
- Complex optimization in answer set programming
- Detecting inconsistencies in large biological networks with answer set programming
- Weight Constraint Programs with Functions
- A Default Approach to Semantics of Logic Programs with Constraint Atoms
- Conflict-driven answer set solving: from theory to practice
- Enhancing DLV instantiator by backjumping techniques
- dl2asp
- Title not available (Why is that?)
- Title not available (Why is that?)
- LUPS
- Cmodels
- DLV
- DLV-EX
- Gringo
- PBS
- Smodels
- Potassco
- clasp
- NoMoRe
- plasp
- Asparagus
- oClingo
- dynASP
- Clingcon
- Clingo
- WASP
- iClingo
- ASPMT2SMT
- ROSoClingo
- BEE
- SpySMAC
- Multi-shot ASP solving with clingo
- Automated Verification of Weak Equivalence within the<scp>smodels</scp>System
- aspcud
- daVinci
- nomore++
- Denali
- IDP3
- GidL
- IDP
- lp2normal
- Moviola
- ActHEX
- APE
- asprin
- iGROM
- OntoDLV
- SeaLion
- spock
- LAIMA
- ASPTools
- DLV2
- TOAST
- OMiGA
- Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
- Multi-criteria optimization in answer set programming
- The loop formula based semantics of description logic programs
- Inconsistency proofs for ASP: the ASP-DRUPE format
- eclingo
- TOAST: Applying Answer Set Programming to Superoptimisation
- Logic Programming and Nonmonotonic Reasoning
- Logic programs with monotone abstract constraint atoms
- The intelligent grounder of DLV
- Well-supported semantics for logic programs with generalized rules
- Design and implementation of aggregate functions in the DLV system
- What is answer set programming to propositional satisfiability
- Tableau calculi for logic programs under answer set semantics
- Expressive power and abstraction in Essence
- Properties and applications of programs with monotone and convex constraints
- Complexity results for answer set programming with bounded predicate arities and implications
- Logic Programming and Nonmonotonic Reasoning
This page was built for software: Lparse
