Lparse
From MaRDI portal
Cited in
(89)- dl2asp
- PLATYPUS
- NP-SPEC
- ASSAT
- LUPS
- Cmodels
- PBS
- Gringo
- Smodels
- DLV
- DLV-EX
- What is answer set programming to propositional satisfiability
- Conflict-driven answer set solving: from theory to practice
- Potassco
- plasp
- NoMoRe
- clasp
- Asparagus
- oClingo
- WASP
- dynASP
- Clingcon
- Clingo
- A multiparametric view on answer set programming
- iClingo
- Complexity results for answer set programming with bounded predicate arities and implications
- Enhancing DLV instantiator by backjumping techniques
- ASPMT2SMT
- ROSoClingo
- SpySMAC
- Constraint answer set programming systems
- BEE
- The intelligent grounder of DLV
- Well-supported semantics for logic programs with generalized rules
- Multi-criteria optimization in answer set programming
- Tableau calculi for logic programs under answer set semantics
- Detecting inconsistencies in large biological networks with answer set programming
- scientific article; zbMATH DE number 5914356 (Why is no real title available?)
- scientific article; zbMATH DE number 5914361 (Why is no real title available?)
- aspcud
- Complex optimization in answer set programming
- nomore++
- daVinci
- Denali
- IDP3
- IDP
- GidL
- Experimenting with parallelism for the instantiation of ASP programs
- Design and implementation of aggregate functions in the DLV system
- Loop formulas for description logic programs
- Generic Tableaux for Answer Set Programming
- Properties and applications of programs with monotone and convex constraints
- A Default Approach to Semantics of Logic Programs with Constraint Atoms
- Weight Constraint Programs with Functions
- lp2normal
- Moviola
- iGROM
- SeaLion
- APE
- asprin
- ActHEX
- spock
- OntoDLV
- Knowledge-based multi-criteria optimization to support indoor positioning
- TOAST
- LAIMA
- OMiGA
- ASPTools
- DLV2
- scientific article; zbMATH DE number 1884404 (Why is no real title available?)
- Synthesizing concurrent programs using answer set programming
- Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
- scientific article; zbMATH DE number 7455719 (Why is no real title available?)
- Inconsistency proofs for ASP: the ASP-DRUPE format
- Multi-shot ASP solving with clingo
- The jobs puzzle: taking on the challenge via controlled natural language processing
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Automated Verification of Weak Equivalence within the<scp>smodels</scp>System
- TOAST: Applying Answer Set Programming to Superoptimisation
- Logic programs with monotone abstract constraint atoms
- 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
- eclingo
- Level mapping induced loop formulas for weight constraint and aggregate logic programs
- The loop formula based semantics of description logic programs
- Modeling biological networks by action languages via answer set programming
- Expressive power and abstraction in Essence
This page was built for software: Lparse
