Lparse

swMATH4633MaRDI QIDQ16803

No author found.

Described by source

• Lparse Programs Revisited: Semantics and Representation of Aggregates

Related Items (41)

The Intelligent Grounder of DLV ⋮ Well-Supported Semantics for Logic Programs with Generalized Rules ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Tableau Calculi for Logic Programs under Answer Set Semantics ⋮ Logic Programming and Nonmonotonic Reasoning ⋮ Logic Programming and Nonmonotonic Reasoning ⋮ Inconsistency Proofs for ASP: The ASP - DRUPE Format ⋮ Complexity results for answer set programming with bounded predicate arities and implications ⋮ Enhancing DLV instantiator by backjumping techniques ⋮ Knowledge-based multi-criteria optimization to support indoor positioning ⋮ Unnamed Item ⋮ What is answer set programming to propositional satisfiability ⋮ Experimenting with parallelism for the instantiation of ASP programs ⋮ Unnamed Item ⋮ Design and implementation of aggregate functions in the DLV system ⋮ Information Security and Privacy ⋮ The jobs puzzle: Taking on the challenge via controlled natural language processing ⋮ Modeling biological networks by action languages via answer set programming ⋮ Expressive power and abstraction in Essence ⋮ Synthesizing Concurrent Programs Using Answer Set Programming ⋮ Detecting inconsistencies in large biological networks with answer set programming ⋮ Unnamed Item ⋮ Conflict-driven answer set solving: from theory to practice ⋮ Loop formulas for description logic programs ⋮ Automated Verification of Weak Equivalence within the<scp>smodels</scp>System ⋮ Multi-shot ASP solving with clingo ⋮ Generic Tableaux for Answer Set Programming ⋮ TOAST: Applying Answer Set Programming to Superoptimisation ⋮ Logic programs with monotone abstract constraint atoms ⋮ Efficiently Coupling the I-DLV Grounder with ASP Solvers ⋮ Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs ⋮ Complex optimization in answer set programming ⋮ A Default Approach to Semantics of Logic Programs with Constraint Atoms ⋮ Weight Constraint Programs with Functions ⋮ The loop formula based semantics of description logic programs ⋮ A multiparametric view on answer set programming ⋮ Constraint Answer Set Programming Systems ⋮ Detecting Inconsistencies in Large Biological Networks with Answer Set Programming ⋮ Automatic Composition of Melodic and Harmonic Music by Answer Set Programming ⋮ Multi-Criteria Optimization in Answer Set Programming

This page was built for software: Lparse