Follow
Anders Schlichtkrull
Anders Schlichtkrull
Verified email at cs.aau.dk - Homepage
Title
Cited by
Cited by
Year
Formalization of the resolution calculus for first-order logic
A Schlichtkrull
Journal of Automated Reasoning 61 (1-4), 455-484, 2018
352018
A verified prover based on ordered resolution
A Schlichtkrull, JC Blanchette, D Traytel
Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019
322019
Formalizing Bachmair and Ganzinger’s ordered resolution prover
A Schlichtkrull, J Blanchette, D Traytel, U Waldmann
Journal of Automated Reasoning 64 (7), 1169-1195, 2020
312020
Programming and verifying a declarative first-order prover in Isabelle/HOL
AB Jensen, JB Larsen, A Schlichtkrull, J Villadsen
AI Communications 31 (3), 281-299, 2018
192018
NaDeA: A natural deduction assistant with a formalization in Isabelle
J Villadsen, AB Jensen, A Schlichtkrull
arXiv preprint arXiv:1507.04002, 2015
172015
Teaching a formalized logical calculus
AH From, AB Jensen, A Schlichtkrull, J Villadsen
arXiv preprint arXiv:2002.12555, 2020
152020
Natural deduction assistant (NaDeA)
J Villadsen, AH From, A Schlichtkrull
arXiv preprint arXiv:1904.00618, 2019
152019
Students' Proof Assistant (SPA)
A Schlichtkrull, J Villadsen, AH From
arXiv preprint arXiv:1904.00617, 2019
132019
Are we preparing students to build security in?
N Dragoni, AL Lafuente, F Massacci, A Schlichkrull
A Survey of European Cybersecurity Education Programs, IEEE on Security and …, 2021
122021
TPL: A trust policy language
S Mödersheim, A Schlichtkrull, G Wagner, S More, L Alber
Trust Management XIII: 13th IFIP WG 11.11 International Conference, IFIPTM …, 2019
112019
A Verified Simple Prover for First-Order Logic.
J Villadsen, A Schlichtkrull, AH From
PAAR@ FLoC, 88-104, 2018
102018
Adapting the TPL trust policy language for a self-sovereign identity world
L Alber, S More, S Mödersheim, A Schlichtkrull
Open Identity Summit 2021, 2021
82021
Formalization of Bachmair and Ganzinger’s ordered resolution prover. Archive of Formal Proofs 2018 (2018)
A Schlichtkrull, JC Blanchette, D Traytel, U Waldmann
8
Natural deduction and the Isabelle proof assistant
J Villadsen, AH From, A Schlichtkrull
arXiv preprint arXiv:1803.01473, 2018
72018
Formalizing a paraconsistent logic in the Isabelle proof assistant
J Villadsen, A Schlichtkrull
Transactions on Large-Scale Data-and Knowledge-Centered Systems XXXIV …, 2017
62017
Performing security proofs of stateful protocols
AV Hess, S Mödersheim, AD Brucker, A Schlichtkrull
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021
52021
A verified functional implementation of Bachmair and Ganzinger’s ordered resolution prover
A Schlichtkrull, JC Blanchette, D Traytel
Archive of Formal Proofs, 1-60, 2018
52018
Formalization of logic in the Isabelle proof assistant
A Schlichtkrull
Ph. D. Thesis, 2018
52018
Formalization of Bachmair and Ganzinger’s ordered resolution prover
A Schlichtkrull, JC Blanchette, D Traytel, U Waldmann
Archive of Formal Proofs 2018, 2018
52018
Formalization of many-valued logics
J Villadsen, A Schlichtkrull
Partiality and Underspecification in Information, Languages, and Knowledge …, 2017
52017
The system can't perform the operation now. Try again later.
Articles 1–20