Merging Qualitative Constraints Networks Using Propositional Logic

DOI10.1007/978-3-642-02906-6_31zbMath1245.68182OpenAlexW1513592428MaRDI QIDQ3638160

Nicolas Schwind, Jean-François Condotta, Souhila Kaci, Pierre Marquis

Publication date: 2 July 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-642-02906-6_31

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items

Logic based merging

Cites Work

• Unnamed Item
• Implementing semantic merging operators using binary decision diagrams
• On the Semantics of Arbitration
• Merging Information Under Constraints: A Logical Framework