Merging Logic Programs under Answer Set Semantics

DOI10.1007/978-3-642-02846-5_17MaRDI QIDQ4649730zbMATH OpenOpenAlexFDO

Authors James Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran

Publication date 13 November 2012

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10072/30506

zbMATH Keywords

answer set programmingbelief mergingstrong equivalence

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Combining Answer Sets of Nonmonotonic Logic Programs
• Merging Belief Bases Represented by Logic Programs
• Integrating answer set programming and constraint logic programming
• Logic Programming
• Programming by combining general logic programs
• Justifications for Logic Programs Under Answer Set Semantics
• Justifications for logic programs under answer set semantics

Cites work

• scientific article; zbMATH DE number 1301608 (Why is no real title available?)
• scientific article; zbMATH DE number 1926619 (Why is no real title available?)
• scientific article; zbMATH DE number 1878314 (Why is no real title available?)
• scientific article; zbMATH DE number 1453062 (Why is no real title available?)
• A Preference-Based Framework for Updating Logic Programs
• Coordination in answer set programming
• Dynamic updates of non-monotonic knowledge bases
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Knowledge in flux. Modeling the dynamics of epistemic states
• Merging Information Under Constraints: A Logical Framework
• Merging Logic Programs under Answer Set Semantics
• On properties of update sequences based on causal rejection
• On the semantics of combination operations
• Possibilistic merging and distance-based fusion of propositional information
• Propositional theories are strongly equivalent to logic programs
• Strong equivalence made easy: nested expressions and weight constraints
• Strongly equivalent logic programs

Cited in

(20)

• Belief Base Change Operations for Answer Set Programming
• Sum-based weighted belief base merging: from commensurable to incommensurable framework
• On merging software extensions
• Merging existential rules programs in multi-agent contexts through credibility accrual
• Combining Answer Sets of Nonmonotonic Logic Programs
• Stratified belief bases revision with argumentative inference
• AGM contraction and revision of rules
• A model-theoretic approach to belief change in answer set programming
• Implementing prioritized merging with ASP
• Main issues in belief revision, belief merging and information fusion
• Prioritized and non-prioritized multiple change on belief bases
• scientific article; zbMATH DE number 3890714 (Why is no real title available?)
• Multi-shot ASP solving with clingo
• Logic based merging
• Characterization of logic program revision as an extension of propositional revision
• Updating action domain descriptions
• Merging Logic Programs under Answer Set Semantics
• Constructing Consensus Logic Programs
• How does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)?
• Merging Belief Bases Represented by Logic Programs

Describes a project that uses

Uses Software

• PSATO
• SATO

This page was built for publication: Merging Logic Programs under Answer Set Semantics

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