Anders Schlichtkrull
Anders Schlichtkrull
Onbekend partnerschap
Geverifieerd e-mailadres voor dtu.dk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Formalization of the resolution calculus for first-order logic
A Schlichtkrull
Journal of Automated Reasoning 61 (1-4), 455-484, 2018
242018
Formalizing Bachmair and Ganzinger’s ordered resolution prover
A Schlichtkrull, JC Blanchette, D Traytel, U Waldmann
International Joint Conference on Automated Reasoning, 89-107, 2018
162018
A verified prover based on ordered resolution
A Schlichtkrull, JC Blanchette, D Traytel
Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019
132019
NaDeA: A natural deduction assistant with a formalization in Isabelle
J Villadsen, AB Jensen, A Schlichtkrull
arXiv preprint arXiv:1507.04002, 2015
132015
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
92018
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
Natural deduction assistant (nadea)
J Villadsen, AH From, A Schlichtkrull
arXiv preprint arXiv:1904.00618, 2019
42019
Students' Proof Assistant (SPA)
A Schlichtkrull, J Villadsen, AH From
arXiv preprint arXiv:1904.00617, 2019
42019
Formalization of logic in the Isabelle proof assistant
A Schlichtkrull
DTU Compute, 2018
42018
Formalization of many-valued logics
J Villadsen, A Schlichtkrull
Partiality and Underspecification in Information, Languages, and Knowledge …, 2017
42017
Verification of an LCF-Style First-Order Prover with Equality
AB Jensen, A Schlichtkrull, J Villadsen
Isabelle Workshop 2016, 2016
42016
The LIGHTest Foundation
S Mödersheim, A Schlichtkrull
tech. rep. DTU TR-2018-6, Available at http://orbit. dtu. dk/ws/files …, 2018
32018
Natural deduction and the Isabelle proof assistant
J Villadsen, AH From, A Schlichtkrull
arXiv preprint arXiv:1803.01473, 2018
32018
Formalization of Bachmair and Ganzinger's Ordered Resolution Prover
A Schlichtkrull, JC Blanchette, D Traytel, U Waldmann
Archive of Formal Proofs, 1-117, 2018
32018
Formalization of first-order syntactic unification
KF Brandt, A Schlichtkrull, J Villadsen
32nd International Workshop on Unification, P9, 2018
32018
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
32018
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
22019
Substitutionless First-Order Logic: A Formal Soundness Proof
AH From, JB Larsen, A Schlichtkrull, J Villadsen
Isabelle Workshop 2018, 2018
22018
First-order logic according to Harrison
AB Jensen, A Schlichtkrull, J Villadsen
Archive of Formal Proofs 2017, 2017
22017
The Resolution Calculus for First-Order Logic
A Schlichtkrull
Archive of Formal Proofs, 1-69, 2016
22016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20