Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories.

David Fuenmayor Christoph Benzmüller

Published in: PRICAI (1) (2019)

Keyphrases

higher order
lambda calculus
high order
higher order logic
real world
defeasible logic
high level
complex systems
complex data
computational properties
arbitrarily complex
multi agent systems
pairwise
higher level
expressive power
data sets
modal logic
collective intelligence
predicate logic