LUXLOGAI 2018: LUXEMBOURG LOGIC FOR AI SUMMIT
SLIDES

Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle

Abhik Pal, Benedikt Stock, Marco David, Deepak Aryal, Jonas Bayer, Bogdan Ciurezu, Yiping Deng, Prabhat Devkota, Simon Dubischar, Malte Sophian Hassler, Yufei Liu and Maria Antonia Oprea

Quantifier handling in SMT

Pascal Fontaine

Proof Recovery for the IMPS system

Jonas Betzendahl

Deep Reasoning - Hardware Accelerated Artificial Intelligence

Phillip Lippe and Stephan Schulz

Herbrand's Revenge - SAT Solving for First-Order Theorem Proving

Stephan Schulz

A Roadmap to Gradually Compare and Benchmarking Description Logic Calculi

Fred Freitas
Total: 6 presentations.