Knowledge Graphs in Principle and Practice: Logic and Reasoning [2/8]

Module II: Automated Reasoning & Logic This module focuses on the logical machinery that ensures internal consistency and enables the inference of new knowledge. The SAT Solver Engine: Mapping high-level Description Logic into the DIMACS CNF format for processing by SAT solvers like CDCL (Conflict-Driven Clause Learning). Hybrid Reasoning: Utilizing Lazy Clause Generation (LCG) to solve bottlenecks when dealing with complex, non-boolean constraints like time or linear arithmetic.

Episode details come from the podcast's RSS feed.

Embed this episode

Attribution link and audio player

Ready to play

Knowledge Graphs in Principle and Practice: Logic and Reasoning [2/8]

0:00 55:17

No transcript yet.

Requests help us decide what to transcribe next.

Share this episode

Similar podcasts

CISO Perspectives (public) N2K Networks This season on CISO Perspectives, host Kim Jones explores some of the challenges of leading through uncertainty. We explore the complexity of the changing nature of regulation and working with the federal government, the evolution of privacy and fraud, and how emerging technologies like AI and quantum computing are changing cyber. When you don’t know what questions to ask, you’re afraid to ask, or don’t know who to ask, CISO Perspectives provides the foundation for learning in this brave new world.

Frequently asked questions

How long is this episode of Salvation AI?

This episode is 55 minutes long.

When was this Salvation AI episode published?

This episode was published on April 8, 2026.

Can I download this Salvation AI episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.