290 citations · 885 across the 30 of their papers we have counts for
Showing 2026 · cs.AIShow all
2 papers · 2 filters
cs.AI2026★ 4 cited
Simply Logical -- The First Three Decades
Peter Flach, Kacper Sokol, Jan Wielemaker
This paper charts the evolution of the Prolog textbook Simply Logical -- Intelligent Reasoning by Example from print with runnable programmes on a 3.5-inch diskette published in 19…
cs.AI2026
Trust Hinders Bidirectional Human-AI Alignment
Michaela Benk, Kacper Sokol
Trust calibration remains the dominant framing of AI-assisted decision making: the goal is to close the gap between perceived and actual trustworthiness of AI systems so that users…