Asta Halkjær From

Orcid: 0000-0002-3601-0804

Affiliations:
  • Technical University of Denmark, DTU Compute, Copenhagen, Denmark


According to our database1, Asta Halkjær From authored at least 30 papers between 2017 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL.
J. Autom. Reason., September, 2024

2023
A sequent calculus for first-order logic formalized in Isabelle/HOL.
J. Log. Comput., June, 2023

Synthetic Completeness.
Arch. Formal Proofs, 2023

A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Aesop: White-Box Best-First Proof Search for Lean.
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022
Soundness and Completeness of Implicational Logic.
Arch. Formal Proofs, 2022

A Sequent Calculus Prover for First-Order Logic with Functions.
Arch. Formal Proofs, 2022

A Naive Prover for First-Order Logic.
Arch. Formal Proofs, 2022

2021
SeCaV: A Sequent Calculus Verifier in Isabelle/HOL.
Proceedings of the Proceedings 16th Logical and Semantic Frameworks with Applications, 2021

Teaching Intuitionistic and Classical Propositional Logic Using Isabelle.
Proceedings of the Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, 2021

Soundness and Completeness of an Axiomatic System for First-Order Logic.
Arch. Formal Proofs, 2021

Public Announcement Logic.
Arch. Formal Proofs, 2021

Formalized Soundness and Completeness of Epistemic Logic.
Proceedings of the Logic, Language, Information, and Computation, 2021

A Succinct Formalization of the Completeness of First-Order Logic.
Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021

Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL.
Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021

Formalizing Henkin-Style Completeness of an Axiomatic System for Propositional Logic.
Proceedings of the Selected Reflections in Language, Logic, and Information - ESSLLI 2019, 2021

A Case Study in Computer-Assisted Meta-reasoning.
Proceedings of the Distributed Computing and Artificial Intelligence, 2021

2020
Isabelle/HOL as a Meta-Language for Teaching Logic.
Proceedings of the Proceedings 9th International Workshop on Theorem Proving Components for Educational Software, 2020

Synthetic Completeness for a Terminating Seligman-Style Tableau System.
Proceedings of the 26th International Conference on Types for Proofs and Programs, 2020

Formalizing a Seligman-Style Tableau System for Hybrid Logic - (Short Paper).
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019
Teaching a Formalized Logical Calculus.
Proceedings of the Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, 2019

Formalizing a Seligman-Style Tableau System for Hybrid Logic.
Arch. Formal Proofs, 2019

A Sequent Calculus for First-Order Logic.
Arch. Formal Proofs, 2019

2018
Multi-Agent Programming Contest 2018 - The Jason-DTU Team.
Proceedings of the Multi-Agent Programming Contest 2018, 2018

Multi-agent programming contest 2016 - the Python-DTU team.
Int. J. Agent Oriented Softw. Eng., 2018

Natural Deduction Assistant (NaDeA).
Proceedings of the Proceedings 7th International Workshop on Theorem proving components for Educational software, 2018

Students' Proof Assistant (SPA).
Proceedings of the Proceedings 7th International Workshop on Theorem proving components for Educational software, 2018

Epistemic Logic.
Arch. Formal Proofs, 2018

A Verified Simple Prover for First-Order Logic.
Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), 2018

2017
Natural Deduction and the Isabelle Proof Assistant.
Proceedings of the Proceedings 6th International Workshop on Theorem proving components for Educational software, 2017


  Loading...