Karol Wapniarski
1
PUBLICATIONS
1
CO-AUTHORS
Knowledge representation and reasoning
Get your video featured.
Publish with JoVE
Get your video featured.
Publish with JoVE
Publications
(1)
Sort by Publication Date:
Latest
Topoi : an international review of philosophy
|
Jun 08, 2026
A Formalisation of Aristotle's Assertoric Syllogistic in Isabelle/HOL.
Page
of 1
Frequent Collaborators
1
joint publications
Angeliki Koutsoukou-Argyraki
Frequent Collaborators
1
joint publications
Angeliki Koutsoukou-Argyraki
See all collaborators
Search research articles
Contact Us