Integrated Deduction (Dagstuhl Seminar 21371).

Maria Paola Bonacina Philipp Rümmer Renate A. Schmidt

Published in: Dagstuhl Reports (2021)

Keyphrases

theorem proving
decision making
inference rules
case study
video sequences
integrating multiple