COBA 2.0: A Consistency-Based Belief Change System

DOI10.1007/978-3-540-75256-1_10zbMath1148.68492OpenAlexW1558357271WikidataQ56755029 ScholiaQ56755029MaRDI QIDQ3524920

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

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

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

Related Items (5)

COBA 2.0: A Consistency-Based Belief Change System ⋮ Focused most probable world computations in probabilistic logic programs ⋮ Accommodative Belief Revision ⋮ Logic based merging ⋮ GenB: A General Solver for AGM Revision

Uses Software

• Sat4j

Cites Work

• Unnamed Item
• A consistency-based approach for belief change
• Weakening conflicting information for iterated revision and knowledge integration
• COBA 2.0: A Consistency-Based Belief Change System
• On the logic of theory change: Partial meet contraction and revision functions
• On Computing Belief Change Operations using Quantified Boolean Formulas
• Logics in Artificial Intelligence

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