Universal Proof Theory, TACL 2022 Lecture Notes.
Rosalie IemhoffRaheleh JalaliPublished 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