João Manuel Gomes Moura
AuthID: R-001-RZF
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
AUTHORS: Giovanni Amendola; Thomas Eiter; Michael Fink; Nicola Leone; Joao Moura;
PUBLISHED: 2016, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 234
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
AUTHORS: Joao Moura; Carlos Viegas Damasio;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273