Lparse

swMATH4633MaRDI QIDQ16803FDOQ16803

Author name not available (Why is that?)

Described by source

• Lparse Programs Revisited: Semantics and Representation of Aggregates

Cited In (41)

• 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
• Synthesizing concurrent programs using answer set programming
• 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
• The jobs puzzle: taking on the challenge via controlled natural language processing
• A Default Approach to Semantics of Logic Programs with Constraint Atoms
• Title not available (Why is that?)
• Conflict-driven answer set solving: from theory to practice
• Enhancing DLV instantiator by backjumping techniques
• Title not available (Why is that?)
• Title not available (Why is that?)
• Multi-shot ASP solving with clingo
• Automated Verification of Weak Equivalence within the<scp>smodels</scp>System
• 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
• TOAST: Applying Answer Set Programming to Superoptimisation
• Logic Programming and Nonmonotonic Reasoning
• Level mapping induced loop formulas for weight constraint and aggregate logic programs
• 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