An implementation of consistency-based multi-agent belief change using ASP

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

Authors: Paul A. Vicol, James Delgrande, Torsten Schaub 

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

Recommendations

• Extending belief bases change to logic programs with ASP
• A consistency-based approach for belief change
• scientific article; zbMATH DE number 1931686
• Belief Base Change Operations for Answer Set Programming
• COBA 2.0: A Consistency-Based Belief Change System

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 (4)

• Title not available (Why is that?)
• A Verified AsmL Implementation of Belief Revision
• 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)