Week: May 27, 16:30-18:00 (HS 14) | Seminar Formal Methods and Automated Reasoning II (SS 2025) | RISC

Section outline

Maximilian Donnermair

Liam Smithers
- Select activity Fixpoint semantics in proximity based logic programming
  
  Fixpoint semantics in proximity based logic programming File PDF
- Select activity A Tableau Prover for Natural Logic and Language
  
  A Tableau Prover for Natural Logic and Language File PDF