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

DOI10.1007/978-3-319-23264-5_40zbMATH Open1467.68193OpenAlexW2396926917MaRDI QIDQ3449231FDOQ3449231

James 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

answer set programmingbelief changePythonbelief merging

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (3)

• Title not available (Why is that?)
• Equibel
• Implementation of belief change operators using BDDs

Uses Software

• Clingo

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

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