Angeliki Koutsoukou-Argyraki
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
Karol Wapniarski
Frequent Collaborators
1
joint publications
Karol Wapniarski
See all collaborators
Search research articles
Contact Us