Forgetting auxiliary atoms in forks

DOI10.1016/J.ARTINT.2019.07.005zbMATH Open1478.68338OpenAlexW2964186776WikidataQ127499548 ScholiaQ127499548MaRDI QIDQ2321342FDOQ2321342

Yanyan Li

Publication date: 28 August 2019

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2019.07.005

zbMATH Keywords

answer set programmingequilibrium logicnonmonotonic reasoningdenotational semanticsforgettingstrong equivalence

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27)

Cites Work

• CP-logic: A language of causal probabilistic events and its relation to logic programming
• Propositional semantics for disjunctive logic programs
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic Programming and Nonmonotonic Reasoning
• Strongly equivalent logic programs
• Equilibrium logic
• Conflict-driven answer set solving: from theory to practice
• Design and implementation of aggregate functions in the DLV system
• Semantical characterizations and complexity of equivalences in answer set programming
• Propositional theories are strongly equivalent to logic programs
• On equivalence of infinitary formulas under the stable model semantics
• Minimal Logic Programs
• A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There
• Preserving Strong Equivalence while Forgetting
• You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming
• Characterising equilibrium logic and nested logic programs: Reductions and complexity,
• A bird's-eye view of forgetting in answer-set programming
• A denotational semantics for equilibrium logic

Cited In (10)

• Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming
• Modular Answer Set Programming as a Formal Specification Language
• Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version
• A polynomial reduction of forks into logic programs
• Answer set programming made easy
• Syntactic ASP forgetting with forks
• Autoepistemic answer set programming
• On syntactic forgetting under uniform equivalence
• On the limits of forgetting in answer set programming
• Syntactic ASP forgetting with forks

Uses Software

• CP-logic

This page was built for publication: Forgetting auxiliary atoms in forks

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