All-Things-Considered Ought via Reasons in Justification Logic.

Federico L. G. Faroldi Tudor Protopopescu

Published in: DEON (2023)

Keyphrases

logic programming
learning algorithm
classical logic
databases
neural network
image segmentation
multi agent
expert systems
probabilistic model
knowledge representation
modal logic
automated reasoning
logical framework