Automated selection of grounding algorithm in Answer Set Programming

Contributo in Atti di convegno
Data di Pubblicazione:
2013
Citazione:
Automated selection of grounding algorithm in Answer Set Programming / Maratea, M; Pulina, Luca; Ricca, F.. - 8249:(2013), pp. 73-84. (Intervento presentato al convegno AI*IA 2013 - XIII Conference of the Italian Association for Artificial Intelligence tenutosi a Turin- Italy nel 04-06/12/2013) [10.1007/978-3-319-03524-6_7].
Tipologia CRIS:
4.1 Contributo in Atti di convegno
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.uniss.it/handle/11388/50573
Titolo del libro:
13th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2013
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series