Merging existential rules programs in multi-agent contexts through credibility accrual

DOI10.1016/J.INS.2020.10.050zbMATH Open1484.68240OpenAlexW3099369651MaRDI QIDQ2124187FDOQ2124187

Authors: Cristhian Ariel D. Deagustini, Juan C. L. Teze, Marcelo A. Falappa, Guillermo R. Simari, Maria Vanina Martinez 

Publication date: 14 April 2022

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11336/142511

Recommendations

• Logics in Artificial Intelligence
• A consistency-based framework for merging knowledge bases
• Merging Belief Bases Represented by Logic Programs
• Merging Information Under Constraints: A Logical Framework
• Implementing semantic merging operators using binary decision diagrams

zbMATH Keywords

trustbelief revisionmulti-agent systemsbelief accrualontologies merging

Mathematics Subject Classification ID

Knowledge representation (68T30) Agent technology and artificial intelligence (68T42)

Cites Work

• On the logic of theory change: Partial meet contraction and revision functions
• Strong equivalence made easy: nested expressions and weight constraints
• Scoring rules for judgment aggregation
• Kernel contraction
• Rational belief change, Popper functions and counterfactuals
• Review on computational trust and reputation models
• Handbook of Computational Social Choice
• Merging Information Under Constraints: A Logical Framework
• Prioritized and non-prioritized multiple change on belief bases
• Title not available (Why is that?)
• Merging Logic Programs under Answer Set Semantics
• Logic based merging
• Merging Belief Bases Represented by Logic Programs
• Subjunctives, dispositions and chances
• Stratified belief bases revision with argumentative inference
• Knowledge Base Stratification and Merging Based on Degree of Support
• Refined epistemic entrenchment
• Belief base contraction by belief accrual
• On the revision of informant credibility orders
• Datalog\(^\pm\) ontology consolidation
• Title not available (Why is that?)
• How Dirty Is Your Relational Database? An Axiomatic Approach
• Belief base rationalization for propositional merging
• Multi-source multiple change on belief bases
• A framework for multi-agent belief revision

Cited In (3)

• Automated merging of conflicting knowledge bases, using a consistent, majority-rule approach with knowledge-form maintenance
• Implementing semantic merging operators using binary decision diagrams
• Belief revision and computational argumentation: a critical comparison

This page was built for publication: Merging existential rules programs in multi-agent contexts through credibility accrual

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