Externally Supported Models for Efficient Computation of Paracoherent Answer Sets.

Giovanni Amendola Carmine Dodaro Wolfgang Faber Francesco Ricca

Published in: AAAI (2018)

Keyphrases

efficient computation
answer sets
logic programs
expert systems
software engineering
programming language
description logics