A Formalization of the Slippery Slope Argument.

Published in: CLAR (2020)

Keyphrases

formal representation
formal model
neural network
mobile robot
knowledge representation
legal knowledge
supreme court
database
databases
information retrieval
probabilistic model
formal analysis
logical framework
operational semantics
legal cases
logical language