Vijay Chandru

A snapshot of events

PODCAST

XPLAINed | Can Biology + Engineering Save the Planet

IMAGE GALLERY
BLOG / VIDEO GALLERY

Artificial Intelligence

Automated Theorem Proving, the cornerstone of “Strong AI”, refers to the ability to create intelligent machines that can implement the formal rules of deductive inference (modus ponens and modus tollens) and derive formal inferences from a set of axioms.

Read More »