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

DOI10.1016/J.INS.2020.10.050MaRDI QIDQ2124187zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

trustbelief revisionmulti-agent systemsbelief accrualontologies merging

Mathematics Subject Classification ID

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

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

Cites work

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

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)