Merging Logic Programs under Answer Set Semantics
From MaRDI portal
Publication:4649730
DOI10.1007/978-3-642-02846-5_17zbMATH Open1251.68057OpenAlexW1554100114MaRDI QIDQ4649730FDOQ4649730
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
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
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Strong equivalence made easy: nested expressions and weight constraints
- Strongly equivalent logic programs
- Knowledge in flux. Modeling the dynamics of epistemic states
- Merging Information Under Constraints: A Logical Framework
- On properties of update sequences based on causal rejection
- Dynamic updates of non-monotonic knowledge bases
- Title not available (Why is that?)
- A Preference-Based Framework for Updating Logic Programs
- Title not available (Why is that?)
- Merging Logic Programs under Answer Set Semantics
- Possibilistic merging and distance-based fusion of propositional information
- On the semantics of combination operations
- Propositional theories are strongly equivalent to logic programs
- Title not available (Why is that?)
- Coordination in answer set programming
- Title not available (Why is that?)
Cited In (20)
- Merging Logic Programs under Answer Set Semantics
- Combining Answer Sets of Nonmonotonic Logic Programs
- Prioritized and non-prioritized multiple change on belief bases
- Merging Belief Bases Represented by Logic Programs
- Belief Base Change Operations for Answer Set Programming
- Merging existential rules programs in multi-agent contexts through credibility accrual
- A model-theoretic approach to belief change in answer set programming
- Implementing prioritized merging with ASP
- Stratified belief bases revision with argumentative inference
- Main issues in belief revision, belief merging and information fusion
- Characterization of logic program revision as an extension of propositional revision
- Updating action domain descriptions
- Logic based merging
- Sum-based weighted belief base merging: from commensurable to incommensurable framework
- Multi-shot ASP solving with clingo
- AGM contraction and revision of rules
- Title not available (Why is that?)
- Constructing Consensus Logic Programs
- How does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)?
- On merging software extensions
Uses Software
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)
