Login / Signup
Do Lawyers Use Automated Reasoning? (invited paper).
Tomer Libal
Published in:
ARQNL@IJCAR (2022)
Keyphrases
</>
automated reasoning
invited paper
reasoning systems
knowledge representation
theorem proving
theorem prover
legal reasoning
reasoning tasks
probabilistic reasoning
information retrieval
decision making
lecture notes
neural network
computer science