Universal Proof Theory, TACL 2022 Lecture Notes.

Rosalie Iemhoff Raheleh Jalali

Published in: CoRR (2023)

Keyphrases

proof theory
lecture notes
computer science
revised selected papers
default reasoning

revised papers
proof theoretic
automated reasoning
reasoning problems
lecture notes in artificial intelligence

machine learning
summer school
international workshop
artificial intelligence
international symposium

belief revision
machine learning for multimodal interaction
theorem prover
logic programs
data mining