| Natural deduction assistant (nadea) J Villadsen, AH From, A Schlichtkrull arXiv preprint arXiv:1904.00618, 2019 | 20 | 2019 |
| Aesop: White-box best-first proof search for Lean J Limperg, AH From Proceedings of the 12th ACM SIGPLAN International Conference on Certified …, 2023 | 19 | 2023 |
| Isabelle/HOL as a Meta-Language for Teaching Logic A Halkjær From, J Villadsen, P Blackburn arXiv e-prints, arXiv: 2010.16014, 2020 | 18* | 2020 |
| Teaching a Formalized Logical Calculus A Halkjær From, A Birch Jensen, A Schlichtkrull, J Villadsen arXiv e-prints, arXiv: 2002.12555, 2020 | 18* | 2020 |
| Students' Proof Assistant (SPA) A Schlichtkrull, J Villadsen, AH From arXiv preprint arXiv:1904.00617, 2019 | 16 | 2019 |
| Natural deduction and the Isabelle proof assistant J Villadsen, AH From, A Schlichtkrull arXiv preprint arXiv:1803.01473, 2018 | 14 | 2018 |
| A verified simple prover for first-order logic J Villadsen, A Schlichtkrull, AH From 6th Workshop on Practical Aspects of Automated Reasoning (PAAR), 88-104, 2018 | 12 | 2018 |
| SeCaV: A sequent calculus verifier in Isabelle/HOL AH From, FK Jacobsen, J Villadsen arXiv preprint arXiv:2204.03884, 2022 | 11 | 2022 |
| A sequent calculus for first-order logic formalized in Isabelle/HOL AH From, A Schlichtkrull, J Villadsen Journal of Logic and Computation 33 (4), 818-836, 2023 | 10 | 2023 |
| Formalized soundness and completeness of epistemic logic AH From Logic, Language, Information, and Computation: 27th International Workshop …, 2021 | 10 | 2021 |
| Formalizing a Seligman-Style Tableau System for Hybrid Logic: (Short Paper) AH From, P Blackburn, J Villadsen International Joint Conference on Automated Reasoning, 474-481, 2020 | 10 | 2020 |
| Formalizing Henkin-style completeness of an axiomatic system for propositional logic AH From European Summer School in Logic, Language and Information, 80-92, 2019 | 10 | 2019 |
| Multi-agent programming contest 2016–the python-DTU team J Villadsen, AH From, S Jacobi, NN Larsen International Journal of Agent-Oriented Software Engineering 6 (1), 86-100, 2018 | 9 | 2018 |
| Formalizing axiomatic systems for propositional logic in Isabelle/HOL AH From, AM Eschen, J Villadsen Intelligent Computer Mathematics: 14th International Conference, CICM 2021 …, 2021 | 8 | 2021 |
| Multi-agent programming contest 2018—the Jason-DTU team J Villadsen, MO Bjørn, AH From, TS Henney, JB Larsen The Multi-Agent Programming Contest 2018: Agents Teaming Up in an Urban …, 2019 | 8 | 2019 |
| Formalizing a Seligman-style tableau system for hybrid logic. Archive of Formal Proofs, December 2019 AH From | 8 | |
| Teaching intuitionistic and classical propositional logic using Isabelle J Villadsen, AH From, P Blackburn arXiv preprint arXiv:2202.03567, 2022 | 7 | 2022 |
| A case study in computer-assisted meta-reasoning AH From, ST Lund, J Villadsen Distributed Computing and Artificial Intelligence, Volume 2: Special …, 2022 | 7 | 2022 |
| Synthetic completeness for a terminating Seligman-style tableau system AH From 26th International Conference on Types for Proofs and Programs, 5: 1--5: 17, 2021 | 6 | 2021 |
| Epistemic logic: Completeness of modal logics. Archive of Formal Proofs (2018) AH From | 6 | |
Jørgen VilladsenDTU ComputeDirección de correo verificada de dtu.dk
