Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Concept
Relation algebra
Formal sciences
Logic
Classical logic
First-order logic
Graph Chatbot
Related lectures (12)
Login to filter by course
Login to filter by course
Reset
Previous
Page 2 of 2
Next
Information Extraction & Knowledge Inference
Explores information extraction, knowledge inference, taxonomy induction, and entity disambiguation.
Automating First-Order Logic Proofs Using Resolution
Covers first-order logic syntax, semantics, and resolution for proving properties.
