Pages that link to "Item:Q1978013"
From MaRDI portal
The following pages link to Nested expressions in logic programs (Q1978013):
Displaying 50 items.
- Semi-equilibrium models for paracoherent answer set programs (Q253992) (← links)
- Evaluating epistemic negation in answer set programming (Q286399) (← links)
- Ordered completion for first-order logic programs on finite structures (Q420824) (← 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)
- From answer set logic programming to circumscription via logic of GK (Q543597) (← links)
- Semantics and complexity of recursive aggregates in answer set programming (Q543600) (← links)
- Formalising the Fisherman's Folly puzzle (Q543602) (← links)
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- A generalization of the Lin-Zhao theorem (Q854963) (← links)
- Equilibrium logic (Q854969) (← links)
- Answer set programming based on propositional satisfiability (Q861709) (← links)
- General default logic (Q987485) (← links)
- Hyperequivalence of logic programs with respect to supported models (Q1028652) (← links)
- What is answer set programming to propositional satisfiability (Q1699519) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Safe beliefs for propositional theories (Q1779312) (← links)
- Equivalence between answer-set programs under (partially) fixed input (Q1783736) (← links)
- Computing defeasible meta-logic (Q2055782) (← links)
- An abstract view on optimizations in SAT and ASP (Q2055811) (← links)
- DualGrounder: lazy instantiation via clingo multi-shot framework (Q2055820) (← links)
- The possibilistic Horn non-clausal knowledge bases (Q2105624) (← links)
- On the limits of forgetting in answer set programming (Q2211850) (← links)
- Determining inference semantics for disjunctive logic programs (Q2289011) (← links)
- Autoepistemic equilibrium logic and epistemic specifications (Q2307335) (← links)
- A parallel memory-efficient epistemic logic program solver: harder, better, faster (Q2317970) (← links)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
- Possibilistic nested logic programs and strong equivalence (Q2344722) (← links)
- Semantic forgetting in answer set programming (Q2389674) (← links)
- Loop formulas for circumscription (Q2457644) (← links)
- Partial equilibrium logic (Q2457796) (← links)
- Inferring phylogenetic trees using answer set programming (Q2467563) (← links)
- Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach (Q2642629) (← links)
- A characterization of answer sets for logic programs (Q2644415) (← links)
- A qualitative temporal extension of here-and-there logic (Q2694563) (← links)
- Forgetting in ASP: The Forgotten Properties (Q2835900) (← links)
- Relating weight constraint and aggregate programs: semantics and representation (Q2845120) (← links)
- On elementary loops of logic programs (Q2884258) (← links)
- Nested preferences in answer set programming (Q2892660) (← links)
- Here and There among Logics for Logic Programming (Q2900511) (← links)
- Well-Supported Semantics for Logic Programs with Generalized Rules (Q2900549) (← links)
- Improving the Normalization of Weight Rules in Answer Set Programs (Q2938492) (← links)
- Preserving Strong Equivalence while Forgetting (Q2938510) (← links)
- (Q3012537) (← links)
- Transition systems for model generators—A unifying approach (Q3087449) (← links)
- Characterising equilibrium logic and nested logic programs: Reductions and complexity, (Q3181745) (← links)
- A Formal Theory of Justifications (Q3449209) (← links)
- Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints (Q3532460) (← links)
- Thirteen Definitions of a Stable Model (Q3586017) (← links)
