A Formalization of Kant's Second Formulation of the Categorical Imperative.

Felix Lindner Martin Mose Bentzen

Published in: DEON (2018)

Keyphrases

knowledge representation
attribute values
quadratic programming
formal model
database
data sets
real world
image segmentation
mobile robot
markov random field
categorical data
optimization procedure
numerical data
semidefinite programming
iterative procedure
probabilistic formulation