Open AccessExternally Supported Models for Efficient Computation of Paracoherent Answer Sets
Author(s) -
Giovanni Amendola,
Carmine Dodaro,
Wolfgang Faber,
Francesco Ricca
Publication year - 2018
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v32i1.11540
Subject(s) - answer set programming , implementation , computer science , formalism (music) , semantics (computer science) , transformation (genetics) , theoretical computer science , set (abstract data type) , computation , programming language , art , musical , biochemistry , chemistry , visual arts , gene