An Implementation of Consistency-Based Multi-agent Belief Change Using ASP

DOI10.1007/978-3-319-23264-5_40zbMath1467.68193OpenAlexW2396926917MaRDI QIDQ3449231

James P. Delgrande, Torsten Schaub, Paul A. Vicol

Publication date: 4 November 2015

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23264-5_40

zbMATH Keywords

belief changeanswer set programmingPythonbelief merging

Mathematics Subject Classification ID

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

Related Items (1)

Equibel

Uses Software

• Clingo

Cites Work

• A consistency-based approach for belief change
• A consistency-based framework for merging knowledge bases
• Merging Information Under Constraints: A Logical Framework
• Multi-shot ASP solving with clingo
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty

This page was built for publication: An Implementation of Consistency-Based Multi-agent Belief Change Using ASP