Let's Accept a Mission Impossible with Formal Argumentation, or Not.

Ryuta Arisaka Takayuki Ito

Published in: DCAI (2020)

Keyphrases

ai law
artificial intelligence and law
formal model
case based reasoning
operational semantics
formal language
argumentation systems
argumentation semantics
argumentation schemes
data sets
artificial intelligence
cooperative
formal methods
defeasible reasoning
space shuttle
mission planning