3 papers
cs.AI2023
Trust, Accountability, and Autonomy in Knowledge Graph-based AI for Self-determination
Luis-Daniel Ibáñez, John Domingue, Sabrina Kirrane +3
Knowledge Graphs (KGs) have emerged as fundamental platforms for powering intelligent decision-making and a wide range of Artificial Intelligence (AI) services across major corpora…
cs.CR2020
COVID-19 Antibody Test / Vaccination Certification: There's an app for that
Marc Eisenstadt, Manoharan Ramachandran, Niaz Chowdhury +2
Goal: As the Coronavirus Pandemic of 2019/2020 unfolds, a COVID-19 'Immunity Passport' has been mooted as a way to enable individuals to return back to work. While the quality of a…
cs.LO2018
A syllogistic system for propositions with intermediate quantifiers
Pasquale Iero, Allan Third, Paul Piwek
This paper describes a formalism that subsumes Peterson's intermediate quantifier syllogistic system, and extends the ideas by van Eijck on Aristotle's logic. Syllogisms are expres…