Follow
Asta Halkjær From
Asta Halkjær From
Unknown affiliation
No verified email - Homepage
Title
Cited by
Cited by
Year
Natural deduction assistant (nadea)
J Villadsen, AH From, A Schlichtkrull
arXiv preprint arXiv:1904.00618, 2019
202019
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
Isabelle/HOL as a Meta-Language for Teaching Logic
A Halkjær From, J Villadsen, P Blackburn
arXiv e-prints, arXiv: 2010.16014, 2020
16*2020
Students' Proof Assistant (SPA)
A Schlichtkrull, J Villadsen, AH From
arXiv preprint arXiv:1904.00617, 2019
162019
SeCaV: A sequent calculus verifier in Isabelle/HOL
AH From, FK Jacobsen, J Villadsen
arXiv preprint arXiv:2204.03884, 2022
112022
Natural deduction and the Isabelle proof assistant
J Villadsen, AH From, A Schlichtkrull
arXiv preprint arXiv:1803.01473, 2018
112018
A Verified Simple Prover for First-Order Logic.
J Villadsen, A Schlichtkrull, AH From
PAAR@ FLoC, 88-104, 2018
112018
Aesop: White-box best-first proof search for Lean
J Limperg, AH From
Proceedings of the 12th ACM SIGPLAN International Conference on Certified …, 2023
92023
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
92020
Formalizing Henkin-style completeness of an axiomatic system for propositional logic
AH From
European Summer School in Logic, Language and Information, 80-92, 2019
82019
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
82019
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
82018
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
72022
Formalized soundness and completeness of epistemic logic
AH From
Logic, Language, Information, and Computation: 27th International Workshop …, 2021
72021
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
62023
Epistemic Logic. Archive of Formal Proofs, October 2018
AH From
6
A case study in computer-assisted meta-reasoning
AH From, ST Lund, J Villadsen
Distributed Computing and Artificial Intelligence, Volume 2: Special …, 2022
52022
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
52021
IsaFoL: Isabelle formalization of logic
H Becker, JC Blanchette, M Fleury, AH From, AB Jensen, P Lammich, ...
52018
The system can't perform the operation now. Try again later.
Articles 1–20