COBA 2.0: A Consistency-Based Belief Change System

DOI10.1007/978-3-540-75256-1_10MaRDI QIDQ3524920zbMATH OpenOpenAlexWikidataFDO

Authors James Delgrande, Daphne H. Liu, Torsten Schaub, Sven Thiele

Publication date 16 September 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75256-1_10

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1931686
• A consistency-based approach for belief change
• Consistency-based revision of structured belief bases
• Structured belief bases
• scientific article; zbMATH DE number 108002

Cites work

• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• A consistency-based approach for belief change
• COBA 2.0: A Consistency-Based Belief Change System
• Logics in Artificial Intelligence
• On Computing Belief Change Operations using Quantified Boolean Formulas
• On the logic of theory change: Partial meet contraction and revision functions
• Weakening conflicting information for iterated revision and knowledge integration

Cited in

(9)

• COBA 2.0: A Consistency-Based Belief Change System
• A consistency-based approach for belief change
• Main issues in belief revision, belief merging and information fusion
• Focused most probable world computations in probabilistic logic programs
• scientific article; zbMATH DE number 1931686 (Why is no real title available?)
• Logic based merging
• Accommodative Belief Revision
• GenB: A General Solver for AGM Revision
• An implementation of consistency-based multi-agent belief change using ASP

Describes a project that uses

Uses Software

• Sat4j

This page was built for publication: COBA 2.0: A Consistency-Based Belief Change System

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