Nested expressions in logic programs
From MaRDI portal
Publication:1978013
Recommendations
- Nested sequent calculi for conditional logics
- Possibilistic nested logic programs
- scientific article; zbMATH DE number 2085248
- Logic Programming and Nonmonotonic Reasoning
- Nested sequent calculi for normal conditional logics
- Expressiveness for Highly Nested Expressions in Linear Temporal Logic
- Nested sequents for intuitionistic logics
- scientific article; zbMATH DE number 2085281
- Logic programs and recursion
- The expressive powers of the logic programming semantics
Cited in
(95)- A characterization of answer sets for logic programs
- Semi-equilibrium models for paracoherent answer set programs
- A parallel memory-efficient epistemic logic program solver: harder, better, faster
- Transition systems for model generators -- a unifying approach
- Explaining preferences and preferring explanations
- The possibilistic Horn non-clausal knowledge bases
- scientific article; zbMATH DE number 2085248 (Why is no real title available?)
- Semantics and complexity of recursive aggregates in answer set programming
- \(\mathrm{ASP}(\mathcal{AC})\): answer set programming with algebraic constraints
- When you must forget: Beyond strong persistence when forgetting in answer set programming
- Possibilistic nested logic programs and strong equivalence
- Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints
- Twelve Definitions of a Stable Model
- Equilibrium logic
- Ordered completion for first-order logic programs on finite structures
- Computing weighted solutions in ASP: representation-based method vs. search-based method
- On elementary loops of logic programs
- Characterising equilibrium logic and nested logic programs: Reductions and complexity,
- scientific article; zbMATH DE number 5917724 (Why is no real title available?)
- Intelligent Instantiation and Supersafe Rules
- scientific article; zbMATH DE number 2085281 (Why is no real title available?)
- Improving the normalization of weight rules in answer set programs
- Evaluating epistemic negation in answer set programming
- From answer set logic programming to circumscription via logic of GK
- Normal Form Nested Programs
- General default logic
- A generalization of the Lin-Zhao theorem
- Relating constraint answer set programming languages and algorithms
- A first order nonmonotonic extension of constructive logic
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
- Answer set programming based on propositional satisfiability
- Forgetting in abstract argumentation: limits and possibilities
- Computing loops with at most one external support rule for disjunctive logic programs
- scientific article; zbMATH DE number 2090542 (Why is no real title available?)
- Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs
- Unifying framework for optimizations in non-Boolean formalisms
- Constraint answer set programming: integrational and translational (or SMT-based) approaches
- Forgetting in answer set programming -- a survey
- Formalising the Fisherman's Folly puzzle
- On relation between constraint answer set programming and satisfiability modulo theories
- Witnesses for Answer Sets of Logic Programs
- scientific article; zbMATH DE number 7453102 (Why is no real title available?)
- Safe beliefs for propositional theories
- Cumulativity Tailored for Nonmonotonic Reasoning
- Forgetting in ASP: the forgotten properties
- Abstract gringo
- On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP
- Expressiveness of communication in answer set programming
- On uniform equivalence of epistemic logic programs
- Omission-based abstraction for answer set programs
- Constraint answer set solver EZCSP and why integration schemas matter
- Equivalence between answer-set programs under (partially) fixed input
- Conflict-driven answer set solving: from theory to practice
- Partial equilibrium logic
- Vicious circle principle, aggregates, and formation of sets in ASP based languages
- Logic Programming
- Preserving strong equivalence while forgetting
- Revisiting explicit negation in answer set programming
- Loop formulas for circumscription
- Finding similar/diverse solutions in answer set programming
- Autoepistemic equilibrium logic and epistemic specifications
- scientific article; zbMATH DE number 871157 (Why is no real title available?)
- Computing defeasible meta-logic
- An abstract view on optimizations in SAT and ASP
- DualGrounder: lazy instantiation via clingo multi-shot framework
- Hyperequivalence of logic programs with respect to supported models
- Inferring phylogenetic trees using answer set programming
- Computationally hard problems for logic programs under answer set semantics
- A logical approach to A-Prolog
- On the limits of forgetting in answer set programming
- Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach
- Probabilistic reasoning with answer sets
- Normal form nested programs
- Logic Programming and Nonmonotonic Reasoning
- Determining inference semantics for disjunctive logic programs
- Relating weight constraint and aggregate programs: semantics and representation
- Nested preferences in answer set programming
- An abstract view on optimizations in propositional frameworks
- Logic Programming and Nonmonotonic Reasoning
- A first polynomial non-clausal class in many-valued logic
- Well-supported semantics for logic programs with generalized rules
- `Selective programming': response to `From felicitous models to answer set programming' by V. Lifschitz
- From felicitous models to answer set programming
- A qualitative temporal extension of here-and-there logic
- Semantic forgetting in answer set programming
- What is answer set programming to propositional satisfiability
- Logic Programming
- Here and there among logics for logic programming
- Thirteen Definitions of a Stable Model
- selp: a single-shot epistemic logic program solver
- On Negative Unfolding in the Answer Set Semantics
- Weight constraints as nested expressions
- Possibilistic nested logic programs
- A formal theory of justifications
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
This page was built for publication: Nested expressions in logic programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1978013)
