Skip to content
Workshop on Trends, Extensions, Applications and Semantics of Logic Programming
TEASE-LP, 28 and 29 May 2020, Virtual Event
  • Home
  • Discussion
  • Contributions
    • Lightning Talks
    • Invited Talks
    • Live Talks
  • Virtual Workshop
    • Workshop Schedule
  • Programme Committee
  • Call for Contributions
  • Search
Workshop on Trends, Extensions, Applications and Semantics of Logic Programming
TEASE-LP, 28 and 29 May 2020, Virtual Event
  • Search
  • Home
  • Discussion
  • Contributions
    • Lightning Talks
    • Invited Talks
    • Live Talks
  • Virtual Workshop
    • Workshop Schedule
  • Programme Committee
  • Call for Contributions
Home » Contributions » Invited Talks

Invited Talks

2 posts

Picture of Uli Sattler

Forum Slides Attachments TEASE-LP_Sattler (7 MB)

Contributions Invited Talks

Uli Sattler: Description Logics and Ontology Languages – an introduction and overview

  • Extensions of logic programming
  • Logic programming beyond the classical Horn clause theories
Picture of Dale Miller

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

  • Logic programming beyond the classical Horn clause theories
  • Proof theory
ETAPS Logo

© 2023 Workshop on Trends, Extensions, Applications and Semantics of Logic Programming – All rights reserved

Powered by WP – Designed with the Customizr Theme