Adversarial Logic.

Published in: SAS (2022)

Keyphrases

logic programming
multi agent
modal logic
neural network
hidden markov models
knowledge representation
automated reasoning
classical logic
defeasible logic
sound and complete axiomatization