The following pages link to Lparse (Q16803):
Displaying 41 items.
- Knowledge-based multi-criteria optimization to support indoor positioning (Q421460) (← links)
- The loop formula based semantics of description logic programs (Q764312) (← links)
- Modeling biological networks by action languages via answer set programming (Q941667) (← links)
- Expressive power and abstraction in Essence (Q941820) (← links)
- What is answer set programming to propositional satisfiability (Q1699519) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- A multiparametric view on answer set programming (Q2317973) (← links)
- Complexity results for answer set programming with bounded predicate arities and implications (Q2426101) (← links)
- Enhancing DLV instantiator by backjumping techniques (Q2426106) (← links)
- Constraint answer set programming systems (Q2883103) (← links)
- The Intelligent Grounder of DLV (Q2900523) (← links)
- Well-Supported Semantics for Logic Programs with Generalized Rules (Q2900549) (← links)
- Multi-criteria optimization in answer set programming (Q2909134) (← links)
- Tableau Calculi for Logic Programs under Answer Set Semantics (Q2946700) (← links)
- Detecting inconsistencies in large biological networks with answer set programming (Q3008410) (← links)
- (Q3011296) (← links)
- (Q3011302) (← links)
- Complex optimization in answer set programming (Q3087462) (← links)
- Experimenting with parallelism for the instantiation of ASP programs (Q3527693) (← links)
- Design and implementation of aggregate functions in the DLV system (Q3546036) (← links)
- Loop formulas for description logic programs (Q3585166) (← links)
- Generic Tableaux for Answer Set Programming (Q3608650) (← links)
- (Q3624035) (← links)
- A Default Approach to Semantics of Logic Programs with Constraint Atoms (Q3643125) (← links)
- Weight Constraint Programs with Functions (Q3643129) (← links)
- (Q4798024) (← links)
- Synthesizing Concurrent Programs Using Answer Set Programming (Q4902316) (← links)
- Efficiently Coupling the I-DLV Grounder with ASP Solvers (Q4957193) (← links)
- (Q5020979) (← links)
- Inconsistency Proofs for ASP: The ASP - DRUPE Format (Q5108508) (← links)
- Multi-shot ASP solving with clingo (Q5197744) (← links)
- The jobs puzzle: Taking on the challenge via controlled natural language processing (Q5398290) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424877) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424888) (← links)
- Automated Verification of Weak Equivalence within the<scp><i>smodels</i></scp>System (Q5431418) (← links)
- TOAST: Applying Answer Set Programming to Superoptimisation (Q5449606) (← links)
- Logic programs with monotone abstract constraint atoms (Q5451971) (← links)
- Information Security and Privacy (Q5473550) (← links)
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming (Q5504653) (← links)
- Automatic Composition of Melodic and Harmonic Music by Answer Set Programming (Q5504654) (← links)
- Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs (Q5894196) (← links)
