17 citations · 35 across the 11 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.AI2019★ 17 cited
On Quantified Modal Theorem Proving for Modeling Ethics
Naveen Sundar Govindarajulu, Selmer Bringsjord, Matthew Peveler
In the last decade, formal logics have been used to model a wide range of ethical theories and principles with the goal of using these models within autonomous systems. Logics for…
cs.AI2019★ 1 cited
Learning
Selmer Bringsjord, Naveen Sundar Govindarajulu
This paper introduces, philosophically and to a degree formally, the novel concept of learning , intended (obviously) to be analogous to the concept of creation…