EasyChair Smart SlideDocs/Log in
Author: Michael Morak

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

Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers

Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers

Wolfgang Faber, Michael Morak and Lukáš Chrpa

Exploiting Treewidth for Projected Model Counting and its Limits

Exploiting Treewidth for Projected Model Counting and its Limits

Johannes K. Fichte, Markus Hecher, Michael Morak and Stefan Woltran

selp: A Single-Shot Epistemic Logic Program Solver

selp: A Single-Shot Epistemic Logic Program Solver

Manuel Bichler, Michael Morak and Stefan Woltran

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair