The Law of Evidence and Labelled Deduction: Ten Years Later.

Dov M. Gabbay John Woods

Published in: FLAP (2022)

Keyphrases

empirical evidence
inference rules
years ago
theorem prover
theorem proving
experience gained
data sets
databases
neural network
metadata
case study
three dimensional
computer science
digital libraries