A Formal Analysis of Enthymematic Arguments.

Sjur K. Dyrkolbotn Truls Pedersen

Published in: Bridging@IJCAI/ECAI (2018)

Keyphrases

formal analysis
ban logic
formal methods
agent model
software engineering