arXiv 2005-01-28 EN Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications Eiter, Thomas · Polleres, Axel
arXiv 2003-12-15 EN Minimal founded semantics for disjunctive logic programs and deductive databases Furfaro, Filippo · Greco, Gianluigi · Greco, Sergio
arXiv 2002-08-08 EN Linking Makinson and Kraus-Lehmann-Magidor preferential entailments Moinard, Yves
