Lparse

swMATH4633MaRDI QIDQ16803FDOQ16803

Author name not available (Why is that?)

Described by source

• Lparse Programs Revisited: Semantics and Representation of Aggregates

Cited In (41)

• The Intelligent Grounder of DLV
• 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
• Well-Supported Semantics for Logic Programs with Generalized Rules
• Generic Tableaux for Answer Set Programming
• The jobs puzzle: Taking on the challenge via controlled natural language processing
• Tableau Calculi for Logic Programs under Answer Set Semantics
• Efficiently Coupling the I-DLV Grounder with ASP Solvers
• 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
• Inconsistency Proofs for ASP: The ASP - DRUPE Format
• 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
• Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs
• 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
• Multi-criteria optimization in answer set programming
• The loop formula based semantics of description logic programs
• Title not available (Why is that?)
• TOAST: Applying Answer Set Programming to Superoptimisation
• Logic Programming and Nonmonotonic Reasoning
• Logic programs with monotone abstract constraint atoms
• Synthesizing Concurrent Programs Using Answer Set Programming
• Design and implementation of aggregate functions in the DLV system
• What is answer set programming to propositional satisfiability
• Expressive power and abstraction in Essence
• Complexity results for answer set programming with bounded predicate arities and implications
• Logic Programming and Nonmonotonic Reasoning

This page was built for software: Lparse