The TPTP World Tutorial

Introduction

Examples for the Education Process

The ATP Process

Ethics, Law, Medicine, Politics ...

Automated Reasoning requires Intelligence

The End - Any Questions?