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 » Events

Events

11 posts

Break
Break Live Session 2

Break

Panel: Discussion of the future development of methods inspired by relational and logic programming
Live Session 2

Panel: Discussion of the future development of methods inspired by relational and logic programming

A Proof Theory for Distributed Evidential Transactions
Live Session 2

A Proof Theory for Distributed Evidential Transactions

Eliminating Cuts in HoiC
Live Session 2

Eliminating Cuts in HoiC

Description Logics and Ontology Languages – an introduction and overview
Invited Live Session 2

Description Logics and Ontology Languages – an introduction and overview

Discussion Session
Live Session 1

Discussion Session

Private types in Higher Order Logic Programming
Live Session 1

Private types in Higher Order Logic Programming

Certified Semantics for Disequality Constraints
Live Session 1

Certified Semantics for Disequality Constraints

A SWI-Prolog based implementation of RML
Live Session 1

A SWI-Prolog based implementation of RML

Break
Break Live Session 1

Break

Structural Proof-Theory and Logic Programming
Invited Live Session 1

Structural Proof-Theory and Logic Programming

ETAPS Logo

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

Powered by WP – Designed with the Customizr Theme