Login / Signup
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