One of the central moral challenges facing numerous political communities today is political reconciliation. In the aftermath of repression, conflict, and injustice, communities confront the task of repairing damaged relationships among citizens and between citizens and officials. In A Moral Theory of Political Reconciliation, I develop a theory of what this process entails and of its moral sig...

Tessman responds to her three critics’ comments on Burdened Virtues, focusing on their concerns with her stipulation of an “inclusivity requirement,” according to which one cannot be said to flourish without contributing to the flourishing of an inclusive collectivity. Tessman identifies a naturalized approach to ethics—which she distinguishes from the naturalism she implicitly endorsed in Burd...

In my reply to critics I address a raft of issues raised by the commentators to Fault Lines of Globalization. These issues include: the radicalization of the Husserlian concept of intentionality as differance; the irreducibility of a-legality to (il)legality; the relation between legal orders and society; legal pluralism; the relation between power and place; contingency and modernity; fear and...

We present Policy Gradient Actor-Critic (PGAC), a new model-free Reinforcement Learning (RL) method for creating limited-memory stochastic policies for Partially Observable Markov Decision Processes (POMDPs) that require long-term memories of past observations and actions. The approach involves estimating a policy gradient for an Actor through a Policy Gradient Critic which evaluates probabilit...

D Pereboom’s Living Without Free Will (2001) is an outstanding book that rightly changed the debate over an ancient problem. I am certain that Free Will Skepticism, Agency, and Meaning in Life will join the first book as a must-read for anyone in the world interested in these foundational issues. The main pillars of the account remain, including incompatibilism between free will and determinism...

The discovery of missing lemmas and case-splits are challenging problems for automated theorem proving. Most interactive provers rely on the user for guidance through these proof-steps. Proof-planning critics were introduced by Ireland as a way of automating this. Here, we present ongoing work developing critics for lemma speculation and caseanalysis in higher-order logic in the IsaPlanner system.

This paper proposes a framework for the simplification of the development of Artificial Art Critics. We provide two basic elements: an architecture that consists of two main modules for the pre-processing and classification of an artwork, and a validation methodology that consists of several stages, such as the objective evaluation of an artwork (with targets like author or style identification...