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

• A Preference-Based Framework for Updating Logic Programs
• Coordination in answer set programming
• Dynamic updates of non-monotonic knowledge bases
• 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?)
• Knowledge in flux. Modeling the dynamics of epistemic states
• Knowledge Representation, Reasoning and Declarative Problem Solving
• 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)

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

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)