Nested expressions in logic programs
From MaRDI portal
Publication:1978013
DOI10.1023/A:1018978005636zbMATH Open0940.68075OpenAlexW1694306392MaRDI QIDQ1978013FDOQ1978013
Authors: Lappoon R. Tang, Hudson Turner, Vladimir Lifschitz 
Publication date: 7 June 2000
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1018978005636
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 (89)
- Transition systems for model generators -- a unifying approach
- A parallel memory-efficient epistemic logic program solver: harder, better, faster
- Semi-equilibrium models for paracoherent answer set programs
- Title not available (Why is that?)
- The possibilistic Horn non-clausal knowledge bases
- Semantics and complexity of recursive aggregates in answer set programming
- When you must forget: Beyond strong persistence when forgetting in answer set programming
- Possibilistic nested logic programs and strong equivalence
- Twelve Definitions of a Stable Model
- Title not available (Why is that?)
- Equilibrium logic
- Characterising equilibrium logic and nested logic programs: Reductions and complexity,
- On elementary loops of logic programs
- Ordered completion for first-order logic programs on finite structures
- Computing weighted solutions in ASP: representation-based method vs. search-based method
- 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
- 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
- Computing loops with at most one external support rule for disjunctive logic programs
- Title not available (Why is that?)
- Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs
- On relation between constraint answer set programming and satisfiability modulo theories
- Title not available (Why is that?)
- Cumulativity Tailored for Nonmonotonic Reasoning
- Abstract gringo
- Formalising the Fisherman's Folly puzzle
- Safe beliefs for propositional theories
- On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP
- 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
- Logic Programming
- Vicious circle principle, aggregates, and formation of sets in ASP based languages
- Revisiting explicit negation in answer set programming
- Preserving strong equivalence while forgetting
- Finding similar/diverse solutions in answer set programming
- Loop formulas for circumscription
- Autoepistemic equilibrium logic and epistemic specifications
- Computing defeasible meta-logic
- An abstract view on optimizations in SAT and ASP
- DualGrounder: lazy instantiation via clingo multi-shot framework
- Inferring phylogenetic trees using answer set programming
- Hyperequivalence of logic programs with respect to supported models
- On the limits of forgetting in answer set programming
- Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach
- Probabilistic reasoning with answer sets
- Logic Programming and Nonmonotonic Reasoning
- Determining inference semantics for disjunctive logic programs
- Nested preferences in answer set programming
- Logic Programming and Nonmonotonic Reasoning
- A first polynomial non-clausal class in many-valued logic
- Well-supported semantics for logic programs with generalized rules
- Semantic forgetting in answer set programming
- What is answer set programming to propositional satisfiability
- selp: a single-shot epistemic logic program solver
- Thirteen Definitions of a Stable Model
- Weight constraints as nested expressions
- Possibilistic nested logic programs
- On Negative Unfolding in the Answer Set Semantics
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
- A formal theory of justifications
- A characterization of answer sets for logic programs
- Explaining preferences and preferring explanations
- \(\mathrm{ASP}(\mathcal{AC})\): answer set programming with algebraic constraints
- Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints
- Intelligent Instantiation and Supersafe Rules
- Title not available (Why is that?)
- Normal Form Nested Programs
- Witnesses for Answer Sets of Logic Programs
- Forgetting in ASP: the forgotten properties
- Expressiveness of communication in answer set programming
- On uniform equivalence of epistemic logic programs
- Omission-based abstraction for answer set programs
- Title not available (Why is that?)
- Computationally hard problems for logic programs under answer set semantics
- A logical approach to A-Prolog
- Normal form nested programs
- Relating weight constraint and aggregate programs: semantics and representation
- An abstract view on optimizations in propositional frameworks
- A qualitative temporal extension of here-and-there logic
- Logic Programming
- Here and there among logics for logic programming
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)
