Open AccessOn the Computation of Paracoherent Answer Sets
Author(s) -
Giovanni Amendola,
Carmine Dodaro,
Wolfgang Faber,
Nicola Leone,
Francesco Ricca
Publication year - 2017
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.v31i1.10679
Subject(s) - answer set programming , implementation , negation , computer science , stable model semantics , semantics (computer science) , formalism (music) , set (abstract data type) , programming language , computation , theoretical computer science , well founded semantics , operational semantics , denotational semantics , art , musical , visual arts