Fusing First-Order Knowledge Compilation and the Lifted Junction Tree Algorithm

DOI10.1007/978-3-030-00111-7_3zbMATH Open1515.68302WikidataQ64363083 ScholiaQ64363083MaRDI QIDQ6488077

Tanya Braun, Ralf Möller

Publication date: 24 March 2023

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Knowledge trees in complex knowledge bases 👍 👎
• A decidable first-order logic for knowledge representation 👍 👎
• A practical integration of first-order reasoning and decision procedures 👍 👎
• Merging First-Order Knowledge Using Dilation Operators 👍 👎

This page was built for publication: Fusing First-Order Knowledge Compilation and the Lifted Junction Tree Algorithm

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