Forum Slides Attachments TEASE-LP_Sattler (7 MB) Contributions Invited Talks Uli Sattler: Description Logics and Ontology Languages – an introduction and overview
We discuss the influences of structural proof theory on logic programming and vice versa. Attachments Abstract Dale Miller (87 kB) Contributions Invited Talks Dale Miller: Structural Proof-Theory and Logic Programming