Beautiful Formalizations in Isabelle/Naproche.

Adrian De Lon Peter Koepke Anton Lorenzen Adrian Marti Marcel Schütz Erik Sturzenhecker

Published in: CICM (2021)

Keyphrases

theorem prover
situation calculus
natural deduction
autoepistemic logic
first order logic
database
machine learning
rough sets