1
TITLE: Semi-equilibrium models for paracoherent answer set programs  Full Text
AUTHORS: Giovanni Amendola; Thomas Eiter; Michael Fink; Nicola Leone; Joao Moura;
PUBLISHED: 2016, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 234
INDEXED IN: Scopus WOS CrossRef
2
TITLE: Allowing Cyclic Dependencies in Modular Logic Programming
AUTHORS: Joao Moura; Carlos Viegas Damasio;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
INDEXED IN: Scopus WOS CrossRef