The Multi-engine ASP Solver ME-ASP: Progress Report

Contributo in Atti di convegno
Data di Pubblicazione:
2014
Citazione:
The Multi-engine ASP Solver ME-ASP: Progress Report / Maratea, M; Pulina, Luca; Ricca, F.. - (2014). (Intervento presentato al convegno 15th International Workshop on Non-Monotonic Reasoning).
Tipologia CRIS:
4.1 Contributo in Atti di convegno
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.uniss.it/handle/11388/75346
Titolo del libro:
PROCEEDINGS OF THE 15TH INTERNATIONAL WORKSHOP ON NON -MONOTONIC REASONING (NMR 2014)