conftrace_

Selmer Bringsjord

3 papers · 2013–2025 · 2 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓

+2 more ↓

🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (2) 🏃 Academic Marathon (12) 🐝 Cross-Pollinator (12) 🧭 Keyword Pioneer

🐣 Hot Topic Early Bird 🚀 Conference Pioneer

Conferences

IJCAI (2) AAAI (1)

Top co-authors

Naveen Sundar Govindarajulu (2) John Licato (1) Michael Pomeranz (1) Logan Gittelson (1) Thomas Macaulay Ferguson (1) James T. Oswald (1) Brandon Rozek (1)

Keywords

ai safety (1) formal verification (1) autonomous system (1) modal logic (1) optimal path (1) reward-weighted transition system (1) doctrine of double effect (1) first-order modal logic (1) deontic cognitive event calculus (1)

Papers

A Modal Logic of Optimality (Student Abstract) AAAI 2025 On Automating the Doctrine of Double Effect IJCAI 2017 Analogico-Deductive Generation of Gödel’s First Incompleteness Theorem from the Liar Paradox IJCAI 2013