Follow
João Moura
Title
Cited by
Cited by
Year
Semi-equilibrium models for paracoherent answer set programs
G Amendola, T Eiter, M Fink, N Leone, J Moura
Artificial Intelligence 234 (May 2016), 219–271, 2016
352016
Paracoherent answer set programming
T Eiter, M Fink, J Moura
KR 2010 - International Conference on the Principles of Knowledge …, 2010
302010
CONDENSER: A Graph-Based Approach for Detecting Botnets
P Camelo, J Moura, L Krippahl
Botconf14 - The botnet fighting conference - Second edition, 2014
10*2014
Modularity of P-log programs
CV Damásio, J Moura
LPNMR 2011 - Logic Programming and Nonmonotonic Reasoning, 13-25, 2011
8*2011
Unifying Justifications and Debugging for Answer-Set Programs
CV Damásio, J Moura, A Analyti
31st International Conference on Logic Programming (ICLP 2015) 1433 (ICLP …, 2015
72015
Semantically Enabled Framework for User Centric Profile Description, Search and Match
J Moura, P Chainho, C Damásio
ICSOC 2007 - International Conference on Service-Oriented Computing …, 2007
62007
Characterising Access Control Conflicts
J Moura
NMR 2012 - 14th International Workshop on Non-Monotonic Reasoning, 2012
52012
Generalising Modular Logic Programs
J Moura, C Viegas Damásio
NMR 2014 - 15th International Workshop on Non-Monotonic Reasoning, 2014
22014
Allowing Cyclic Dependencies in Modular Logic Programming
J Moura, CV Damásio
Lecture Notes in Computer Science (ISSN 0302-9743) 9273 (EPIA 2015 …, 2015
12015
Modular Logic Programming
DT Janhunen
Universidade Nova de Lisboa, 2016
2016
Towards a characterization of semi-stable models in the logic of here-and-there
JMG Moura
2009
The system can't perform the operation now. Try again later.
Articles 1–11