EasyChair Smart SlideUser guide
Author: Thomas Eiter

This page shows all presentations of this author published in EasyChair Smart Slide.

On the Complexity of Model Checking for Temporal Equilibrium Logic

On the Complexity of Model Checking for Temporal Equilibrium Logic

Oscar Barreca, Thomas Eiter and Davide Soldà

Hybrid Answer Set Programming: Opportunities and Challenges

Hybrid Answer Set Programming: Opportunities and Challenges

Thomas Eiter

Chasing Streams with Existential Rules

Chasing Streams with Existential Rules

Jacopo Urbani, Markus Krötzsch and Thomas Eiter

Answer Set Programs go 30: Past and Future

Answer Set Programs go 30: Past and Future

Thomas Eiter

Presentations in this collection: 4
Copyright © 2002 – 2026 EasyChair