Paracoherent Answer Set Programming. - Thomas Eiter; Michael Fink 001; João Moura 001 (KR, 2010)

CONDENSER: A Graph-Based Approachfor Detecting Botnets. - Pedro Camelo; João Moura 001; Ludwig Krippahl (CoRR, 2014)

Semi-equilibrium models for paracoherent answer set programs. - Giovanni Amendola; Thomas Eiter; Michael Fink 001; Nicola Leone; João Moura 001 (Artif. Intell., 2016)