This paper presents an implementation of a general framework#R##N#for consistency-based belief change using Answer Set Programming#R##N#(ASP). We describe Equibel, a software system for working with belief#R##N#change operations on arbitrary graph topologies. The system has an ASP#R##N#component that performs a core maximization procedure, and a Python#R##N#component that performs additional processing on the output of the#R##N#ASP solver. The Python component also provides an interactive interface#R##N#that allows users to create a graph, set formulas at nodes, perform#R##N#belief change operations, and query the resulting graph.
['Paul Vicol', 'James P. Delgrande', 'Torsten Schaub']
An Implementation of Consistency-Based Multi-Agent Belief Change using ASP