EasyChair Smart SlideDocs/Log in
Author: Mario Alviano

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

Shared aggregate sets in answer set programming

Shared aggregate sets in answer set programming

Mario Alviano, Carmine Dodaro and Marco Maratea

Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores

Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores

Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea and Alessandro Previti

A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming

A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming

George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis and Pei-Wei Tsai

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