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

DOI10.1007/978-3-319-23264-5_40MaRDI QIDQ3449231zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

answer set programmingbelief changePythonbelief merging

Mathematics Subject Classification ID

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

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

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

Cited in

(4)

• A Verified AsmL Implementation of Belief Revision
• scientific article; zbMATH DE number 1931686 (Why is no real title available?)
• Equibel
• Implementation of belief change operators using BDDs

Describes a project that uses

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)