Karol Wapniarski

1PUBLICATIONS
1CO-AUTHORS
Knowledge representation and reasoning
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Jun 08, 2026
A Formalisation of Aristotle's Assertoric Syllogistic in Isabelle/HOL.

Pageof 1

Frequent Collaborators