Implementing prioritized merging with ASP

DOI10.1007/978-3-642-14055-6_15MaRDI QIDQ3163981zbMATH OpenOpenAlexFDO

Authors Julien Hué, Odile Papini, Eric Würbel

Publication date 27 October 2010

Published in Communications in Computer and Information Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14055-6_15

zbMATH Keywords

fusioniterated revisionASP reasoning under inconsistency

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Syntactic Propositional Belief Bases Fusion with Removed Sets
• Logics in Artificial Intelligence
• Merging Belief Bases Represented by Logic Programs
• Merging Logic Programs under Answer Set Semantics
• Possibilistic merging and distance-based fusion of propositional information

Cites work

• scientific article; zbMATH DE number 1269569 (Why is no real title available?)
• scientific article; zbMATH DE number 1735982 (Why is no real title available?)
• scientific article; zbMATH DE number 1929230 (Why is no real title available?)
• scientific article; zbMATH DE number 1931689 (Why is no real title available?)
• A practical approach to revising prioritized knowledge bases
• ASSAT: computing answer sets of a logic program by SAT solvers
• Answer set programming based on propositional satisfiability
• Approaches to Constructing a Stratified Merged Knowledge Base
• Knowledge Base Stratification and Merging Based on Degree of Support
• Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15--17, 2007. Proceedings
• Logical representation and fusion of prioritized information based on guaranteed possibility measures: Application to the distance-based merging of classical bases
• On the Semantics of Arbitration
• Possibilistic merging and distance-based fusion of propositional information
• Syntactic Propositional Belief Bases Fusion with Removed Sets
• Weakening conflicting information for iterated revision and knowledge integration

Cited in

(1)

• Logic programming

Describes a project that uses

Uses Software

• NoMoRe
• ASSAT

This page was built for publication: Implementing prioritized merging with ASP

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