EasyChair Smart SlideDocs/Log in
Author: Wolfgang Faber

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

Externally Supported Models for Efficient Computation of Paracoherent Answer Sets

Externally Supported Models for Efficient Computation of Paracoherent Answer Sets

Giovanni Amendola, Carmine Dodaro, Wolfgang Faber and Francesco Ricca

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