EasyChair Smart SlideDocs/Log in
Conference: Deduktionstreffen-2018 (Annual Meeting of the section "Deduction Systems" of the Gesellschaft für Informatik, Germany)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Proof Recovery for the IMPS system

Proof Recovery for the IMPS system

Jonas Betzendahl

Quantifier handling in SMT

Quantifier handling in SMT

Pascal Fontaine

Deep Reasoning - Hardware Accelerated Artificial Intelligence

Deep Reasoning - Hardware Accelerated Artificial Intelligence

Phillip Lippe and Stephan Schulz

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

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

Stephan Schulz

A Roadmap to Gradually Compare and Benchmarking Description Logic Calculi

A Roadmap to Gradually Compare and Benchmarking Description Logic Calculi

Fred Freitas

Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle

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

Presentations in this collection: 6
Copyright © 2002 – 2024 EasyChair