Pages that link to "Item:Q4673539"
From MaRDI portal
The following pages link to Weight constraints as nested expressions (Q4673539):
Displaying 34 items.
- Semi-equilibrium models for paracoherent answer set programs (Q253992) (← links)
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- Computing weighted solutions in ASP: representation-based method vs. search-based method (Q421455) (← links)
- Relating constraint answer set programming languages and algorithms (Q490456) (← links)
- Semantics and complexity of recursive aggregates in answer set programming (Q543600) (← links)
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- Weight constraint programs with evaluable functions (Q645084) (← links)
- Equilibrium logic (Q854969) (← links)
- Answer set programming based on propositional satisfiability (Q861709) (← links)
- What is answer set programming to propositional satisfiability (Q1699519) (← links)
- The possibilistic Horn non-clausal knowledge bases (Q2105624) (← links)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
- Inferring phylogenetic trees using answer set programming (Q2467563) (← links)
- Relating weight constraint and aggregate programs: Semantics and representation (Q2845120) (← links)
- Disjunctive Programs with Set Constraints (Q2900542) (← links)
- Improving the Normalization of Weight Rules in Answer Set Programs (Q2938492) (← links)
- Transition systems for model generators—A unifying approach (Q3087449) (← links)
- Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs (Q3546042) (← links)
- Thirteen Definitions of a Stable Model (Q3586017) (← links)
- Probabilistic reasoning with answer sets (Q3612603) (← links)
- Shared aggregate sets in answer set programming (Q4559794) (← links)
- Generating explanations for biomedical queries (Q4592972) (← links)
- Abstract gringo (Q4592989) (← links)
- Rewriting recursive aggregates in answer set programming: back to monotonicity (Q4592997) (← links)
- First-order modular logic programs and their conservative extensions (Q4593056) (← links)
- Constraint answer set solver EZCSP and why integration schemas matter (Q4593093) (← links)
- On relation between constraint answer set programming and satisfiability modulo theories (Q4593096) (← links)
- On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers (Q4649734) (← links)
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
- Finding similar/diverse solutions in answer set programming (Q5298797) (← links)
- Twelve Definitions of a Stable Model (Q5504644) (← links)
- On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP (Q5504658) (← links)
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs (Q6063883) (← links)
- Computationally hard problems for logic programs under answer set semantics (Q6636616) (← links)
