Merging Logic Programs under Answer Set Semantics
From MaRDI portal
Publication:4649730
DOI10.1007/978-3-642-02846-5_17zbMATH Open1251.68057OpenAlexW1554100114MaRDI QIDQ4649730FDOQ4649730
Stefan Woltran, Hans Tompits, Torsten Schaub, James Delgrande
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
Cites Work
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Strong equivalence made easy: nested expressions and weight constraints
- Strongly equivalent logic programs
- Title not available (Why is that?)
- 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 (14)
- Merging Logic Programs under Answer Set Semantics
- Prioritized and non-prioritized multiple change on belief bases
- Belief Base Change Operations for Answer Set Programming
- Merging existential rules programs in multi-agent contexts through credibility accrual
- 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?)
- How does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)?
Uses Software
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 👍 👎
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)
