Partial equilibrium logic

DOI10.1007/S10472-007-9075-0MaRDI QIDQ2457796zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 23 October 2007

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-007-9075-0

zbMATH Keywords

Logic programmingNonclassical logicsPartial equilibrium logicWell-founded semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Equilibrium logic
• Parametrized equilibrium logic
• scientific article; zbMATH DE number 1028816
• Contingency-based equilibrium logic
• scientific article; zbMATH DE number 6290314
• On the Logic and Computation of Partial Equilibrium Models
• Combining equilibrium logic and dynamic logic
• scientific article; zbMATH DE number 1225459
• Logical form and reflective equilibrium

Cites work

• A semantical analysis of implicational system I and of the first degree of entailment
• Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
• Characterizations of the disjunctive stable semantics by partial evaluation
• Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA
• Equilibrium logic
• Expressive power and complexity of partial models for disjunctive deductive databases
• scientific article; zbMATH DE number 1612562 (Why is no real title available?)
• scientific article; zbMATH DE number 1696829 (Why is no real title available?)
• scientific article; zbMATH DE number 4104920 (Why is no real title available?)
• scientific article; zbMATH DE number 25192 (Why is no real title available?)
• scientific article; zbMATH DE number 741347 (Why is no real title available?)
• scientific article; zbMATH DE number 741348 (Why is no real title available?)
• scientific article; zbMATH DE number 2090116 (Why is no real title available?)
• scientific article; zbMATH DE number 1407680 (Why is no real title available?)
• scientific article; zbMATH DE number 5212421 (Why is no real title available?)
• Lattices related to Post algebras and their applications to some logical systems
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• Nested expressions in logic programs
• Nonmonotonic reasoning, preferential models and cumulative logics
• On the equivalence of the static and disjunctive well-founded semantics and its computation
• On the partial semantics for disjunctive deductive databases
• Semantics of (disjunctive) logic programs based on partial evaluation
• Strongly equivalent logic programs
• The well-founded semantics for general logic programs
• Well-founded and stationary models of logic programs

Cited in

(12)

• Logic with equality: Partisan corroboration and shifted pairing
• Autoepistemic answer set programming
• Semi-equilibrium models for paracoherent answer set programs
• Well-Founded and Partial Stable Semantics Logical Aspects
• On the Logic and Computation of Partial Equilibrium Models
• A denotational semantics for equilibrium logic
• Logics in Artificial Intelligence
• scientific article; zbMATH DE number 6290314 (Why is no real title available?)
• Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
• Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming
• Probabilistic autoepistemic equilibrium logic
• Abstract argumentation and answer set programming: two faces of Nelson's logic

This page was built for publication: Partial equilibrium logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2457796)