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), 455-484, 2018
312018
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
272020
A verified prover based on ordered resolution
A Schlichtkrull, JC Blanchette, D Traytel
Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019
252019
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
172018
NaDeA: A natural deduction assistant with a formalization in Isabelle
J Villadsen, AB Jensen, A Schlichtkrull
arXiv preprint arXiv:1507.04002, 2015
162015
Natural deduction assistant (nadea)
J Villadsen, AH From, A Schlichtkrull
arXiv preprint arXiv:1904.00618, 2019
112019
TPL: a trust policy language
S Mödersheim, A Schlichtkrull, G Wagner, S More, L Alber
IFIP International Conference on Trust Management, 209-223, 2019
102019
Teaching a formalized logical calculus
AH From, AB Jensen, A Schlichtkrull, J Villadsen
arXiv preprint arXiv:2002.12555, 2020
92020
Students' Proof Assistant (SPA)
A Schlichtkrull, J Villadsen, AH From
arXiv preprint arXiv:1904.00617, 2019
92019
Formalization of Bachmair and Ganzinger’s ordered resolution prover. Archive of Formal Proofs 2018 (2018)
A Schlichtkrull, JC Blanchette, D Traytel, U Waldmann
8
A Verified Simple Prover for First-Order Logic.
J Villadsen, A Schlichtkrull, AH From
PAAR@ FLoC, 88-104, 2018
72018
Are we preparing students to build security in? A survey of european cybersecurity in higher education programs
N Dragoni, AL Lafuente, F Massacci, A Schlichtkrull
IEEE Security and Privacy 19 (1), 81-88, 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
Natural deduction and the Isabelle proof assistant
J Villadsen, AH From, A Schlichtkrull
arXiv preprint arXiv:1803.01473, 2018
52018
Formalization of many-valued logics
J Villadsen, A Schlichtkrull
Partiality and Underspecification in Information, Languages, and Knowledge …, 2017
52017
Formalizing a paraconsistent logic in the Isabelle proof assistant
J Villadsen, A Schlichtkrull
Transactions on Large-Scale Data-and Knowledge-Centered Systems XXXIV, 92-122, 2017
52017
IsaFoL: Isabelle formalization of logic
JC Blanchette, M Fleury, A Schlichtkrull, D Traytel
URL: https://bitbucket. org/isafol/isafol, 0
5
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
42021
Formalization of logic in the Isabelle proof assistant
A Schlichtkrull
Ph. D. Dissertation. Technical University of Denmark, 2018
42018
Formalization of Bachmair and Ganzinger’s ordered resolution prover
A Schlichtkrull, JC Blanchette, D Traytel, U Waldmann
Archive of Formal Proofs 2018, 2018
42018
The system can't perform the operation now. Try again later.
Articles 1–20