Extraction of Defeasible Proofs as Explanations.

Luca Pasetto Matteo Cristani Guido Governatori Francesco Olivieri Edoardo Zorzi

Published in: AI³@AI*IA (2023)

Keyphrases

automatic extraction
defeasible logic
information extraction
theorem prover
formal proofs
real time
conflicting information
defeasible reasoning
automatically extracted
default logic
theorem proving
multiscale
case study
decision trees
search engine
machine learning
neural network
databases
data sets