Research Output per year
Research Output 2015 2018
Programming and Verifying a Declarative First-Order Prover in Isabelle/HOL
Jensen, A. B., Larsen, J. B., Schlichtkrull, A. & Villadsen, J., 2018, In : AI Communications. 31, 3, p. 281-299Research output: Contribution to journal › Journal article › Research › peer-review
Open Access
File
First-Order Logic According to Harrison
Jensen, A. B., Schlichtkrull, A. & Villadsen, J., 2017, In : Archive of Formal Proofs. p. 1-66Research output: Contribution to journal › Journal article › Research › peer-review
Open Access
File
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle
Villadsen, J., Jensen, A. B. & Schlichtkrull, A., 2017, In : IfCoLog Journal of Logics and their Applications. 4, 1, p. 55-82Research output: Contribution to journal › Journal article › Research › peer-review
Open Access
File
Verication of an LCF-Style First-Order Prover with Equality
Jensen, A. B., Schlichtkrull, A. & Villadsen, J., 2016, Proceedings of the Isabelle Workshop 2016. 15 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open Access
File
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle
Villadsen, J., Jensen, A. B. & Schlichtkrull, A., 2015, Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL 2015). p. 253-262Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open Access
File
Projects 2019 2022
- 1 Active
Logical Foundations of Al Algorithms
Jensen, A. B., Villadsen, J. & Mödersheim, S. A.
01/02/2019 → 31/01/2022
Project: PhD