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

David Fuenmayor Christoph Benzmüller

Published in: CoRR (2019)

Keyphrases

higher order
defeasible logic
logic programming
complex systems
higher order logic
neural network
real world
information systems
high order
lambda calculus
high level
markov random field
graphical models
complex data