Enumerating preferred extensions using ASP domain heuristics: The ASPrMin solver
Contributo in Atti di convegno
Data di Pubblicazione:
2018
Tipologia CRIS:
4.1 Contributo in Atti di convegno
Keywords:
Argumentation; ASP; Solver; Artificial Intelligence
Elenco autori:
Faber, Wolfgang; Vallati, Mauro; Cerutti, Federico; Giacomin, Massimiliano
Link alla scheda completa:
Titolo del libro:
Frontiers in Artificial Intelligence and Applications
Pubblicato in: